ユーリ・マチャセビッチ

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索
ユーリ・マチャセビッチ
人物情報
生誕 1947年3月2日(67歳)
ソビエト連邦レニングラード
居住 ソビエト連邦の旗 ソビエト連邦, ロシアの旗 ロシア
国籍 ロシアの旗 ロシア
出身校 レニングラード大学
学問
研究分野 数学理論計算機科学
研究機関 ステクロフ数学研究所ペテルブルク部門
主な業績 計算可能性理論。特にヒルベルトの第10問題を解決した。
主な受賞歴

Markov Prize (1980年)、

フンボルト賞 (1998年)
テンプレートを表示

ユーリ・マチャセビッチ: Юрий Владимирович Матиясевич: Yuri Matiyasevich1947年3月2日 - )は、ロシア数学者計算機科学者。サンクトペテルブルク生まれ(当時はレニングラード)。ヒルベルトの23の問題の中の第10問題を否定的に解いたことで知られている。

経歴[編集]

受賞歴[編集]

主な業績[編集]

著書[編集]

論文[編集]

  • Yuri Matiyasevich, Real-time recognition of the inclusion relationオンライン版), Journal of Sovjet Mathematics, vol. 1, No.1, pp. 64-70, (1973), ISSN 0090-4104.
  • Yuri Matiyasevich and Julia Robinson, Reduction of an arbitrary Diophantine equation to one in 13 unknownsオンライン版), Acta Arithmetica, XXVII (1975), 521-549.
  • Yuri Matiyasevich and Géraud Senizergues, Decision Problems for Semi-Thue Systems with a Few Rulesオンライン版), LICS'96.
  • Yuri Matiyasevich, Proof Procedures as Bases for Metamathematical Proofs in Discrete Mathematicsオンライン版), Personal Journal of Yury Matiyasevich.
  • Yuri Matiyasevich, Elimination of bounded universal quantifiers standing in front of a quantifier-free arithmetical formula, (オンライン版), Personal Journal of Yuri Matiyasevich.
  • Yuri Matiyasevich, A Polynomial related to Colourings of Triangulation of Sphere, (オンライン版), Personal Journal of Yuri Matiyasevich.
  • Yuri Matiyasevich, Some Probabilistic Restatements of the Four Color Conjectureオンライン版), Journal of Graph Theory, 2003.

参考文献[編集]

  • 中村滋 『フィボナッチ数の小宇宙 フィボナッチ数,リュカ数,黄金分割』 日本評論社、2008年1月、改訂版。ISBN 978-4-535-78492-5 - ヒルベルトの第10問題の解決に関連したフィボナッチ数の解説がある。

外部リンク[編集]