Этот раздел имеет формат списка , но может читаться лучше как проза . Вы можете помочь, преобразовав этот раздел , если это необходимо. Доступна помощь по редактированию . ( Ноябрь 2019 г. )
В 1962–1963 годах Матиясевич учился в Санкт-Петербургском лицее № 239 ;
В 1963–1964 учился в Колмогоровском училище ; в 1964 году был абсолютным победителем Всесоюзной олимпиады по математике.
В 1964-1969, Матиясевич учился математики и механики факультета в ЛГУ . Попав в сборную СССР на Международную математическую олимпиаду (где он выиграл золотую медаль), Юрий Матиясевич без экзаменов был принят в Ленинградский государственный университет , пропустив последний год обучения в средней школе.
В 1966 г. он выступал с докладом на Международном математическом конгрессе в Москве . В то время он учился на втором курсе бакалавриата.
В 1967 году, работая над проблемой слов для полугрупп , он построил полугруппу с тремя неразрешимыми отношениями. [1]
В 1969-1970 годах он преследовал докторантуру в Ленинградское отделение из Математического института под руководством Сергея Маслова .
В 1970 году он получил докторскую степень ( кандидатскую степень, эквивалентную докторской) в LOMI и выступил с приглашенным докладом на Международном математическом конгрессе в Ницце о неразрешимости десятой проблемы Хиберта.
В 1970–1974 гг. Работал научным сотрудником ЛОМИ .
В 1972 году он получил вторую докторскую степень (эквивалент хабилитации или доктора наук, в Советском Союзе называемый «доктор наук» ).
В 1974–1980 гг. - старший научный сотрудник ЛОМИ .
В 1980-2018 Юрий Матиясевич был руководителем лаборатории математической логики в ЛОМИ .
С 1995 года он является профессором Санкт-Петербургского государственного университета , сначала на кафедре программной инженерии, затем на кафедре алгебры и теории чисел.
В 1997 году избран членом-корреспондентом Российской академии наук .
С 1998 года Юрий Матиясевич является вице-президентом Санкт-Петербургского математического общества .
С 2002 года возглавляет Санкт-Петербургскую городскую математическую олимпиаду .
С 2003 года Матиясевич является содиректором ежегодной немецко-российской студенческой школы JASS .
В 2008 году избран действительным членом Российской академии наук .
Награды и награды [ править ]
1964: Золотая медаль на Международной математической олимпиаде в Москве .
1970: «Премия молодому математику» Ленинградского математического общества . [2]
1980: Марковская премия АН СССР .
1996 год: почетная степень, Оверньский университет.
1998: Он получил премию Гумбольдта за исследования .
2003: Почетная степень, Университет Пьера и Марии Кюри (UPMC).
2007: член Баварской академии наук .
Известные факты [ править ]
Именем Матиясевича был назван полином, связанный с раскрасками триангуляции сферы; см . Многочлен Матиясевича, теорему о четырех цветах и весовые системы .
Он был членом Американского математического общества и Ассоциации символической логики ; а также редакционных коллегий журналов Discrete Mathematics and Applications и Computer Instruments in Education .
Среди известных учеников: Эльдар Мусаев , Максим Всемирнов , Алексей Пастор , Дмитрий Карпов .
Избранные произведения [ править ]
Книга [ править ]
Юрий Матиясевич 10-я проблема Гильберта , предисловие Мартина Дэвиса и Хилари Патнэм , MIT Press, 1993. ISBN 0-262-13295-8 .
Статьи [ править ]
Юрий Матиясевич (1973). «Распознавание отношения включения в реальном времени» (PDF) . Журнал советской математики . 1 (1): 64–70. DOI : 10.1007 / bf01117471 . ISSN 0090-4104 .
Юрий Матиясевич, Юлия Робинсон (1975). «Сведение произвольного диофантова уравнения к одному из 13 неизвестных» . Acta Arithmetica . XXVII : 521–549.
Юрий Матиясевич, Géraud Sénizergues (1996). «Проблемы решения для систем Semi-Thue с несколькими правилами» . LICS .
Юрий Матиясевич, Процедуры доказательства как основы метаматематических доказательств в дискретной математике , Личный журнал Юрия Матиясевича.
Юрий Матиясевич, Устранение ограниченных универсальных кванторов, стоящих перед бескванторной арифметической формулой , Личный журнал Юрия Матиясевича.
Юрий Матиясевич, Многочлен, связанный с раскрасками триангуляции сферы , Личный журнал Юрия Матиясевича.
Юрий Матиясевич (2004). "Некоторые вероятностные переформулировки гипотезы четырех цветов" . Журнал теории графов . 46 (3): 167–179. DOI : 10.1002 / jgt.10178 .
См. Также [ править ]
Теорема Матиясевича
Ссылки [ править ]
^ Вольфрам, Стивен (2002). Новый вид науки . Wolfram Media, Inc. стр. 1141 . ISBN 1-57955-008-8.
