Jurij Matiassevič

Jurij Matiassevič Obrázek v Infoboxu. Jurij Matiassevič. Portrét v roce 1969. Životopis
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
Jiná informace
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 .

Životopis

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ě.

Práce

Poznámky a odkazy

Poznámky

  1. Město Petrohrad bylo přejmenováno na Petrohrad a poté na Leningrad, než získalo původní název. Místní názvy se používají tak, jak existovaly v době skutečností uvedených v tomto článku.

Reference

  1. Stephen Wolfram , Nový druh vědy , Wolfram Media, Inc.,2002( ISBN  1-57955-008-8 , číst online ) , 1141
  2. Název ústavu viz přesnost poskytovaná ústavem na jeho webových stránkách: [1] . LOMI je původní ruská zkratka. Aktuální zkratky jsou: POMI RAN v ruštině a PDMI RAS v angličtině.
  3. (ru) Юрий Матиясевич , "  О распознавании в реальное время отношения вхождения  " , Записки научных семинаров Ленинградского отделения Математического института им. В.А.Стеклова , sv.  20,1971, str.  104--114 ( číst online ), v jeho ruské verzi přeloženo do angličtiny jako (en) Yuri Matiyasevich , „  Real-time recognition of theclusion relationship  “ , Journal of Soviet Mathematics , sv.  1,1973, str.  64--70 ( číst online )
  4. Knuth to zmiňuje ve své knize Selected Papers on Design of Algorithms  : „Dozvěděl jsem se v roce 2012, že Yuri Matiyasevich očekával algoritmy shody a předzpracování vzorů lineárního času tohoto článku, ve zvláštním případě binární abecedy, již v roce 1969. Představil je jako konstrukce pro Turingův stroj s dvourozměrnou pracovní pamětí. "

Podívejte se také

Související články

externí odkazy