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

Юрий Матиясевич
Родился	(1947-03-02) 2 марта 1947 г. (возраст 73). Ленинград, Советский Союз
Национальность	Советский. Русский
Alma mater	Ленинградский государственный университет
Известен как	его вклад в теорию вычислимости, особенно в решении десятой проблемы Гильберта
Награды	Петербургского математического общества Премия (1970),. Марковская премия (1980),. Премия Гумбольдта (1998)
Научная карьера
Области	Математика и Теоретическая информатика
Учреждения	Петербургское отделение из Стеклова

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

• 1 Биография
• 2 Награды и награды
• 3 Известные факты
• 4 Избранные работы
  • 4.1 Книга
  • 4.2 Статьи
• 5 См. Также
• 6 Ссылки
• 7 Внешние ссылки

• В 1962–1963 годах Матиясевич учился в Санкт-Петербургском лицее 239 ;
• . В 1963–1964 годах учился в Колмогоровском училище ; в 1964 г. был абсолютным победителем Всесоюзной олимпиады по математике
• В 1964–1969 гг. Матиясевич учился на механико-математическом факультете Ленинградского государственного университета.. Попав в сборную СССР на Международную математическую олимпиаду (где он выиграл золотую медаль), Юрий Матиясевич без экзаменов был принят в Ленинградский государственный университет, пропустив последний год обучения в средней школе.
• В 1966 году он выступил с докладом на Международном математическом конгрессе, проходившем в Москве. В то время он учился на втором курсе бакалавриата.
• В 1969–1970 гг. Учился в докторантуре Ленинградского отделения Математического института им. В.А. Стеклова под руководством Сергей Маслов.
• В 1970 году получил докторскую степень (степень кандидата, эквивалентная доктору философии) в ЛОМИ.
• В 1970–1974 гг. Работал научным сотрудником в ЛОМИ.
• В 1972 году он получил вторую докторскую степень (эквивалент квалификации или доктора наук, в Советском Союзе ).
• доктор наук ).
• В 1974–1980 гг. был старшим научным сотрудником ЛОМИ.
• В 1980-2018 гг. Юрий Матиясевич возглавлял Лабораторию математической логики в ЛОМИ.
• С 1995 г. он был профессором Санкт-Петербургский государственный университет, сначала на кафедре программной инженерии, затем на кафедре алгебры и теории чисел.
• В 1997 году избран членом-корреспондентом Российской Федерации. Академия наук.
• С 1998 года Юрий Матиясевич является вице-президентом Св. Петербургское математическое общество.
• С 2002 года он возглавляет Санкт-Петербургскую городскую математическую олимпиаду.
• С 2003 года Матиясевич является содиректором ежегодной немецко-российской школьной школы JASS.
• В 2008 году избран действительным членом Российской академии наук.

• 1964: Золотая медаль на Международной математической олимпиаде в Москве.
• 1970: «Премия молодому математику» Ленинградского математического общества.
• 1980: Марковская премия Академии наук СССР.
• 1996: почетная степень, Université d'Auvergne.
• 1998: он получил премию Гумбольдта за исследования.
• 2003: почетную степень Université Pierre et Marie Curie (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.
• Юрий Матиясевич, Юлия Робинсон (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.
• Десятая проблема Гильберта: история математических открытий.
• Результаты Юрия Матиясевича на International Mathematical Олимпиада
• Теорема Матиясевича по Scholarpedia.
• Жизнь и сотрудничество с Францией (на французском языке).
• О'Коннор, Джон Дж. ; Робертсон, Эдмунд Ф., «Юрий Матиясевич», Архив истории математики MacTutor, Университет Сент-Эндрюс.
• Суперкомпьютерные вычисления для суперпроблемы: Вычислительное путешествие в чистую математику