WikiDer > Юрий Матиясевич - Википедия
Yuri Matiyasevich - Wikipedia
 | Этот биография живого человека требует дополнительных цитаты за проверка. (Июнь 2017 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Юрий Матиясевич | |
|---|---|
 | |
| Родившийся | 2 марта 1947 г. |
| Национальность | Советский русский |
| Альма-матер | Ленинградский Государственный Университет |
| Известен | его вклад в теория вычислимости, особенно решение Десятая проблема Гильберта |
| Награды | Петербургское математическое общество Премия (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.
Смотрите также
Рекомендации
- ^ Вольфрам, Стивен (2002). Новый вид науки. Wolfram Media, Inc. стр.1141. ISBN 1-57955-008-8.
- ^ "СПб. Математика. Соц. Премии". www.mathsoc.spb.ru.
внешняя ссылка
 | Викискладе есть медиафайлы по теме Юрий Матиясевич (математик). |
- Домашняя страница Юрия Матиясевича.
- Юрий Матиясевич в DBLP.
- Десятая проблема Гильберта: история математических открытий.
- Результаты Юрия Матиясевича в Международная математическая олимпиада
- Теорема Матиясевича на Scholarpedia.
- Vita и сотрудничество с Францией (На французском).
- О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф., "Юрий Матиясевич", Архив истории математики MacTutor, Сент-Эндрюсский университет.
- Суперкомпьютерные вычисления для суперпроблемы: вычислительное путешествие в чистую математику
