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

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

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

биография

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

Награды и отличия

1964: Золотая медаль Международная математическая олимпиада проведенный в Москва.
1970: «Премия юного математика» Ленинградское математическое общество.^[2]
1980: Марковская премия Академия наук СССР.
1996 год: почетная степень, Оверньский университет.
1998: Он получил Премия Гумбольдта за исследования.
2003: Почетная степень, Université Pierre et Marie Curie (UPMC).
2007: Член Баварская Академия Наук.

Примечательные факты

Именем Матиясевича был назван полином, связанный с раскрасками триангуляции сферы; видеть Многочлен Матиясевича, теорема о четырех цветах и весовые системы.
Он был членом Американское математическое общество и Ассоциация символической логики; а также редакций журналов Дискретная математика и приложения и Компьютерные инструменты в образовании.
Известные студенты включают: Эльдар Мусаев, Максим Всемирнов, Алексей Пастор, Дмитрий Карпов.

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

Книга

Юрий Матиясевич 10-я проблема Гильберта, Предисловие Мартин Дэвис и Хилари Патнэм, MIT Press, 1993. ISBN 0-262-13295-8.

Статьи

Юрий Матиясевич (1973). «Распознавание отношения включения в реальном времени» (PDF). Журнал советской математики. 1 (1): 64–70. Дои: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. Дои:10.1002 / jgt.10178.

Смотрите также

Теорема Матиясевича

внешняя ссылка

Домашняя страница Юрия Матиясевича.
Юрий Матиясевич в DBLP.
Десятая проблема Гильберта: история математических открытий.
Результаты Юрия Матиясевича в Международная математическая олимпиада
Теорема Матиясевича на Scholarpedia.
Vita и сотрудничество с Францией (На французском).
О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф., "Юрий Матиясевич", Архив истории математики MacTutor, Сент-Эндрюсский университет.
Суперкомпьютерные вычисления для суперпроблемы: вычислительное путешествие в чистую математику

[1] Вольфрам, Стивен (2002). Новый вид науки. Wolfram Media, Inc. стр.1141. ISBN 1-57955-008-8.

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

[1]

[2]