Русская Википедия:Беклемишев, Лев Дмитриевич

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Значения Шаблон:Учёный Шаблон:External media Лев Дми́триевич Беклеми́шев (род. 17 сентября 1967, Москва) — российский Шаблон:Математик, доктор физико-математических наук (1998), академик РАН (2019), специалист в области математической логики.

Биография

Родился 17 сентября 1967 года в Москве в семье преподавателей МФТИ Д. В. Беклемишева и Л. А. Беклемишевой. Внук академиков А. И. Мальцева и В. Н. Беклемишева.

В 1989 году окончил кафедру математической логики и теории алгоритмов механико-математического факультета МГУШаблон:Sfn.

В 1989—1992 годах учился в аспирантуре Математического института им. В. А. Стеклова АН СССР (МИАН)Шаблон:Sfn. В 1992 году защитил кандидатскую диссертацию по теме: «Классификация пропозициональных логик доказуемости». В 1998 году защитил докторскую диссертацию по теме: «Схемы рефлексии в формальной арифметике».

С 1992 года — сотрудник МИАНШаблон:Sfn.

В 2000—2005 году работал в Утрехтском университете. С 2004 года — профессор кафедры математической логики и теории алгоритмов МГУШаблон:Sfn.

По состоянию Шаблон:На — заместитель директора по научной работе и главный научный сотрудник МИАН, преподаёт математику одновременно на:

  • факультете математики НИУ ВШЭШаблон:Sfn;
  • кафедре математической логики и теории алгоритмов механико-математического факультета МГУ.

Шаблон:Wikidata/Ancestors

Общественная позиция

В феврале 2022 подписал открытое письмо российских учёных и научных журналистов с осуждением вторжения России на Украину и призывом вывести российские войска с украинской территории[1].

Награды и премии

Членство в организациях

Примечания

Шаблон:Примечания

Ссылки

Шаблон:ВС Шаблон:Без указания даты смерти, включая ныне живущих