Geburt |
2. März 1947 Sankt Petersburg |
---|---|
Name in der Muttersprache | Юрий Владимирович Матиясевич |
Nationalitäten |
Russischer Sowjet |
Ausbildung |
Fakultät für Mathematik und Mechanik der Staatlichen Universität Sankt Petersburg ( d ) Lyzeum Sankt Petersburg 239 ( en ) Steklov-Institut für Mathematik |
Aktivitäten | Mathematiker , Informatiker , Universitätsprofessor |
Arbeitete für | St. Petersburg Institut des Steklov-Instituts für Mathematik der Russischen Akademie der Wissenschaften ( en ) , Krasnojarsker Sommerschule ( d ) , Staatliche Universität St. Petersburg |
---|---|
Stuhl | Vollmitglied der Russischen Akademie der Wissenschaften ( d ) |
Bereiche | Mathematische Logik , Graphentheorie , Zahlentheorie , Berechenbarkeitstheorie , theoretischer Computer |
Mitglied von |
Bayerische Akademie der Wissenschaften Russische Akademie der Wissenschaften Academia Europaea (2014) |
Direktoren für Abschlussarbeiten | Sergej Jurjewitsch Maslow ( d ) , Nikolai Alexandrowitsch Schanin ( en ) |
Webseite | (en) Logik.pdmi.ras.ru/~yumat/ |
Auszeichnungen |
Markov-Preis Ehrendoktorwürde der Pierre-et-Marie-Curie-Universität (2003) |
Yuri Vladimirovich Matiassevich (auf Russisch : Юрий Владимирович Матиясевич , geboren am2. März 1947in Leningrad , Russland) ist ein russischer Mathematiker, der Hilberts zehntes Problem gelöst hat .
Er studierte an der Leningrad an der Schule N o 239 (in) , spezialisiert in den Bereichen Mathematik und Physik (wo auch untersucht, zum Beispiel Perelman und Stanislav Smirnov ). In 1964 gewann er eine Goldmedaille für die UdSSR an der Internationalen Mathematischen Olympiade , die in abgehalten wurden Moskau . In 1966 präsentierte er eine Konferenz auf dem Internationalen Kongress der Mathematiker in Moskau . Er war in seinem zweiten Jahr an der Universität. 1967 baute er am Wortproblem für Gruppen und Halbgruppen eine Halbgruppe mit drei Beziehungen und zwei Generatoren auf, die unentscheidbar war.
In 1969 , nach dem in der Abteilung für die Ausbildung Mathematik und Mechanik , absolvierte er Staatliche Universität Leningrad. Er promoviert am Steklov-Institut für Mathematik in Sankt Petersburg (unter der Aufsicht von Sergey Maslov ) am LOMI .
1970 stützte er sich weitgehend auf die Arbeit von Julia Robinson und bewies die Unentscheidbarkeit von Hilberts zehntem Problem , der Hauptquelle seines internationalen Ruhmes: 1970 hielt er auf dem Internationalen Mathematikerkongress in Nizza einen Gastvortrag zu diesem Thema . Zu dieser Zeit Zuvor entdeckte er auch den Knuth-Morris-Pratt-Algorithmus .
In 1996 , wurde er ausgezeichnet mit dem Titel Doktor honoris causa der Universität Auvergne .
In 1997 wurde er korrespondierendes Mitglied der gewählten Russischen Akademie der Wissenschaften .
In 2003 , der Titel Doktor honoris causa wurde ihn von der ausgezeichneten Universität Pierre-et-Marie-Curie (Paris 6).
Derzeit leitet er das Labor für mathematische Logik am LOMI in St. Petersburg.