Марков Андрей Андреевич [22.09.1903-__.__.1979] {ум.1979г.}

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

А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
Оглавление | Все источники



Поддержите культуру
ЯндексЯндекс. ДеньгиХочу такую же кнопку

Google
 
Web azdesign.ru az-libr.ru


Дата последнего изменения:
Wednesday, 23-Oct-2013 08:47:18 UTC