МАРКИОНИТЫМарков 2-й

МАРКОВ

Найдено 1 определение:

МАРКОВ

Андрей Андреевич [р. 9 (22) сент. 1903 ] – сов. математик и логик. Сын выдающегося рус. математика А. А. Маркова. Д-р физико-математич. наук (с 1935), с 1936 – проф. ун-та в Ленинграде; с 1959 – зав. кафедрой математич. логики Моск. ун-та; с 1939 работает в Математич. ин-те АН СССР. Чл.-корр. АН СССР (с 1953). Член КПСС с 1951. М. получил важные результаты в области небесной механики, теории динамич. систем, теории групп. Работы М. по алгебре привели его к исследованию проблем тождества (см. Тождества проблемы) в этой области математики – проблем, являющихся частным случаем массовых проблем. В целях создания общего подхода к массовым проблемам М. в конце 40-х гг. предложил уточнение понятия алгоритма ("нормальные алгорифмы" М.) и получил важные результаты, относящиеся к невозможности нек-рых алгорифмов в теории ассоциативных систем и целочисленных матриц. На основе понятия нормального алгорифма М. в конце 40 – нач. 50-х гг. построил и детально разработал первую общую теорию алгорифмов. М. в четкой форме ввел понятия об абстракции отождествления и абстракции потенциальной осуществимости в математике и логике. М. – основатель отечеств. конструктивного направления, опирающегося на особую к о н с т р у к т и в н у ю л о г и к у, использующую выдвинутый М. принцип конструктивного подбора. На основе идей конструктивного направления М. и его ученики ведут разработку конструктивного математич. анализа. М. получены результаты в области проблемы минимизации средств представления функций алгебры логики. Им предложено определение кибернетики как общей теории причинных сетей, изучающей их с точностью до изоморфизма (см. "Проблемы кибернетики", вып. 9, 1963, с. 349–50). Соч.: Теория алгорифмов; Тр. Матем. ин-та им. В. А. Стеклова, т. 38, М., 1951; Теория алгорифмов, там же, т. 42, М., 1954; Логика математическая, БСЭ, 2 изд., т. 25, М., [1964 ]; Об одном принципе конструктивной матем. логики, Тр. 3 Всесоюзн. матем. съезда, т. 2, М., 1956, с. 146–47; Матем. логика и вычислительная математика, "Вестн. АН СССР", 1957, No 8; О конструктивных функциях. Тр. Матем. ин-та АН СССР им. Стеклова т. 52, М., 1958; Неразрешимость проблемы гомеоморфии, "Докл. АН СССР", 1958, т. 121, No 2; О подготовке кадров в области логики, в сб.: Строительство коммунизма и общественные науки, М., 1962; О конструктивной математике, Тр. Матем. ин-та им. Стеклова, т. 67, М., 1962; О некоторых алгорифмах, связанных с системами слов, "Изв. АН СССР", Сер. матем., 1963, т. 27, No 1. Лит.: Линник Ю. В. и Шанин ?. ?., А. А. Марков, "Усп. матем. наук", 1954, т. 9, вып. 1; Математика в СССР за 40 лет, т. 1–2, М., 1959, т. 1 (см. указатель), т. 2, с. 446–448 (библиография трудов М. до 1957).

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философская Энциклопедия. В 5-х т.

Найдено схем по теме МАРКОВ — 0

Найдено научныех статей по теме МАРКОВ — 0

Найдено книг по теме МАРКОВ — 0

Найдено презентаций по теме МАРКОВ — 0

Найдено рефератов по теме МАРКОВ — 0