Андрей Марков мл.
Андрей Андреевич Марков ( русский : Андре́й Андре́евич Ма́рков ; 22 сентября 1903, Санкт-Петербург — 11 октября 1979, Москва ) — советский математик , сын российского математика Андрея Маркова-старшего и один из ключевых основателей российской школы конструктивных вычислений. математика и логика. Он внес выдающийся вклад в различные области математики, включая дифференциальные уравнения , топологию , математическую логику и основы математики . [1] [2]
Его имя, в частности, связано с принципом Маркова и правилом Маркова в математической логике, теоремой Маркова в теории узлов и алгоритмом Маркова в теоретической информатике . Важным результатом, который он доказал в 1947 году, было то, что проблема слов для полугрупп неразрешима; Эмиль Леон Пост независимо друг от друга примерно в то же время получил тот же результат. В 1953 году он стал членом Коммунистической партии .
что классификация четырёхмерных многообразий неразрешима В 1960 году Марков получил фундаментальные результаты, показывающие , : не существует общего алгоритма для различения двух произвольных многообразий с четырьмя и более измерениями. Это связано с тем, что четырехмерные многообразия обладают достаточной гибкостью, чтобы позволить нам встроить в их структуру любой алгоритм. Следовательно, классификация всех четырехмногообразий будет означать решение проблемы остановки Тьюринга . Встраивание подразумевает неспособность создать соответствие между алгоритмами и индексацию (естественно, неисчислимую, но даже большую) структуры четырёх многообразий. Неудача в смысле Кантора. Индексирование осуществляется в смысле Геделя. Этот результат имеет глубокие последствия для ограничений математического анализа.
Среди его докторантов Борис Кушнер , Геннадий Маканин и Николай Шанин .
Награды и почести [ править ]
- Медаль «За доблестный труд в Великой Отечественной войне 1941–1945 годов» (1945 г.).
- Орден «Знак Почета» (1945).
- Медаль «За оборону Ленинграда» (1946 г.).
- Орден Ленина (1954 г.)
- Орден Трудового Красного Знамени (1963 г.).
Примечания [ править ]
- ^ Кушнер, Борис А (2006). «Конструктивная математика А. А. Маркова». амер. Математика. Ежемесячно . 113 (6): 559–566. дои : 10.2307/27641983 . JSTOR 27641983 . МР 2231143 .
- ^ Глухов, М.М.; Нагорный, Н.М. (2004). «Андрей Андреевич Марков (к столетию со дня рождения)». Дискретная математика. Приложение . 14 (1): 1–6. дои : 10.1515/156939204774148776 . МР 2069985 . S2CID 120486293 .
Внешние ссылки [ править ]
- 1903 рождения
- 1979 смертей
- Русские математики XX века.
- Математики из Санкт-Петербурга
- Преподавательский состав Санкт-Петербургского государственного университета
- Члены-корреспонденты Академии наук СССР.
- Члены Коммунистической партии Советского Союза
- Кавалеры ордена «Знак Почета».
- Кавалеры ордена Ленина
- Кавалеры ордена Трудового Красного Знамени.
- Математические логики
- Топологи
- советские логики
- Советские математики
- Математик незавершенный
- Захоронения на Кунцевском кладбище.
- Российские учёные