Юрий Матиясевич

Юрий Матиясевич — советский и российский математик, доктор физико-математических наук (1972), академик Российской академии наук (2003, член-корреспондент с 1997), лауреат Государственной премии Российской Федерации (1997) и премии имени А. Н. Колмогорова РАН (2003). Наиболее известен решением десятой проблемы Гильберта — доказательством алгоритмической неразрешимости диофантовых уравнений.

Биография

Юрий Владимирович Матиясевич родился 2 марта 1947 года в Ленинграде (ныне Санкт-Петербург). В 1964 году поступил на математико-механический факультет Ленинградского государственного университета (ЛГУ), который окончил в 1969 году. С 1969 года работает в Ленинградском (Санкт-Петербургском) отделении Математического института имени В. А. Стеклова РАН (ПОМИ РАН), где прошёл путь от стажёра-исследователя до заведующего лабораторией математической логики.

В 1970 году под руководством Сергея Ивановича Адяна защитил кандидатскую диссертацию на тему «Арифметические представления перечислимых множеств». В 1972 году — докторскую диссертацию «Диофантовы представления перечислимых множеств». С 1975 года — профессор кафедры математической логики Санкт-Петербургского государственного университета.

Научные достижения

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

Десятая проблема Гильберта, сформулированная Давидом Гильбертом в 1900 году на Международном конгрессе математиков в Париже, заключалась в поиске общего алгоритма для определения разрешимости произвольного диофантова уравнения в целых числах. В 1970 году Юрий Матиясевич, используя свойства последовательности Фибоначчи, доказал, что такой алгоритм не существует. Он показал, что любое перечислимое множество (в смысле теории алгоритмов) может быть представлено как множество значений параметров, при которых некоторое диофантово уравнение имеет решение. Это означало, что проблема остановки машины Тьюринга сводится к разрешимости диофантова уравнения, а следовательно, задача алгоритмически неразрешима.

Решение Матиясевича опиралось на работы Мартина Дэвиса, Хилари Патнема и Джулии Робинсон, которые свели проблему к построению диофантова уравнения, описывающего экспоненциальный рост. Матиясевич нашёл такое уравнение на основе свойств чисел Фибоначчи. Этот результат стал одним из самых ярких достижений математической логики XX века.

Другие работы

Помимо решения десятой проблемы Гильберта, Матиясевич внёс вклад в следующие области:

• Теория алгоритмов и рекурсивная математика: исследование диофантовых представлений перечислимых множеств, классификация степеней неразрешимости.
• Криптография: работа над теоретическими основами криптосистем с открытым ключом, в частности, анализ стойкости систем на основе диофантовых задач.
• Компьютерная алгебра: разработка алгоритмов для решения диофантовых уравнений в специализированных системах компьютерной алгебры.
• Теория чисел: исследование свойств чисел Фибоначчи, диофантовых приближений и экспоненциальных диофантовых уравнений.

Основные публикации

Юрий Матиясевич является автором более 100 научных работ, включая монографию «Десятая проблема Гильберта» (1993, русское издание; 1993 — английский перевод). Среди ключевых статей:

• «Enumerable sets are Diophantine» (совместно с М. Дэвисом, Х. Патнемом, Дж. Робинсон, 1961 — предшествующие работы; 1970 — окончательное доказательство).
• «A new proof of the theorem on the Diophantine nature of enumerable sets» (1970).
• «Some Diophantine representations of the set of prime numbers» (1971).

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

• Государственная премия Российской Федерации (1997) — за цикл работ по десятой проблеме Гильберта.
• Премия имени А. Н. Колмогорова Российской академии наук (2003) — за выдающиеся результаты в области математической логики.
• Членство в Российской академии наук (академик с 2003).
• Почётный доктор ряда зарубежных университетов, включая Университет Париж-Юг (1995).

Влияние на науку

Решение десятой проблемы Гильберта оказало значительное влияние на развитие теории алгоритмов, вычислительной математики и криптографии. Оно показало границы формальных методов в математике и стимулировало исследования в области диофантовой геометрии и теории чисел. Матиясевич также внёс вклад в популяризацию математики, выступая с лекциями и публикуя научно-популярные статьи.

Источники

• Матиясевич Ю. В. Десятая проблема Гильберта. — М.: Наука, 1993.
• Davis M., Matiyasevich Yu., Putnam H., Robinson J. The decision problem for exponential Diophantine equations // Annals of Mathematics. — 1961. — Vol. 74, No. 3.
• Matiyasevich Yu. Enumerable sets are Diophantine // Soviet Mathematics Doklady. — 1970. — Vol. 11.
• Официальный сайт ПОМИ РАН: биография Ю. В. Матиясевича.
• Российская академия наук: страница академика Ю. В. Матиясевича.