Юрий Матиясевич - Yuri Matiyasevich
Юрий Матиясевич | |
---|---|
Родившийся |
|
2 марта 1947 г.
Национальность | Советский русский |
Альма-матер | Ленинградский Государственный Университет |
Известен | его вклад в теорию вычислимости , особенно решение десятой проблемы Гильберта |
Награды |
Премия Петербургского математического общества (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 .
Смотрите также
Рекомендации
Внешние ссылки
- Домашняя страница Юрия Матиясевича .
- Юрий Матиясевич в DBLP .
- Результаты Юрия Матиясевича на Международной математической олимпиаде
- Теорема Матиясевича по Scholarpedia.
- Vita и сотрудничество с Францией (на французском языке) .
- О'Коннор, Джон Дж .; Робертсон, Эдмунд Ф. , "Юрий Матиясевич" , MacTutor Архив истории математики , Сент-Эндрюсский университет .
- Суперкомпьютерные вычисления для суперпроблемы: вычислительное путешествие в чистую математику