Решение десятой проблемы Гильберта
Будучи аспирантом, в 1970 году сделал последний шаг в доказательстве алгоритмической неразрешимости задачи о существовании решений у произвольного диофантова уравнения, известной также как десятая проблема Гильберта, завершив тем самым программу исследований, основную часть которой к тому времени выполнили Мартин Дэвис, Хилари Патнем и Джулия Робинсон ().
Вклад Матиясевича в решение проблемы заключается в том, что он предъявил 10 диофантовых уравнений первой и второй степени, которые задают условие , где через обозначено -ое число Фибоначчи.
Биография
- В 1962—1963 гг. учеба в 239 физико-математической школе города Ленинграда.
- В 1963—1964 гг. учеба в московской физико-математической школе-интернате № 18 имени А. Н. Колмогорова (СУНЦ МГУ).
- В 1964—1969 гг. учеба на Математико-механическом факультете Ленинградского государственного университета. Как победитель Международной олимпиады был зачислен в университет после предпоследнего класса, минуя последний.
- В 1966 г. на втором курсе выполнил две работы по математической логике, напечатанные затем в «Докладах Академии наук СССР». Доклад на Международном математическом конгрессе, Москва, 1966.
- В 1969—1970 гг. аспирантура ЛОМИ под руководством Сергея Юрьевича Маслова.
- В 1970 г. присуждение степени кандидата физико-математических наук.
- В 1970—1974 гг. научный сотрудник ЛОМИ.
- В 1972 г. защита докторской диссертации.
- В 1974—1980 гг. старший научный сотрудник ЛОМИ.
- С 1980 г. заведующий лабораторией математической логики ЛОМИ.
- С 1995 г. профессор СПбГУ на кафедре Математического обеспечения ЭВМ, впоследствии на кафедре алгебры.
- В 1997 г. избран членом-корреспондентом РАН.
- С 1998 г. вице-президент Санкт-Петербургского математического общества.
- С 2002 г. председатель жюри Санкт-Петербургской городской математической олимпиады.
- С 2003 г. со-руководитель ежегодной русско-немецкой студенческой школы JASS.
- В 2008 г. избран действительным членом Российской академии наук.
- С 2008 г. президент Санкт-Петербургского математического общества.
Премии и награды
- В 1964 г. в составе команды советских школьников завоевал диплом первой степени на Международной математической олимпиаде, проходившей в Москве.
- В 1970 г. присуждение премии «Молодому математику» Ленинградского математического общества.
- В 1980 г. присуждение медали А. А. Маркова Академии наук СССР.
- В 1996 г. присуждение звания почетного доктора Университета французской провинции Овернь (Docteur Honoris Causa de l’Universit? d’Auvergne).
- В 1998 г. присуждение премии Гумбольдта (Humboldt Research Award to Foreign Scholars).
- В 2003 г. присуждение звания почетного доктора Университета Париж-6 (Docteur Honoris Causa de l’Universit? Pierre et Marie Curie).
Факты к биографии
- Член Американского математического общества и Ассоциации символьной логики.
- Член редакционных коллегий журналов «Дискретная математика» и «Компьютерные инструменты в образовании».
- Число Эрдёша — 2: Юрий Матиясевич — Ричард Ги — Поль Эрдёш.
- Ученики, защитившие кандидатские диссертации: Элдар Мусаев, Максим Всемирнов, Алексей Пастор, Дмитрий Карпов, Юрий Лифшиц.
