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