Матиясевич, Юрий Владимирович: биография

Сообщества

Член Американского математического общества и Ассоциации символьной логики.

Член редакционных коллегий журналов «Дискретная математика» и «Компьютерные инструменты в образовании».

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

• В 1964 году в составе команды советских школьников завоевал диплом первой степени на Международной математической олимпиаде, проходившей в Москве.
• В 1970 году присуждена премия «Молодому математику» Ленинградского математического общества.
• В 1980 году получил премию имени А. А. Маркова Академии наук СССР.
• В 1996 году присуждено звание почётного доктора Университета Оверни.
• В 1998 году стал лауреатом премии Гумбольдта.
• В 2003 году получил звание почётного доктора Университета Париж-VI.

Библиография

Автор книги о десятой проблеме Гильберта и большого количества статей в научных журналах, в том числе совместно с Джулией Робинсон, Ричардом Ги (благодаря последнему персональное число Эрдёша — 2).

Книга

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

Статьи

• Ю. В. Матиясевич Распознавание в реальное время отношения вхождения // Записки семинаров Ленинградского отделения Математического института им. В. А. Стеклова Академии Наук СССР. — 1971. — Т. 20. — С. 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 Graud 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.
• Статьи Ю. В. Матиясевича в журнале «Квант» (1971—1978)