Марков

Марков, Андрей Андреевич

[09(22).09.1903 - 1979] - математик и логик; д-р физико-матем. наук (с 1935). Занимал должность проф. ЛГУ (с 1936), зав. кафедрой матем. логики Моск. ун-та (с 1959). Чл.-корр. АН СССР (1953). В целях создания общего подхода к массовым проблемам М. в конце 40-х гг. предложил уточнение понятия алгоритма ("нормальные алгорифмы" М.), получил важные результаты, относящиеся к невозможности нек-рых алгорифмов в теории ассоциативных систем и целочисленных матриц. На основе понятия нормального алгорифма М. в конце 40-х - начале 50-х гг. построил и детально разработал первую общую теорию алгорифмов. М. в четкой форме ввел понятие об абстракции отождествления и абстракции потенциальной осуществимости в математике и логике. М. - основатель отеч. конструктивного направления, опирающегося на особую конструктивную логику, использующую выдвинутый М. принцип конструктивного подбора. М. получены результаты в обл. проблемы минимизации средств представления функций алгебры логики. Им предложено определение кибернетики как общей теории причинных сетей, изучающей их с точностью до изоморфизма. (См."ФЭ". Т.3. С.299.)

Соч.: Теория алгорифмов // Труды Математического ин-та им. ВА.Стеклова. Т.38. М., 1951; Теория алгорифмов // Там же. Т.42. М., 1954; Логика математическая // БСЭ. 2-е изд. Т.25. М., [1954]; Об одном принципе конструктивной математической логики // Труды 3 Всесоюзного математического съезда. Т.2. М., 1956; О некоторых алгорифмах, связанных с системами слов // Известия АН СССР. Сер."Математика". 1963. Т.27. № 1.