Матиясевич, Юрий Владимирович | это... Что такое Матиясевич, Юрий Владимирович? (original) (raw)

В Википедии есть статьи о других людях с такой фамилией, см. Матиясевич.

Юрий Матиясевич
Фотография 1969 года
Дата рождения:	2 марта 1947(1947-03-02) (65 лет)
Место рождения:	Ленинград, СССР
Научная сфера:	теоретическая информатика
Место работы:	ПОМИ
Учёная степень:	доктор физико-математических наук
Учёное звание:	академик РАН (2008)
Альма-матер:	ЛГУ
Известен как:	автор решениядесятой проблемыГильберта
Награды и премии	медаль Маркова (1980),премия Гумбольдта (1998)
Сайт:	logic.pdmi.ras.ru/~yumat/

Ю́рий Влади́мирович Матиясе́вич (родился 2 марта 1947 года, г. Ленинград) — советский и российский математик, исследователь Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН, член экспертной комиссии РСОШ по математике, академик РАН, доктор физико-математических наук. Внёс существенный вклад в теорию вычислимости, завершив решение десятой проблемы Гильберта.

Содержание

1 Научная деятельность, решение десятой проблемы Гильберта
2 Биография
- 2.1 Премии и награды
- 2.2 Факты к биографии
3 Избранные работы
- 3.1 Книга
- 3.2 Статьи
4 Примечания
5 Ссылки

Научная деятельность, решение десятой проблемы Гильберта

В 1966 году выполнил первые две научные работы по математической логике, впоследствии опубликованные в «Докладах Академии наук». В 1966 году студент Юрий Матиясевич сделал доклад на Международном математическом конгрессе в Москве.

Будучи аспирантом, в начале 1970 года в возрасте 22 лет сделал последний шаг в доказательстве алгоритмической неразрешимости задачи о существовании решений у произвольного диофантова уравнения, известной также как десятая проблема Гильберта, завершив тем самым программу исследований, основную часть которой к тому времени выполнили Мартин Дэвис, Хилари Патнем и Джулия Робинсон (англ.).

Вклад Матиясевича в решение проблемы заключается в том, что он предъявил 10 диофантовых уравнений первой и второй степени, которые задают условие $b=F_{2a}$ , где через F_n обозначено -ое число Фибоначчи.

Доказательство алгоритмической неразрешимости 10-й проблемы Гильберта, данное Ю. В. Матиясевичем, относится к выдающимся достижениям математики XX века. Ю. В. Матиясевичу также принадлежат и другие интересные и тонкие результаты в области математической логики, теории алгоритмов, теории чисел и дискретной математики.

В теории чисел Ю. В. Матиясевич получил ответ на поставленный в 1927 году вопрос Д. Пойа, касающийся бесконечной системы неравенств, связывающих тейлоровские коэффициенты кси-функции Римана. Матиясевич показал, что все эти неравенства являются следствием одного функционального неравенства, связывающего Фурье-преобразование кси-функции и его производные.

В теории графов Ю. В. Матиясевич предложил несколько критериев раскрашиваемости гpафов. Его результаты в этой области устанавливают неожиданную связь гипотезы четырех красок и делимости биномиальных коэффициентов, а также дают вероятностную интерпретацию теоремы о четырех красках.

В 1970 году защитил кандидатскую диссертацию, в 1972 году (в возрасте 25 лет) докторскую диссертацию.

Биография

В 1962—1963 гг. учеба в 239 физико-математической школе города Ленинграда.
В 1963—1964 гг. учеба в московской физико-математической школе-интернате № 18 имени А. Н. Колмогорова (СУНЦ МГУ).
В 1964—1969 гг. учеба на Математико-механическом факультете Ленинградского государственного университета. Как победитель Международной олимпиады был зачислен в университет после предпоследнего класса, минуя последний.
В 1966 г. на втором курсе выполнил две работы по математической логике, напечатанные затем в «Докладах Академии наук СССР». Доклад на Международном математическом конгрессе, Москва, 1966.
В 1969—1970 гг. аспирантура ЛОМИ под руководством Сергея Юрьевича Маслова.
В 1970 г. присуждение степени кандидата физико-математических наук.
В 1970—1974 гг. научный сотрудник ЛОМИ.
В 1972 г. защита докторской диссертации.
В 1974—1980 гг. старший научный сотрудник ЛОМИ.
С 1980 г. заведующий лабораторией математической логики ЛОМИ[1].
С 1995 г. профессор СПбГУ на кафедре Математического обеспечения ЭВМ, впоследствии на кафедре алгебры.
В 1997 г. избран членом-корреспондентом РАН.
С 1998 г. вице-президент Санкт-Петербургского математического общества[2].
С 2002 г. председатель жюри Санкт-Петербургской городской математической олимпиады.
С 2003 г. со-руководитель ежегодной русско-немецкой студенческой школы JASS[3].

Юрий Матиясевич во время проведения JASS 08

В 2008 г. избран действительным членом Российской академии наук[4].
С 2008 г. президент Санкт-Петербургского математического общества.

Премии и награды

В 1964 г. в составе команды советских школьников завоевал диплом первой степени на Международной математической олимпиаде, проходившей в Москве [5].
В 1970 г. присуждение премии «Молодому математику» Ленинградского математического общества[6].
В 1980 г. присуждение медали А. А. Маркова Академии наук СССР.
В 1996 г. присуждение звания почетного доктора Университета французской провинции Овернь (Docteur Honoris Causa de l’Université d’Auvergne).
В 1998 г. присуждение премии Гумбольдта (Humboldt Research Award to Foreign Scholars).
В 2003 г. присуждение звания почетного доктора Университета Париж-6 (Docteur Honoris Causa de l’Université Pierre et Marie Curie).

Факты к биографии

Член Американского математического общества и Ассоциации символьной логики.
Член редакционных коллегий журналов «Дискретная математика» и «Компьютерные инструменты в образовании».
Число Эрдёша — 2: Юрий Матиясевич — Ричард Ги — Поль Эрдёш.
Ученики, защитившие кандидатские диссертации: Элдар Мусаев, Максим Всемирнов, Алексей Пастор, Дмитрий Карпов, Юрий Лифшиц.

Избранные работы

Книга

Ю. В. Матиясевич, Десятая проблема Гильберта, М., Наука, 1993.

Статьи

Ю. В. Матиясевич, Распознавание в реальное время отношения вхождения, Записки семинаров Ленинградского отделения Математического института им. В. А. Стеклова Академии Наук СССР, 20 (1971), 104—114 .
Yuri Matiyasevich and Julia Robinson, Reduction of an arbitrary Diophantine equation to one in 13 unknowns, Acta Arithmetica, XXVII (1975), 521—549.
Yuri Matiyasevich and Géraud Senizerguez, Decision Problems for Semi-Thue Systems with a Few Rules, LICS’96.
Yuri Matiyasevich, Proof Procedures as Bases for Metamathematical Proofs in Discrete Mathematics, Personal Journal of Yury Matiyasevich.
Yuri Matiyasevich, Elimination of bounded universal quantifiers standing in front of a quantifier-free arithmetical formula, Personal Journal of Yuri Matiyasevich.
Yuri Matiyasevich, One Probabilistic Equivalent of the Four Color Conjecture, Теория вероятности и ее применения, 48 (2003), 411—416.

Примечания

Ссылки

Yuri Matiyasevich’s home page.
Профиль Ю. В. Матиясевича на официальном сайте РАН
Статья в журнале Квант об истории решения Десятой проблемы Гильберта
История решения Десятой проблемы Гильберта.
Статьи Ю. В. Матиясевича в журнале Квант (1971—1978).
The Mathematics Genealogy Project — Yuri Matiyasevich (англ.).
Matiyasevich theorem on Scholarpedia (англ.).
Yuri Matiyasevich at DBLP (англ.).
Биография и сотрудничество с Францией (фр.).