Философская энциклопедия - марков

МАРКОВ

Андрей Андреевич [р. 9(22).9.1903, Петербург,— 11.10.1979, Москва], сов. математик и логик, чл.-корр. АН СССР (1953). Чл. КПСС с 1953. Осн. тру-ды по топологии, топологич. алгебре, теории динамич-систем, теории алгорифмов и конструктивной математике. Основатель отечеств. конструктивного направл-ления. Ввёл понятие нормального алгорифма.

Теория алгорифмов, М,— Л., 1954 (Труды Математич. института АН СССР, т. 42); О логике конструктивной математики, M., 1972.

H а г o p н ы й H. M., III а н и н, ?, ?., ?. ?. ?., «Успехи математич. наук», 1964, т. 19), в. 3 (117).

Философский энциклопедический словарь.