Марков, Андрей Андреевич (младший)

Статья на основе материалов из Википедии

{{Учёный |Имя = Андрей Андреевич Марков |Изображение = Марков, Андрей Андреевич (младший).jpg |Ширина = 250px |Описание изображения = |Дата рождения = 22.9.1903 (9) |Место рождения = , Российская империя |Дата смерти = 11.10.1979 |Место смерти = , РСФСР, СССР |Гражданство = |Научная сфера = математика |Место работы = ЛГУ; МГУ; ВЦ АН СССР;
Математический институт им. В. А. Стеклова АН СССР |Учёная степень = |Учёное звание = |Альма-матер = Ленинградский государственный университет |Научный руководитель = |Знаменитые ученики = А. Г. Драгалин, Б. А. Кушнер,
Н. М. Нагорный, Г. С. Цейтин,
Н. А. Шанин |Известен как = основоположник советской школы конструктивной математики |Награды и премии = {| style="background:transparent" | || || |- | || |} |Роспись = |Ширина росписи = |Сайт = |Викитека = }} Андре́й Андре́евич Ма́рков (, Санкт-Петербург — 11 октября 1979, Москва) — советский , сын известного русского математика А. А. Маркова, основоположник советской школы конструктивной математики[1].

Биография

Окончил Восьмую Петроградскую гимназию в 1919 году; Ленинградский государственный университет в 1924 году; аспирантуру в Астрономическом институте в Ленинграде в 1928 году.

Учёная степень доктора физико-математических наук присвоена без защиты диссертации в 1935 году. Член-корреспондент АН СССР с 1953 года, в том же году вступил в КПСС.

В 1933—1955 годах работал в Ленинградском университете (с 1936 г. — профессор): с 1936 по 1942 год и с 1943 по 1953 год — заведующий кафедрой геометрии. До июля 1942 года находился в блокадном Ленинграде.

С 1959 по 1979 год — заведующий кафедрой математической логики Московского государственного университета.

Одновременно в 1939—1972 работал в Математическом институте имени Стеклова АН СССР.

В 1950-х годах создал в Вычислительном Центре АН СССР лабораторию математической логики и структуры машин, которой руководил около двадцати лет.

В 1968 году подписал «Письмо 99».

Писал стихи (опубликованы в журнале «Звезда». — 2001. — № 12)[2].

Научный вклад

Основные труды — по теории динамических систем, топологии, топологической алгебре, теории алгоритмов и конструктивной математике.

Доказал неразрешимость проблемы равенства в ассоциативных системах (1947), проблемы гомеоморфии в топологии (1958), создал школу конструктивной математики и логики в СССР, автор понятия нормального алгоритма.

Избранные труды

  • Марков А. А. Избранные труды / Сост. и общ. ред. Н. М. Нагорного. — М. : Изд-во МЦНМО, 2002 — 1 — 533 — (Математика. Механика. Физика) — ISBN 5-94057-044-5; Id, 2003 — 2 — 648 — (Теория алгорифмов и конструктивная математика ; Математическая логика ; Информатика и смежные вопросы) — ISBN 5-94057-113-1
  • Марков А. А. Метод мультинорм в теории топологических групп: докл. — Л. : тип. им. Е. Соколовой, 1944 — 1 — 200
  • Марков А. А. О логике конструктивной математики — М. : Знание, 1972 — 47 — (Новое в жизни, науке и технике. Сер.: Математика и кибернетика, № 8) — 46360
  • Марков А. А. Основы алгебраической теории кос — Л.; М. : изд-во АН СССР, 1945 — 54 — (Тр. / Математич. ин-т им. В. А. Стеклова. – Т. 16)
  • Марков А. А. Теория алгорифмов — М.; Л. : изд-во АН СССР, 1954 — 376 — (Тр. / Математич. ин-т им. В. А. Стеклова. – Т. 42) — 2500
  • Марков А. А. Элементы математической логики / Под ред. А. Г. Драгалина. — М. : изд-во МГУ, 1984 — 79 — 5660
  • Марков А. А., Нагорный Н. М. Теория алгорифмов — М. : Наука, 1984 — 432 — (Мат. логика и основания математики) || — 2-е изд., испр. и доп — М. : Фазис, 1996 — 493 — ISBN 5-7036-0020-0 — 2000
  • Марков А. А., Шульц М. М. Лекции по математической логике: Учеб. пособие — Горький, 1973 — 58 — 500

Награды

Примечания

  1. Драгалин А. Г. Математический интуиционизм. Введение в теорию доказательств — М. : Наука, 1979 — 256 — (Мат. логика и основания математики) — 6700
  2. Стихи А. А Маркова на сайте «Поэзия Московского университета»

Ссылки