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