Марков, Андрей Андреевич
Марков, Андрей Андреевич
— современный математик; род, 2 июня 1856 г. в г. Рязани; первоначальное образование получил в V СПб. гимназии и в 1874 г. поступил в СПб. университет на математический разряд физико-математического факультета; получив в 1878 г. степень кандидата, оставлен при университете для подготовления к должности профессора. В том же году совет университет наградил молодого ученого золотой медалью за рассуждение: "Об интегрировании дифференциальных уравнений при помощи непрерывных дробей". В 1880 г. М. получил степень магистра за диссертацию "О бинарных квадратичных формах положительного определителя", после чего начал читать лекции по чистой математике в качестве приват-доцента. Степень доктора М. получил в 1885 г. за диссертацию "О некоторых приложениях алгебраических непрерывных дробей". В 1886 г. М. назначен экстраординарным профессором и избран Имп. академией наук в адъюнкты по математике, в 1890 г. избран экстраординарным академиком, а в 1893 г. назначен ординарным профессором СПб. университета. М. напечатал до 30 трудов, из которых многие переведены на иностранные языки; важнейшие труды, кроме упомянутых уже диссертаций, суть: "Доказательство трансцендентности чисел е и π" (1883), "Доказательство сходимости многих непрерывных дробей" ("Сообщения Харьковского Мат. Общ.", 1885), "О распределении корней некоторых уравнений" (там же), "О дифференциальном уравнении гипергеометрического ряда" (1886), "Table des valeurs de l'intégrale
{Брокгауз}
♦
Марков, Андрей Андреевич
[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.
Большая биографическая энциклопедия