Юрий Матиясевич
Юрий Матиясевич | |
|---|---|
 | |
| Рожденный | 2 марта 1947 г. |
| Национальность | советский Русский |
| Альма-матер | Ленинградский государственный университет |
| Известный | его вклад в теорию вычислимости , особенно решение десятой проблемы Гильберта с помощью теоремы Матиясевича |
| Награды | Премия Петербургского математического общества (1970), Марковская премия (1980), Премия Гумбольдта (1998) |
| Научная карьера | |
| Поля | Математика и теоретическая информатика |
| Учреждения | Петербургское отделение Стеклова Математического института им. |
Юрий Владимирович Матиясевич ( русский : Ю́рий Влади́мирович Матиясе́вич ; родился 2 марта 1947 года в Ленинграде ) — российский математик и учёный-информатик . Наиболее известен своим отрицательным решением десятой проблемы Гильберта ( теоремы Матиясевича ), которое было представлено в его докторской диссертации в ЛОМИ (Ленинградское отделение Математического института им. Стеклова ).
Биография [ править ]
и образование Ранние годы
Юрий Матиясевич родился в Ленинграде 2 марта 1947 года. Первые несколько классов он учился в школе № 255 у Софьи Генерсон, благодаря которой у него появился интерес к математике. В 1961 году он начал участвовать во всероссийских олимпиадах. С 1962 по 1963 год учился в Ленинградской физико-математической школе № 239 . Также с 7 по 9 класс он занимался в математическом кружке Ленинградского Дворца пионеров. В 1963—1964 годах окончил 10 классов МГУ физико-математической школы-интерната № 18 имени А. Н. Колмогорова . [1] [2]
В 1964 году он завоевал золотую медаль Международной математической олимпиады. [3] был зачислен на математико-механический факультет СПбГУ и без экзаменов . Он сдавал экзамены на получение аттестата средней школы на первом курсе. [4] [5]
Будучи студентом второго курса, он опубликовал две статьи по математической логике , которые были опубликованы в «Известиях Академии наук СССР» . Эти работы он представил на Международном конгрессе математиков в 1966 году. [2]
После окончания школы он поступил в аспирантуру Санкт-Петербургского отделения Математического института им. Стеклова РАН (ПОМИ). В 1970 году под руководством Сергея Маслова защитил диссертацию на соискание ученой степени кандидата физико-математических наук. [6]
В 1972 году, в возрасте 25 лет, он защитил докторскую диссертацию о неразрешимости десятой проблемы Гильберта. [7]
С 1974 года Матиясевич работал на научных должностях в ЛОМИ, сначала старшим научным сотрудником, в 1980 году возглавил лабораторию математической логики. В 1995 году Матиясевич стал профессором ПОМИ сначала на кафедре разработки программного обеспечения , позже на кафедре алгебры и теории чисел . [8]
В 1997 году он был избран членом-корреспондентом Российской академии наук . С 1998 года Юрий Матиясевич — вице-президент Санкт-Петербургского математического общества . С 2002 года является руководителем Санкт-Петербургской городской математической олимпиады .
С 2003 года Матиясевич является содиректором ежегодной немецко-российской студенческой школы JASS .
В 2008 году он был избран действительным членом Российской академии наук . [9]
Он был членом Американского математического общества и Ассоциации символической логики ; а также редакционных коллегий журналов «Дискретная математика и ее приложения» и «Компьютерные инструменты в образовании» . Как педагог он был наставником Эльдара Мусаева , Максима Всемирнова , Алексея Пастора , Дмитрия Карпова. [10]
Именем Матиясевича назван многочлен , относящийся к раскраскам триангуляции сферы; см. Полином Матиясевича, теорема о четырех цветах и весовые системы .
Награды и почести [ править ]
- 1964: Золотая медаль на Международной математической олимпиаде, проходившей в Москве .
- 1970: «Премия юному математику» Ленинградского математического общества . [11]
- 1980: Марковская премия Академии наук СССР .
- 1996: Почетная степень Университета Оверни .
- 1998: Он получил премию Гумбольдта за исследования .
- 2003: Почетная степень Университета Пьера и Марии Кюри (UPMC).
- 2007: Член Баварской академии наук .
Избранные работы [ править ]
- В 22 года он пришел с отрицательным решением десятой проблемы Гильберта ( теоремы Матиясевича ), которое было представлено в его докторской диссертации в ЛОМИ (Ленинградское отделение Математического института им. Стеклова ). [12]
- В теории чисел он ответил на вопрос Джорджа Пойа 1927 года о бесконечной системе неравенств, связывающей коэффициенты Тейлора уравнения Римана . -функция . Он доказал, что все эти неравенства являются следствием одного функционального неравенства, связывающего Фурье преобразование -функция и ее производные. [13]
- В теории графов он нашел неожиданную связь между теоремой о четырех цветах и делимостью биномиальных коэффициентов , а также дал вероятностную интерпретацию теоремы о четырех цветах. [13]
- Он открыл ряд новых интересных свойств нулей уравнения Римана. -функция. [10]
Книга [ править ]
- 10-я проблема Юрия Матиясевича Гильберта , предисловие Мартина Дэвиса и Хилари Патнэм , 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. дои : 10.1002/jgt.10178 . S2CID 30591818 .
См. также [ править ]
Ссылки [ править ]
- ^ Варпаховский и Варпаховский 1970 , с. 6.
- ^ Перейти обратно: а б Бельтюков 2017 , с. 6.
- ^ «Международная математическая олимпиада» . www.imo-official.org . Проверено 20 мая 2023 г.
- ^ Варпаховский и Варпаховский 1970 , с. 38.
- ^ "Из хронологии математико-механического факультета" [Chronology of the Department of Mathematics and Mechanics]. Archived from the original on 2020-08-04 . Retrieved 2019-01-12 .
- ^ Бельтюков 2017 , с. 5.
- ^ Бельтюков 2017 , с. 7.
- ^ Бельтюков 2017 , с. 9.
- ^ "Список избранных членов РАН" [List of RAS full members]. Archived from the original on 2022-06-10 . Retrieved 2013-08-17 .
- ^ Перейти обратно: а б "Академику Матиясевичу Юрию Владимировичу - 70 лет!" (in Russian). Российская Академия наук. 2017-03-02 . Retrieved 2023-03-16 .
- ^ "СПб. Матем. Соц. премии" . www.mathsoc.spb.ru .
- ^ Бельтюков 2017 , с. 8.
- ^ Перейти обратно: а б Бельтюков 2017 , с. 10.
Источники [ править ]
- Бельтюков, АП (2017). «К юбилею Юрия Владимировича Матиясевича» . Компьютерные инструменты в образовании (6): 5–11.
- Варпаховский Ф.; Варпаховский А. (1970). «О решении десятой проблемы Гильберта» . Квант (Журнал) (7): 38–44.
Внешние ссылки [ править ]
- Домашняя страница Юрия Матиясевича .
- Юрий Матиясевич в DBLP .
- Результаты Юрия Матиясевича на Международной математической олимпиаде
- Теорема Матиясевича в Scholarpedia.
- Вита и сотрудничество с Францией (на французском языке) .
- О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Юрий Матиясевич» , Архив истории математики MacTutor , Университет Сент-Эндрюс
- Суперкомпьютеры для суперзадачи: вычислительное путешествие в чистую математику
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- 1947 рождений
- Русские математики XX века.
- Российские математики XXI века
- Выпускники Санкт-Петербургского государственного университета
- Живые люди
- Действительные члены Российской академии наук
- Математики из Санкт-Петербурга
- Российские ученые-компьютерщики
- русские логики
- советские логики
- советские ученые-компьютерщики
- Советские математики
- Участники Международной математической олимпиады
- Академический состав Санкт-Петербургского государственного университета
- Российские учёные