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

Юрий Матиясевич
Юрий Матиясевич
Рожденный	2 марта 1947 г. (77 лет) ; Ленинград , Советский Союз
Национальность	советский ; Русский
Альма-матер	Ленинградский государственный университет
Известный	его вклад в теорию вычислимости , особенно решение десятой проблемы Гильберта с помощью теоремы Матиясевича
Награды	Премия Петербургского математического общества (1970), ; Markov Prize (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 году под руководством Сергея Маслова [ ru ] защитил диссертацию на соискание ученой степени кандидата физико-математических наук. ^{[ 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 года о бесконечной системе неравенств, связывающей коэффициенты Тейлора уравнения Римана. $\zeta$ -функция . Он доказал, что все эти неравенства являются следствием одного функционального неравенства, связывающего преобразование Фурье $\zeta$ -функция и ее производные. ^{[ 13 ]}

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

Он открыл ряд новых интересных свойств нулей уравнения Римана. $\zeta$ -функция. ^{[ 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 , Университет Сент-Эндрюс
Суперкомпьютеры для суперзадачи: вычислительное путешествие в чистую математику

[FOOTNOTEVarpahovskyVarpahovsky19706-1] Варпаховский и Варпаховский 1970 , с. 6.

[FOOTNOTEBeltyukov20176-2] Перейти обратно: ^а ^б Бельтюков 2017 , с. 6.

[3] «Международная математическая олимпиада» . www.imo-official.org . Проверено 20 мая 2023 г.

[FOOTNOTEVarpahovskyVarpahovsky197038-4] Варпаховский и Варпаховский 1970 , с. 38.

[5] "Из хронологии математико-механического факультета" [Chronology of the Department of Mathematics and Mechanics]. Archived from the original on 2020-08-04 . Retrieved 2019-01-12 .

[FOOTNOTEBeltyukov20175-6] Бельтюков 2017 , с. 5.

[FOOTNOTEBeltyukov20177-7] Бельтюков 2017 , с. 7.

[FOOTNOTEBeltyukov20179-8] Бельтюков 2017 , с. 9.

[9] "Список избранных членов РАН" [List of RAS full members]. Archived from the original on 2022-06-10 . Retrieved 2013-08-17 .

[ras-10] Перейти обратно: ^а ^б "Академику Матиясевичу Юрию Владимировичу - 70 лет!" (in Russian). Российская Академия наук. 2017-03-02 . Retrieved 2023-03-16 .

[11] "СПб. Матем. Соц. премии" . www.mathsoc.spb.ru .

[FOOTNOTEBeltyukov20178-12] Бельтюков 2017 , с. 8.

[FOOTNOTEBeltyukov201710-13] Перейти обратно: ^а ^б Бельтюков 2017 , с. 10.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

[ 9 ]

[ 10 ]

[ 11 ]

[ 12 ]

[ 13 ]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Норвегия Франция Данные БнФ Германия Италия Израиль Бельгия Соединенные Штаты Нидерланды
академики	ДБЛП MathSciNet Проект математической генеалогии ОРЦИД Давайте опубликуем Идентификатор исследователя Скопус zbMATH
Другой	ИдРеф