Narození |
2. března 1947 Petrohrad |
---|---|
Jméno v rodném jazyce | Юрий Владимирович Матиясевич |
Národnosti |
Ruský sovět |
Výcvik |
Státní fakulta Petrohradské univerzity matematiky a mechaniky ( d ) Petrohradské lyceum 239 ( en ) Steklovův institut matematiky |
Činnosti | Matematik , počítačový vědec , univerzitní profesor |
Pracoval pro | St. Petersburg Department of Steklov Institute of Mathematics Institute of Russian Academy of Sciences ( en ) , Krasnoyarsk Summer School ( d ) , St. Petersburg State University |
---|---|
Židle | Řádný člen Ruské akademie věd ( d ) |
Oblasti | Matematická logika , teorie grafů , teorie čísel , teorie vyčíslitelnosti , teoretická |
Člen |
Bavorská akademie věd Ruská akademie věd Academia Europaea (2014) |
Vedoucí práce | Sergey Yuryevich Maslov ( d ) , Nikolai Alexandrowitsch Schanin ( en ) |
webová stránka | (en) logic.pdmi.ras.ru/~yumat/ |
Ocenění |
Markovova cena Čestný doktorát z Univerzity Pierre-et-Marie-Curie (2003) |
Yuri Vladimirovich Matiassevich (v ruštině : Юрий Владимирович Матиясевич , narozen dne2. března 1947v Leningradu v Rusku) je ruský matematik, který vyřešil Hilbertovu desátou úlohu .
Studoval na Leningrad na škole N o 239 (v) , specializující se na matematiku a fyziku (kde také studoval, například, Perelman a Stanislav Smirnov ). V roce 1964 získal zlatou medaili pro SSSR na Mezinárodní matematické olympiádě , která se konala v Moskvě . V roce 1966 představil konferenci na Mezinárodním kongresu matematiků v Moskvě . Byl ve svém druhém ročníku na univerzitě. V roce 1967, když pracoval na slovní úloze pro skupiny a poloskupiny, zkonstruoval poloskupinu se třemi vztahy a dvěma generátory, která byla nerozhodnutelná.
V roce 1969 , po školení na katedře matematiky a mechaniky , vystudoval Leningradskou státní univerzitu. Pokračuje v doktorském studiu na Steklovově matematickém institutu v Petrohradě (pod vedením Sergeje Maslova ) na LOMI .
Z velké části vycházel z práce Julie Robinsonové a v roce 1970 dokázal nerozhodnutelnost desátého problému Hilberta , hlavního zdroje jeho mezinárodní slávy: na toto téma přednášel na Mezinárodním kongresu matematiků v Nice v roce 1970 jako host. , také před nimi objevil algoritmus Knuth-Morris-Pratt .
V roce 1996 mu univerzita v Auvergne udělil titul doctor honoris causa .
V roce 1997 byl zvolen za příslušného člena Ruské akademie věd .
V roce 2003 mu titul Pierre honoris causa udělil University Pierre-et-Marie-Curie (Paříž 6).
V současné době je vedoucím laboratoře matematické logiky v LOMI v Petrohradě.