Матиясевич Ю. В.

Юрий Владимирович Матиясевич
Советский и российский математик, внёс существенный вклад в теорию вычислимости, завершив решение десятой проблемы Гильберта
Дата рождения:	2 марта 1947 года
Место рождения:	Ленинград, СССР

Ю́рий Влади́мирович Матиясе́вич (родился 2 марта 1947 года, г. Ленинград), советский и российский математик, исследователь Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН, академик РАН, доктор физико-математических наук.

Решение десятой проблемы Гильберта

Будучи аспирантом, в 1970 году сделал последний шаг в доказательстве алгоритмической неразрешимости задачи о существовании решений у произвольного диофантового уравнения, известной также как десятая проблема Гильберта, завершив тем самым программу исследований, основную часть которой к тому времени выполнили M. Davis, H. Putnam и J. Robinson.

Вклад Матиясевича в решение проблемы заключается в том, что он предъявил 10 диофантовых уравнений первой и второй степени, которые задают условие b = F_2a, где через F_n обозначено n-ое число Фибоначчи.

Биография

• В 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 г. избран действительным членом Российской Академии Наук.

Премии и награды

• В 1964 г. в составе команды советских школьников завоевал диплом первой степени ^[1] на Международной математической олимпиаде, проходившей в Москве.
• В 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: Юрий Матиясевич - Ричард Ги (Richard Guy) - Поль Эрдеш (Paul Erdős).
• Ученики, защитившие кандидатские диссертации: Элдар Мусаев, Максим Всемирнов, Алексей Пастор, Дмитрий Карпов, Юрий Лифшиц.

Избранные работы

Книга

• Ю.В. Матиясевич, Десятая проблема Гильберта, М., Наука, 1993.

Статьи

• Ю.В. Матиясевич, Распознавание в реальное время отношения вхождения (он-лайн версия), Записки семинаров Ленинградского отделения Математического института им. В.А. Стеклова Академии Наук СССР, 20(1971), 104-114.
• Yuri Matiyasevich and Julia Robinson, Reduction of an arbitrary Diophantine equation to one in 13 unknowns (он-лайн версия), Acta Arithmetica, XXVII (1975), 521-549.
• Yuri Matiyasevich and Géraud Senizerguez, Decision Problems for Semi-Thue Systems with a Few Rules (он-лайн версия), LICS'96.
• Yuri Matiyasevich, Proof Procedures as Bases for Metamathematical Proofs in Discrete Mathematics (он-лайн версия), Personal Journal of Yury Matiyasevich.
• Yuri Matiyasevich, Elimination of bounded universal quantifiers standing in front of a quantifier-free arithmetical formula, (он-лайн версия), Personal Journal of Yuri Matiyasevich.
• Yuri Matiyasevich, One Probabilistic Equivalent of the Four Color Conjecture (он-лайн версия), Теория вероятности и ее применения, 48(2003), 411-416.

Примечания

1. ↑ Сайт imo-official.org посвященный истории Международных математических олимпиад

Ссылки

• Yuri Matiyasevich's home page.
• Статья в журнале Квант об истории решения Десятой проблемы Гильберта
• История решения Десятой проблемы Гильберта.
• Статьи Ю.В. Матиясевича в журнале Квант (1971-1978).
• The Mathematics Genealogy Project - Yuri Matiyasevich(англ.).
• Matiyasevich theorem on Scholarpedia (англ.).
• Yuri Matiyasevich at DBLP(англ.).
• Биография и сотрудничество с Францией(фр.).