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

Юрий Матиясевич
Юрий Матиясевич
Родившийся	2 марта 1947 г. (74 года) ; Ленинград , Советский Союз
Национальность	Советский ; русский
Альма-матер	Ленинградский Государственный Университет
Известен	его вклад в теорию вычислимости , особенно решение десятой проблемы Гильберта
Награды	Премия Петербургского математического общества (1970), ; Марковская премия (1980), ; Премия Гумбольдта (1998)
	Научная карьера
Поля	Математика и теоретическая информатика
Учреждения	Петербургское отделение из Математического института им

Юрий Владимирович Матиясевич , ( русский : Юрий Влади́мирович Матиясе́вич ; родился 2 марта 1947 года в Ленинграде ) - русский математик и ученый-компьютерщик . Он наиболее известен своим отрицательным решением десятой проблемы Гильберта ( теоремы Матиясевича ), которая была представлена в его докторской диссертации в ЛОМИ (Ленинградское отделение Математического института им. В. А. Стеклова ).

биография

В 1962–1963 годах Матиясевич учился в Санкт-Петербургском лицее № 239 ;
В 1963–1964 учился в Колмогоровском училище ; в 1964 году - абсолютный победитель Всесоюзной олимпиады по математике.
В 1964-1969, Матиясевич учился на факультете математики и механики в ЛГУ . Попав в сборную СССР на Международную математическую олимпиаду (где он выиграл золотую медаль), Юрий Матиясевич без экзаменов был принят в Ленинградский государственный университет , пропустив последний год обучения в средней школе.
В 1966 г. он выступал с докладом на Международном математическом конгрессе в Москве . В то время он учился на втором курсе бакалавриата.
В 1969-1970 годах он преследовал докторантуру в Ленинградское отделение из Математического института под руководством Сергея Маслова .
В 1970 году он получил докторскую степень ( кандидатскую степень, эквивалентную докторской) в LOMI и выступил с приглашенным докладом на Международном математическом конгрессе в Ницце о неразрешимости десятой проблемы Хиберта.
В 1970–1974 гг. Работал научным сотрудником ЛОМИ .
В 1972 году он получил вторую докторскую степень (эквивалент хабилитации или доктора наук, в Советском Союзе называемый «доктор наук» ).
В 1974–1980 гг. - старший научный сотрудник ЛОМИ .
В 1980-2018 Юрий Матиясевич был руководителем лаборатории математической логики в ЛОМИ .
С 1995 года он является профессором Санкт-Петербургского государственного университета , сначала на кафедре программной инженерии , затем на кафедре алгебры и теории чисел .
В 1997 г. избран членом- корреспондентом РАН .
С 1998 года Юрий Матиясевич является вице-президентом Санкт-Петербургского математического общества .
С 2002 года возглавляет Санкт-Петербургскую городскую математическую олимпиаду .
С 2003 года Матиясевич является содиректором ежегодной немецко-русской студенческой школы JASS .
В 2008 году избран действительным членом Российской академии наук .

Награды и почести

1964: Золотая медаль на Международной математической олимпиаде в Москве .
1970: «Премия молодому математику» Ленинградского математического общества .
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 . S2CID 121919479 .
Юрий Матиясевич, Юлия Робинсон (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 .

Смотрите также

Теорема Матиясевича

Languages

In other projects