Андрей Марков мл. - Andrey Markov Jr.

Для других людей с таким же именем см. Андрей Марков.

Андрей Андреевич Марков-младший (русский: Андре́й Андре́евич Ма́рков; Санкт-Петербург, 22 сентября 1903 г. Москва, 11 октября 1979 г.) Советский математик, сын русского математика Андрей Андреевич Марков-старший, и один из ключевых основателей русской школы конструктивная математика и логика. Он внес выдающийся вклад в различные области математики, в том числе дифференциальные уравнения, топология, математическая логика и основы математики.[1][2]

Его имя, в частности, связано с Принцип Маркова и Правило маркова в математической логике, Теорема маркова в теории узлов и Марковский алгоритм[3] в теоретической информатике. Важный результат, который он доказал в 1947 году, заключался в том, что проблема слов для полугрупп было неразрешимо;[4] Эмиль Пост получили тот же результат независимо примерно в одно и то же время.[4] В 1953 году он стал членом Коммунистическая партия.

В 1960 г. Марков получил фундаментальные результаты, показывающие, что классификация четырехмерных коллекторы является неразрешимый: не существует общего алгоритма для различения двух произвольных многообразий с четырьмя или более измерениями. Это связано с тем, что четырехмерные многообразия обладают достаточной гибкостью, чтобы позволить нам встроить любой алгоритм[требуется разъяснение ] внутри их структуры, так что классификация всех четырехмерных многообразий будет означать решение Тьюринга. проблема остановки. Этот результат имеет серьезные последствия для ограничений математического анализа.

Примечания

  1. ^ Кушнер, Борис А (2006). «Конструктивная математика А. А. Маркова». Амер. Математика. Ежемесячно. 113 (6): 559–566. Дои:10.2307/27641983. JSTOR  27641983. МИСТЕР  2231143.
  2. ^ Глухов, М. М .; Нагорный, Н. М. (2004). «Андрей Андреевич Марков (к 100-летию со дня рождения)». Diskrete Math. Приложение. 14 (1): 1–6. Дои:10.1515/156939204774148776. МИСТЕР  2069985.
  3. ^ Новый вид науки [1]
  4. ^ а б Новый вид науки [2]

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