Андрей Марков-младший - Andrey Markov Jr.
Андрей Андреевич Марков ( русский : Андре́й Андре́евич Ма́рков ; Санкт-Петербург , 22 сентября 1903 г. - Москва , 11 октября 1979 г.) был советским математиком , сыном русского математика Андрея Маркова-старшего и одним из ключевых основателей русской математики. школа конструктивной математики и логики. Он внес выдающийся вклад в различные области математики, включая дифференциальные уравнения , топологию , математическую логику и основы математики .
Его имя , в частности , связано с принципом Маркова и правила Маркова в математической логике, теорема Маркова в теории узлов и алгоритма Маркова в теоретической информатике . Важный результат, который он доказал в 1947 г., заключался в неразрешимости проблемы слов для полугрупп ; Эмиль Пост получил тот же результат независимо примерно в то же время. В 1953 году он стал членом Коммунистической партии .
В 1960 году Марков получил фундаментальные результаты , показывающие , что классификация четырехмерных многообразий является неразрешимой : нет общего алгоритма не существует для различения двух произвольных многообразий с четырьмя или более измерений. Это связано с тем, что четырехмерные многообразия обладают достаточной гибкостью, чтобы позволить нам встраивать любой алгоритм в их структуру, так что классификация всех четырехмерных многообразий будет означать решение проблемы остановки Тьюринга . Этот результат имеет серьезные последствия для ограничений математического анализа.
Среди его докторантов - Борис Кушнер , Геннадий Семенович Маканин и Николай Александрович Шанин .
Заметки
Внешние ссылки
- Андрей Марков-младший в проекте « Математическая генеалогия»
 |
Эта статья о математике - незавершенная . Вы можете помочь Википедии, расширив ее . |