Юрій Матіясевіч: біографія

Рішення десятих проблеми Гільберта

Будучи аспірантом, в 1970 році зробив останній крок у доказі алгоритмічної нерозв'язності задачі про існування рішень у довільного діофантових рівняння, відомої також як десята проблема Гільберта, завершивши тим самим програму досліджень, основну частина якої до того часу виконали Мартін Девіс, Хіларі Патнем і Джулія Робінсон (англ.).

Внесок Матіясевіча у вирішення проблеми полягає в тому, що він пред'явив 10 діофантових рівнянь першого та другого ступеня, які задають умовиb=F_2a, де черезF_nпозначеноn-е число Фібоначчі.

Біографія

• У 1972 p. захист докторської дисертації.
• У 1974-1980 рр.. старший науковий співробітник ломи.
• У 1966 р. на другому курсі виконав дві роботи з математичної логіки, надруковані потім у «Доповідях Академії наук СРСР». Доповідь на Міжнародному математичному конгресі, Москва, 1966.
• З 1998 р. віце-президент Санкт-Петербурзького математичного товариства.
• З 2002 р. голова журі Санкт-Петербурзької міської математичної олімпіади.
• У 1962-1963 рр.. навчання у 239 фізико-математичній школі міста Ленінграда.
• З 1980 р. завідувач лабораторією математичної логіки ломи.
• У 1970 р. присудження ступеня кандидата фізико-математичних наук.
• У 1969-1970 рр.. аспірантура ломи під керівництвом Сергія Юрійовича Маслова.
• У 1970-1974 рр.. науковий співробітник ломи.
• У 1997 р. обраний членом-кореспондентом РАН.
• У 1964-1969 рр.. навчання на Математико-механічному факультеті Ленінградського державного університету. Як переможець Міжнародної олімпіади був зарахований в університет після передостаннього класу, минаючи останній.
• У 1963-1964 рр.. навчання в московській фізико-математичній школі-інтернаті № 18 імені А. Н. Колмогорова (СУНЦ МГУ).
• З 1995 р. професор СПбДУ на кафедрі Математичного забезпечення ЕОМ, згодом на кафедрі алгебри.
• З 2003 р. спів-керівник щорічної російсько-німецької студентської школи JASS.

• З 2008 р. президент Санкт-Петербурзького математичного товариства.
• У 2008 р. обраний дійсним членом Російської академії наук.

Премії та нагороди

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

Факти до біографії

• Член Американського математичного товариства та Асоціації символьної логіки.
• Учні, які захистили кандидатські дисертації: Елдар Мусаєв, Максим Всесвітньої, Олексій Пастор, Дмитро Карпов.
• Число Ердеша - 2: Юрій Матіясевіч - Річард Гі - Поль Ердеша.
• Член редакційних колегій журналів «Дискретна математика» і «Комп'ютерні інструменти в освіті».

Вибрані роботи

Книга

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

Статті

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

Комментарии

Сайт: Википедия