Главная
Новости
Статьи
Строительство
Ремонт
Дизайн и интерьер
Строительная теплофизика
Прочность сплавов
Основания и фундаменты
Осадочные породы
Прочность дорог
Минералогия глин
Краны башенные
Справочник токаря
Цементный бетон




02.12.2022


29.11.2022


28.11.2022


27.11.2022


25.11.2022


25.11.2022


24.11.2022





Яндекс.Метрика

Беклемишев, Лев Дмитриевич

01.11.2022


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

Биография

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

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

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

С 1992 года — сотрудник МИАН.

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

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

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

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

  • 1994 — лауреат премии Московского математического общества для молодых учёных за работу «О классификации пропозициональных логик доказуемости».
  • 1998 — обладатель стипендии Гумбольдта.

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

  • Член Европейского комитета Ассоциации символической логики (ASL).
  • 2006 — член-корреспондент РАН по Отделению математических наук.
Имя:*
E-Mail:
Комментарий: