ユーリ・マチャセビッチ

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

ユーリ・マチャセビッチ
生誕 (1947-03-02) 1947年3月2日(73歳)
ソビエト連邦
ロシア・ソビエト連邦社会主義共和国レニングラード
居住 ソビエト連邦 ロシア
国籍 ロシア
研究分野 数学理論計算機科学
研究機関 ステクロフ数学研究所ペテルブルク部門
出身校 レニングラード大学
主な業績 計算可能性理論。特にヒルベルトの第10問題を解決した。
主な受賞歴

Markov Prize (1980年)、

フンボルト賞 (1998年)
プロジェクト:人物伝

経歴

受賞歴

主な業績

著書

  • Yuri Matiyasevich Hilbert's 10th Problem, Foreword by Martin Davis and Hilary Putnam, The MIT Press, 1993. ISBN 0-262-13295-8

論文

  • 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問題の解決に関連したフィボナッチ数の解説がある。

外部リンク

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.