Interested Article - Матиясевич, Юрий Владимирович
- 2020-12-31
- 1
Ю́рий Влади́мирович Матиясе́вич (род. 2 марта 1947 , Ленинград ) — советский и российский математик , исследователь Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН , член экспертной комиссии РСОШ по математике, академик Российской академии наук , доктор физико-математических наук . Внёс существенный вклад в теорию вычислимости , завершив решение десятой проблемы Гильберта .
Биография
Юрий Матиясевич родился в Ленинграде 2 марта 1947 года. Первые несколько классов учился в школе № 255 у Софьи Григорьевны Генерсон, благодаря которой заинтересовался математикой. С 1961 года начал принимать участие во всероссийских олимпиадах. В 1962—1963 годах учился в физико-математической школе № 239 Ленинграда. Также с 7 по 9 класс занимался в математическом кружке Ленинградского дворца пионеров. В 1963—1964 годах закончил 10-й класс в московской физико-математической школе-интернате № 18 при МГУ .
В 1964 году стал победителем Международной олимпиады , после чего без экзаменов зачислен на математико-механического факультета Ленинградского университета , где проучился до 1969 года. Экзамены на аттестат зрелости (о среднем образовании) сдавал уже студентом первого курса .
В 1966 году, на втором курсе университета, выполнил две работы по математической логике , напечатанные затем в « Докладах Академии наук СССР », и по ним сделал доклад на Международном математическом конгрессе , проходившем в Москве .
По окончании университета поступил в аспирантуру Ленинградского отделения Института имени Стеклова (ЛОМИ), в 1970 году под руководством Сергея Юрьевича Маслова защитил диссертацию на соискание степени кандидата физико-математических наук. Будучи аспирантом, решил десятую проблему Гильберта .
В 1972 году в возрасте 25 лет защитил докторскую диссертацию по неразрешимости 10-й проблемы Гильберта .
С 1974 года Матиясевич работал на научных должностях в ЛОМИ: сначала старшим научным сотрудником, а в 1980 году возглавил лабораторию математической логики. В 1995 году Матиясевич стал профессором Санкт-Петербургского университета на кафедре математического обеспечения ЭВМ, впоследствии — на кафедре алгебры .
В 1997 году избран членом-корреспондентом РАН .
С 1998 года — вице-президент Санкт-Петербургского математического общества .
С 2002 года — председатель жюри Санкт-Петербургской городской математической олимпиады . С 2003 года — соруководитель ежегодной русско-немецкой студенческой школы JASS .
В 2008 году избран действительным членом Российской академии наук . В том же году избран президентом Санкт-Петербургского математического общества .
Матиясевич входит в редколлегию журнала «Записки научных семинаров ПОМИ», а также редсоветы журналов «Дискретная математика» и «Компьютерные инструменты в образовании». Член Американского математического общества и Ассоциации символьной логики. Как педагог, Матиясевич подготовил 2 докторов наук и 3 кандидатов .
Дочь — Дарья Русакова (род. 1979), математик, педагог, игрок спортивного «Что? Где? Когда?» [ источник не указан 316 дней ] .
Основные научные результаты
Матиясевич является автором свыше 100 научных публикаций, среди которых — монография «Десятая проблема Гильберта» .
- Будучи аспирантом, в начале 1970 года в возрасте 22 лет сделал последний шаг в доказательстве алгоритмической неразрешимости задачи о существовании решений у произвольного диофантова уравнения , известной также как десятая проблема Гильберта , завершив тем самым программу исследований, основную часть которой к тому времени выполнили Мартин Дэвис , Хилари Патнем и Джулия Робинсон . Вклад Матиясевича в решение проблемы заключается в том, что он предъявил 10 диофантовых уравнений первой и второй степени, которые задают условие , где через обозначено -е число Фибоначчи .
- Теория чисел : Матиясевич получил ответ на поставленный в 1927 году вопрос Дьёрдя Пойи , касающийся бесконечной системы неравенств, связывающих тейлоровские коэффициенты -функции Римана: показал, что все эти неравенства являются следствием одного функционального неравенства, связывающего фурье-преобразование -функции и его производные .
- Теория графов : предложил несколько критериев раскрашиваемости графов, установил неожиданную связь проблемы четырёх красок и делимости биномиальных коэффициентов , дал вероятностную интерпретацию теоремы о четырёх красках .
- Обнаружил ряд новых интересных свойств нулей дзета-функции Римана .
Премии и награды
- 1964 — в составе команды советских школьников завоевал диплом первой степени на Международной математической олимпиаде , проходившей в Москве .
- 1970 — премия «Молодому математику» Ленинградского математического общества .
- 1980 — премия имени А. А. Маркова Академии наук СССР .
- 1996 — звание почётного доктора Университета Оверни .
- 1998 — лауреат премии Гумбольдта .
- 2003 — звание почётного доктора Университета Париж-VI .
Библиография
Автор книги о десятой проблеме Гильберта и большого количества статей в научных журналах, в том числе совместно с Джулией Робинсон , Ричардом Гаем (благодаря последнему персональное число Эрдёша — 2).
Книга
- Матиясевич Ю. В. Десятая проблема Гильберта — М.: Наука, 1993.
Статьи
- Ю. В. Матиясевич. // Записки семинаров Ленинградского отделения Математического института им. В. А. Стеклова Академии Наук СССР. — 1971. — Т. 20 . — С. 104—114 .
- Yuri Matiyasevich and Julia Robinson, , Acta Arithmetica, XXVII (1975), 521—549.
- Yuri Matiyasevich and Géraud Senizerguez, , LICS’96.
- Yuri Matiyasevich, , Personal Journal of Yury Matiyasevich.
- Yuri Matiyasevich, , Personal Journal of Yuri Matiyasevich.
- Yuri Matiyasevich, , Теория вероятности и её применения, 48 (2003), 411—416.
- в журнале « Квант » (1971—1978)
Примечания
- ↑ , с. 38.
- ↑ , с. 6.
- Дата обращения: 12 января 2019. 4 августа 2020 года.
- , с. 5.
- , с. 7.
- ↑ , с. 9.
- . Дата обращения: 2 марта 2007. 5 февраля 2007 года.
- . Дата обращения: 2 марта 2007. 11 июня 2007 года.
- . Дата обращения: 17 августа 2013. 17 августа 2013 года.
- ↑ Российская Академия наук (2 марта 2017). Дата обращения: 16 марта 2023. 17 марта 2023 года.
- , с. 8.
- ↑ , с. 10.
- . Дата обращения: 19 августа 2018. 3 октября 2016 года.
- . Дата обращения: 11 января 2010. 12 мая 2013 года.
Литература
- Бельтюков А. П. // Компьютерные инструменты в образовании. — 2017. — № 6 .
- Варпаховский Ф., Колмогоров А. // «Квант» . — 1970. — № 7 . — С. 38—44 .
Ссылки
- .
- на официальном сайте РАН
- . Дата обращения: 5 марта 2007. Архивировано из 16 декабря 2010 года.
- on Scholarpedia (англ.) .
- (англ.) .
- 2020-12-31
- 1