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

Юрий Матиясевич
Юрий Владимирович Матиясевич
Портрет
Советский и российский математик, внёс существенный вклад в теорию вычислимости, завершив решение десятой проблемы Гильберта
Дата рождения:

2 марта 1947 года

Место рождения:

Ленинград, СССР

Ю́рий Влади́мирович Матиясе́вич (родился 2 марта 1947 года, г. Ленинград), советский и российский математик, исследователь Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН, академик РАН, доктор физико-математических наук.

Содержание

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

Будучи аспирантом, в 1970 году сделал последний шаг в доказательстве алгоритмической неразрешимости задачи о существовании решений у произвольного диофантового уравнения, известной также как десятая проблема Гильберта, завершив тем самым программу исследований, основную часть которой к тому времени выполнили M. Davis, H. Putnam и J. Robinson.

Вклад Матиясевича в решение проблемы заключается в том, что он предъявил 10 диофантовых уравнений первой и второй степени, которые задают условие b = F2a, где через Fn обозначено n-ое число Фибоначчи.

Биография

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

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

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

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

Книга

Статьи

  • Ю.В. Матиясевич, Распознавание в реальное время отношения вхождения (он-лайн версия), Записки семинаров Ленинградского отделения Математического института им. В.А. Стеклова Академии Наук СССР, 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.

Примечания

Ссылки


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Полезное


Смотреть что такое "Юрий Матиясевич" в других словарях:

  • Матиясевич, Юрий — Юрий Владимирович Матиясевич Советский и российский математик, внёс существенный вклад в теорию вычислимости, завершив решение десятой проблемы Гильберта Дата рождения: 2 …   Википедия

  • Матиясевич Юрий Владимирович — Юрий Владимирович Матиясевич Советский и российский математик, внёс существенный вклад в теорию вычислимости, завершив решение десятой проблемы Гильберта Дата рождения: 2 …   Википедия

  • Юрий Владимирович Матиясевич — Советский и российский математик, внёс существенный вклад в теорию вычислимости, завершив решение десятой проблемы Гильберта Дата рождения: 2 …   Википедия

  • Матиясевич Ю. В. — Юрий Владимирович Матиясевич Советский и российский математик, внёс существенный вклад в теорию вычислимости, завершив решение десятой проблемы Гильберта Дата рождения: 2 …   Википедия

  • Матиясевич Ю. — Юрий Владимирович Матиясевич Советский и российский математик, внёс существенный вклад в теорию вычислимости, завершив решение десятой проблемы Гильберта Дата рождения: 2 …   Википедия

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

  • МАТИЯСЕВИЧ Юрий Владимирович — (р. 1947), российский математик, действительный член Российской академии наук (2008, член корреспондент с 1997). Основные труды по математической логике, теории алгоритмов, дискретной математике …   Энциклопедический словарь

  • Матиясевич — Матиясевич  русская фамилия. Известные носители: Матиясевич, Алексей Михайлович  советский капитан, океанограф, полярник, в годы ВОВ  командир подводной лодки «Лембит». Матиясевич, Михаил Степанович (1878 1941) русский и советский… …   Википедия

  • Матиясевич Юрий Владиславович — (р. 1947), математик, член корреспондент РАН (1997). Труды по математической логике, дискретной математике …   Энциклопедический словарь

  • Матиясевич Юрий Владимирович — (р. 1947), математик, член корреспондент РАН (1997). Труды по математической логике, дискретной математике …   Большой Энциклопедический словарь


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»