Loading article…
ユーリ・ウラジミロヴィチ・マティアセヴィチ（ロシア語: Ю́рий Влади́мирович Матиясе́вич 、1947 年 3 月 2 日、レニングラード生まれ）は、ロシアの数学者、コンピューター科学者です。彼は、ヒルベルトの 10 番目の問題(マティヤセビッチの定理)の否定的な解法で最もよく知られています。この解は、 LOMI (ステクロフ数学研究所レニングラード部門)の1972 年の博士論文で発表されました。彼はその研究所で働き続け、1995 年に教授になりました。
ユーリ・マティヤセヴィチは1947年3月2日にレニングラードで生まれた。最初の数クラスは第255学校でソフィア・G・ゲネルソンと共に学び、彼女のおかげで数学に興味を持つようになった。1961年に全ロシアオリンピックに参加し始めた。1962年から1963年にかけて、レニングラード物理数学学校第239校で学んだ。また、7年生から9年生まで、レニングラード・ピオネール宮殿の数学サークルに参加した。1963年から1964年にかけて、 A・N・コルモゴロフ記念モスクワ国立大学物理数学寄宿学校第18校で10年生を修了した。[ 1 ] [ 2 ]
1964年、彼は国際数学オリンピックで金メダルを獲得し[ 3 ] 、試験なしでサンクトペテルブルク国立大学の数学・力学部に入学した。彼は1年生の時に高校卒業試験を受けた。[ 4 ] [ 5 ]
彼は2年生の時に、ソ連科学アカデミー紀要に掲載された数理論理学に関する2つの論文を発表した。彼は1966年の国際数学者会議でこれらの研究を発表した。 [ 2 ]
卒業後、彼はロシア科学アカデミーのステクロフ数学研究所（POMI）サンクトペテルブルク校の大学院に入学した。1970年、セルゲイ・マスロフの指導の下、彼は物理学および数学の博士候補の学位取得のための論文を提出した。[ 6 ]
1972年、25歳の彼は、ヒルベルトの第10問題の不可能性に関する博士論文を提出した。[ 7 ]フィボナッチ数列を用いて、ディオファントス方程式の解が指数関数的に増加する可能性があることを示した。ジュリア・ロビンソン、マーティン・デイビス、ヒラリー・パトナムによる以前の研究では、これは計算可能なすべての列挙可能な集合がディオファントス集合であることを証明するのに十分であることが示されており、この結果はヒルベルトの第10問題を解決するものであり、現在ではMRDP定理として知られている。
マティヤセヴィッチは1974年からLOMIで科学職に就き、最初は上級研究員として、1980年には数理論理学研究所の所長を務めた。1995年、マティヤセヴィッチはPOMIの教授となり、最初はソフトウェア工学講座、後に代数と数論講座を担当した。[ 8 ]
1997年、彼はロシア科学アカデミーの通信会員に選出された。1998年以来、ユーリ・マティヤセヴィチはサンクトペテルブルク数学会の副会長を務めている。2002年以来、彼はサンクトペテルブルク市数学オリンピックの責任者を務めている。
マティヤセヴィッチは2003年から、毎年開催されるドイツ・ロシア学生学校JASSの共同ディレクターを務めている。
2008年に、彼はロシア科学アカデミーの正会員に選出された。[ 9 ]
彼はアメリカ数学会と記号論理学会の会員であり、また『Discrete Mathematics and Applications』と『Computer Instruments in Education』の編集委員でもあった。教師としては、エルダル・ムサエフ、マキシム・フセミノフ、アレクセイ・パストール、ドミトリ・カルポフらを指導した。[ 10 ]
球の三角形分割の彩色に関連する多項式は、マティヤセヴィッチにちなんで名付けられました。マティヤセヴィッチ多項式、四色定理、重みシステムを参照してください。
