Словарь по логике

Марков

Андрей Андреевич Марков (1903 -1979): Советский математик и логик, сын русского математика А.А. Маркова (1856 – 1922), создатель конструктивной математики. В 1924 закончил физическое отделение физико-математического факультета Петроградского университета. Работал в Государственном физико-техническом институте. Работы этого времени – по химии, теоретической физике и прикладной геофизике, занимается прикладной математикой. В 1935 без защиты диссертации присуждена докторская степень. Руководил Ленинградским отделением Математического института им. В.А. Стеклова. С 1953 – член-корреспондент АН СССР. С 1955 – в Москве. Организовывает кафедру математической логики на механико-математическом факультете МГУ и лабораторию математической логики и структуры машин в Вычислительном центре АН СССР.
Ввел термин и понятие нормального алгоритма (сейчас – нармальные алгоритмы Маркова). Уточнил понятия абстракции отождествления и абстракции потенциальной осуществимости.
Логико-математические сочинения: Теория алгорифмов (1954), Об одном принципе конструктивной математической логики (1956), Математическая логика и вычислительная математика (1957), Математическая логика (1960), О некоторых алгорифмах, связанных с системами слов (1963), О конструктивной математике (1962).