Yuri Matiassevich

Yuri Matiassevich Imagine în Infobox. Yuri Matiassevich. Portret în 1969. Biografie
Naștere 2 martie 1947
Saint Petersburg
Numele în limba maternă Юрий Владимирович Матиясевич
Naționalități Sovietul rus
Instruire Universitatea de Stat din Sankt Petersburg Facultatea de Matematică și Mecanică ( d )
Liceul din Sankt Petersburg 239 ( ro )
Institutul de Matematică Steklov
Activități Matematician , informatician , profesor universitar
Alte informații
Lucrat pentru Departamentul St. Petersburg al Institutului de Matematică Steklov al Academiei de Științe din Rusia ( ro ) , Școala de vară Krasnoyarsk ( d ) , Universitatea de Stat din St. Petersburg
Scaun Membru titular al Academiei de Științe din Rusia ( d )
Zone Logica matematică , teoria graficelor , teoria numerelor , teoria calculabilității , computerul teoretic
Membru al
Academia Bavarească de Științe Academia Rusă de Științe
Academia Europaea (2014)
Directorii tezei Sergey Yuryevich Maslov ( d ) , Nikolai Alexandrowitsch Schanin ( ro )
Site-ul web (ro)  logic.pdmi.ras.ru/~yumat/
Premii Premiul Markov
Doctorat onorific de la Universitatea Pierre-et-Marie-Curie (2003)

Yuri Vladimirovich Matiassevich (în rusă  : Юрий Владимирович Матиясевич , născut la2 martie 1947în Leningrad , Rusia) este un matematician rus care a rezolvat a zecea problemă a lui Hilbert .

Biografie

A studiat la Leningrad la școala nr .  239  (în) , specializându-se în matematică și fizică (unde a studiat, de exemplu, Perelman și Stanislav Smirnov ). În 1964 , a câștigat o medalie de aur pentru URSS la Jocurile Olimpice Internaționale de Matematică , care au avut loc la Moscova . În 1966 , a prezentat o conferință la Congresul internațional al matematicienilor de la Moscova . Era la al doilea an la Universitate. În 1967, lucrând la Problema cuvântului pentru grupuri și semi-grupuri, el a construit un semi-grup cu trei relații și doi generatori, ceea ce a fost indecidabil.

În 1969 , după pregătirea la Departamentul de Matematică și Mecanică , a absolvit Universitatea de Stat din Leningrad. Urmează studii doctorale la Institutul de Matematică Steklov din Sankt Petersburg (sub supravegherea lui Serghei Maslov ) la LOMI .

Bazându-se în mare parte pe opera lui Julia Robinson , în 1970 a dovedit indecidabilitatea celei de-a zecea probleme a lui Hilbert , principala sursă a faimei sale internaționale: a ținut o prelegere pe această temă la Congresul internațional al matematicienilor de la Nisa din 1970. În acest moment , a descoperit și algoritmul Knuth-Morris-Pratt înainte de acestea.

În 1996 , a primit titlul de doctor honoris causa de către Universitatea din Auvergne .

În 1997 a fost ales membru corespondent al Academiei de Științe din Rusia .

În 2003 , titlul de doctor honoris causa i-a fost acordat de Universitatea Pierre-et-Marie-Curie (Paris 6).

În prezent, este șeful laboratorului de logică matematică de la LOMI, Sankt Petersburg.

Muncă

Note și referințe

Note

  1. Orașul Saint Petersburg a fost redenumit Petrograd apoi Leningrad înainte de a-și recâștiga numele original. Numele de loc sunt utilizate așa cum existau la momentul faptelor citate în acest articol.

Referințe

  1. Stephen Wolfram , Un nou tip de știință , Wolfram Media, Inc.,2002( ISBN  1-57955-008-8 , citit online ) , 1141
  2. Pentru numele institutului, consultați precizia oferită de institut pe site-ul său web: [1] . LOMI este abrevierea rusă originală. Acronimele actuale sunt: POMI RAN în rusă și PDMI RAS în engleză.
  3. (ru) Юрий Матиясевич , "  О распознавании в реальное время отношения вхождения  " , Записки научных семинаров Ленинградского отделения Математического института им. В.А.Стеклова , vol.  20,1971, p.  104-114 ( citiți online ), în versiunea sa rusă, tradusă în engleză ca (en) Yuri Matiyasevich , „  Recunoașterea în timp real a relației de incluziune  ” , Journal of Soviet Mathematics , vol.  1,1973, p.  64-70 ( citiți online )
  4. Knuth o menționează în errata cărții sale Selected Papers on Design of Algorithms  : „Am învățat în 2012 că Yuri Matiyasevich anticipase potrivirea modelelor în timp liniar și algoritmii de preprocesare a modelelor din această lucrare, în cazul special al unui alfabet binar deja în 1969. Le-a prezentat ca construcții pentru o mașină Turing cu o memorie de lucru bidimensională. "

Vezi și tu

Articole similare

linkuri externe