![]() |
Новосибирский государственный университетФакультет информационных технологийСовременные проблемы информатики и вычислительной техники |
![]() А.М.Федотов |
Андрей Андреевич Марков - советский математик, основоположник советской школы конструктивной математики. Сын известного русского математика А.А.Маркова.
Автор понятия и теории нормальных алгоритмов, называемых теперь алгоритмами Маркова. Основные труды по топологии, топологической алгебре, теории динамических систем, теории алгорифмов (алгоритмов) и конструктивной математике. Доказал (независимо от Э.Поста) алгоритмическую неразрешимость некоторых задач алгебры, в частности неразрешимость проблемы тождества слов в конечно определенных полугруппах (1947), неразрешимость проблемы гомеоморфизма в топологии (1958), создал школу конструктивной математики и логики в СССР, автор понятия нормального алгорифма.
Имеет многочисленные работы в области криптографии. Наиболее известна «теорема Маркова», которая классифицирует шифры, не распространяющие искажения.
Окончил Восьмую Петроградскую Гимназию в 1919 году. Окончил Ленинградский Университет в 1924 году. Окончил аспирантуру в Астрономическом Институте (Ленинград) в 1928 году. Ученая степень доктора физико-математических наук присвоена без защиты диссертации в 1935 году. В 1933-1955 годах работал в Ленинградском университете (с 1936 года - профессор). С 1936 г. по 1942 г. и с 1944 г. по 1953 г. заведовал кафедрой геометрии Ленинградского Государственного Университета.В 1939-1972 годах работал в Математическом институте им.Стеклова АН СССР. До июля 1942 года находился в блокадном Ленинграде. С 1959 года зав. кафедрой математической логики Московского университета.
Член-корреспондент РАН по Отделению физико-математических наук, специализация «математика» с 1953 года.
Ключевые термины: теория алгоритмов; вычислимость; алгоритмы Маркова; история ит;
![]() Федотов Анатолий Михайлович |
![]() НГУ ФИТ НГУ ИВТ СО РАН |