Юрий Матиясевич.
Юрий Владимирович Матиясе́вич (родился 2 марта 1947, Ленинград), советский математик, исследователь Санкт-Петербургского отделения математического института им. В. А. Стеклова РАН. Член-корреспондент РАН.
На втором курсе учёбы в Ленинградском государственном университете выполнил две работы по математической логике, напечатанные затем в «Докладах Академии наук СССР». Доклад на Международном математическом конгрессе, Москва, 1966.
Будучи аспирантом, в 1970 году доказал алгоритмическую неразрешимость задачи о построении универсального алгоритма, определяющего является ли произвольное диофантово уравнение разрешимым, известной также как Десятая проблема Гильберта (см. также Проблемы Гильберта).
Ссылки[]
- [1]
- Личная страничка [2].
- Статьи Матиясевича в журнале Квант (1971-1978).