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

Русский математик и учёный-компьютерщик.

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

Биография

Ранние годы и образование

Юрий Матиясевич родился 2 марта 1947 года в Ленинграде. Первые несколько классов учился в школе № 255 у Софьи Григорьевны Генерсон, благодаря которой увлекся математикой. В 1961 году начал участвовать во всероссийских олимпиадах. С 1962 по 1963 год учился в Ленинградской физико-математической школе № 239. Также с 7 по 9 класс занимался в математическом кружке Ленинградского Дворца пионеров. В 1963-1964 годах окончил 10 класс физико-математической школы-интерната № 18 при МГУ имени А. Н. Колмогорова . ^{[1] [2]}

В 1964 году он выиграл золотую медаль на Международной математической олимпиаде ^[3] и был зачислен на математико-механический факультет СПбГУ без экзаменов. Экзамены на аттестат зрелости он сдавал как студент первого курса. ^{[4] [5]}

Будучи студентом второго курса, он выпустил две работы по математической логике , которые были опубликованы в Трудах Академии наук СССР . Он представил эти работы на Международном конгрессе математиков в 1966 году. ^[2]

После окончания университета поступил в аспирантуру Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН (ПОМИ). В 1970 году под руководством Сергея Маслова  [ru] защитил диссертацию на соискание учёной степени кандидата физико-математических наук . ^[6]

В 1972 году, в возрасте 25 лет, он защитил докторскую диссертацию о неразрешимости десятой проблемы Гильберта. ^[7]

С 1974 года Матиясевич работал на научных должностях в ЛОМИ, сначала старшим научным сотрудником, в 1980 году возглавил лабораторию математической логики. В 1995 году Матиясевич стал профессором ПОМИ, сначала на кафедре инженерии программного обеспечения , затем на кафедре алгебры и теории чисел . ^[8]

В 1997 году избран членом-корреспондентом РАН . С 1998 года Юрий Матиясевич — вице-президент Санкт-Петербургского математического общества . С 2002 года — руководитель Санкт-Петербургской городской математической олимпиады.

С 2003 года Матиясевич является содиректором ежегодной немецко-российской студенческой школы JASS.

В 2008 году он был избран действительным членом Российской академии наук . ^[9]

Он был членом Американского математического общества и Ассоциации символической логики ; а также редколлегий журналов Discrete Mathematics and Applications и Computer Instruments in Education. В качестве преподавателя он был наставником Эльдара Мусаева, Максима Всемирнова, Алексея Пастора, Дмитрия Карпова ^[10]

В честь Матиясевича был назван многочлен , связанный с раскрасками триангуляции сферы; см. Многочлен Матиясевича, теорема о четырёх красках и весовые системы.

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

• 1964: Золотая медаль на Международной математической олимпиаде в Москве .
• 1970: «Премия молодому математику» Ленинградского математического общества . ^[11]
• 1980: Марковская премия АН СССР .
• 1996: Почетная степень, Университет Оверни .
• 1998: Он получил премию Гумбольдта за исследования .
• 2003: Почетная степень Университета Пьера и Марии Кюри (UPMC).
• 2007: Член Баварской академии наук .

Избранные произведения

• В возрасте 22 лет он пришел с отрицательным решением десятой проблемы Гильберта ( теоремы Матиясевича ), которая была представлена ​​в его докторской диссертации в ЛОМИ (Ленинградское отделение Математического института им. В.А. Стеклова ). ^[12]

• В теории чисел он ответил на вопрос Джорджа Полиа 1927 года относительно бесконечной системы неравенств, связывающих коэффициенты Тейлора -функции Римана ${\displaystyle \zeta }$ . Он доказал, что все эти неравенства являются следствием одного функционального неравенства, связывающего преобразование Фурье -функции и ее производные. ^[13] ${\displaystyle \zeta }$

• В теории графов он обнаружил неожиданную связь между теоремой о четырех красках и делимостью биномиальных коэффициентов и дал вероятностную интерпретацию теоремы о четырех красках. ^[13]

• Он открыл ряд новых интересных качеств нулей -функции Римана. ^[10] ${\displaystyle \zeta }$

Книга

• Десятая проблема Юрия Матиясевича Гильберта, предисловие Мартина Дэвиса и Хилари Патнэма , The MIT Press, 1993. ISBN  0-262-13295-8 .

Статьи

• Юрий Матиясевич (1973). «Распознавание отношения включения в реальном времени» (PDF) . Журнал советской математики . 1 (1): 64–70. дои : 10.1007/bf01117471. ISSN  0090-4104. S2CID  121919479.
• Юрий Матиясевич, Юлия Робинсон (1975). «Приведение произвольного диофантова уравнения к одному из 13 неизвестных». Акта Арифметика . XXVII : 521–549.
• Юрий Матиясевич, Жеро Сенизерг (1996). «Задачи принятия решений для систем Полу-Туэ с несколькими правилами». ЛИКС .
• Юрий Матиясевич, Процедуры доказательства как основа метаматематических доказательств в дискретной математике, Личный журнал Юрия Матиясевича.
• Юрий Матиясевич, Устранение ограниченных кванторов всеобщности, стоящих перед бескванторной арифметической формулой, Личный дневник Юрия Матиясевича.
• Юрий Матиясевич, Полином, связанный с раскрасками триангуляции сферы, Личный журнал Юрия Матиясевича.
• Юрий Матиясевич (2004). «Некоторые вероятностные переформулировки гипотезы о четырех цветах». Журнал теории графов . 46 (3): 167–179. doi :10.1002/jgt.10178. S2CID  30591818.

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

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

Ссылки

1. Варпаховский и Варпаховский 1970, стр. 6.
2. Бельтюков 2017, стр. 6.
3. "Международная математическая олимпиада". www.imo-official.org . Получено 2023-05-20 .
4. Варпаховский и Варпаховский 1970, стр. 38.
5. "Из хронологии математико-механического факультета" [Хронология математико-механического факультета]. Архивировано из оригинала 04 августа 2020 г. Проверено 12 января 2019 г.
6. Бельтюков 2017, стр. 5.
7. Бельтюков 2017, стр. 7.
8. Бельтюков 2017, стр. 9.
9. "Список избранных членов РАН". Архивировано из оригинала 10 июня 2022 г. Проверено 17 августа 2013 г.
10. "Академику Матиясевичу Юрию Владимировичу - 70 лет!" (на русском языке). Российская Академия наук. 2017-03-02 . Проверено 16 марта 2023 г.
11. "Премии СПб. Матем. Общ.". www.mathsoc.spb.ru .
12. Бельтюков 2017, стр. 8.
13. Бельтюков 2017, стр. 10.

Источники

• Бельтюков, А.П. (2017). «К юбилею Юрия Владимировича Матиясевича». Компьютерные инструменты в образовании (6): 5–11.
• Варпаховский, Ф.; Варпаховский, А. (1970). «О решении десятой проблемы Гильберта». Квант (журнал) (7): 38–44.

Внешние ссылки

• Домашняя страница Юрия Матиясевича.
• Юрий Матиясевич в DBLP.
• Результаты Юрия Матиясевича на Международной математической олимпиаде
• Теорема Матиясевича в Scholarpedia.
• Vita и сотрудничество с Францией (на французском) .
• О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Юрий Матиясевич», Архив истории математики MacTutor , Университет Сент-Эндрюс
• Суперкомпьютер для суперзадачи: вычислительное путешествие в чистую математику