В Википедии есть статьи о других людях с такой фамилией, см.
Матиясевич.
Ю́рий Влади́мирович Матиясе́вич (родился 2 марта 1947 года, г. Ленинград) — советский и российский математик, исследователь Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН, член экспертной комиссии РСОШ по математике, академик РАН, доктор физико-математических наук. Внёс существенный вклад в теорию вычислимости, завершив решение десятой проблемы Гильберта.
Решение десятой проблемы Гильберта
Будучи аспирантом, в 1970 году сделал последний шаг в доказательстве алгоритмической неразрешимости задачи о существовании решений у произвольного диофантова уравнения, известной также как десятая проблема Гильберта, завершив тем самым программу исследований, основную часть которой к тому времени выполнили Мартин Дэвис, Хилари Патнем и Джулия Робинсон (англ.).
Вклад Матиясевича в решение проблемы заключается в том, что он предъявил 10 диофантовых уравнений первой и второй степени, которые задают условие , где через обозначено -ое число Фибоначчи.
Биография
Юрий Матиясевич во время проведения JASS 08
Премии и награды
- В 1964 г. в составе команды советских школьников завоевал диплом первой степени на Международной математической олимпиаде, проходившей в Москве[5].
- В 1970 г. присуждение премии «Молодому математику» Ленинградского математического общества[6].
- В 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: Юрий Матиясевич — Ричард Ги — Поль Эрдёш.
- Ученики, защитившие кандидатские диссертации: Элдар Мусаев, Максим Всемирнов, Алексей Пастор, Дмитрий Карпов, Юрий Лифшиц.
Избранные работы
Книга
- Ю. В. Матиясевич, Десятая проблема Гильберта, М., Наука, 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.
Примечания
- Laboratory of Mathematical Logic | of PDMI RAS
- Passage to a new location of the page
- Joint Advanced Student School 2007 ::
- Список избранных членов РАН
- Сайт, посвящённый истории Международных математических олимпиад
- SPb. Math. Society: The awards (KOI8-R)
Ссылки
- Yuri Matiyasevich’s home page.
- Профиль Ю. В. Матиясевича на официальном сайте РАН
- Статья в журнале Квант об истории решения Десятой проблемы Гильберта
- История решения Десятой проблемы Гильберта.
- Статьи Ю. В. Матиясевича в журнале Квант (1971—1978).
- The Mathematics Genealogy Project — Yuri Matiyasevich (англ.).
- Matiyasevich theorem on Scholarpedia (англ.).
- Yuri Matiyasevich at DBLP (англ.).
- Биография и сотрудничество с Францией (фр.).