АссистентНовый вопросИсторияОбласти знаний
Партнёрские проектыСпецпроектыСтать автором
Сменить язык
О РУВИКИ

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


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

Общие сведения
Лев Дмитриевич Беклемишев
Дата рождения 17 сентября 1967(1967-09-17) (58 лет)
Место рождения Москва
Страна  СССР
 Россия
Научная сфера математика
Место работы Математический институт имени В. А. Стеклова РАН
Образование
Учёная степень доктор физико-математических наук
Учёное звание академик РАН (2019)
Научный руководитель Сергей Адян[1] и Сергей Николаевич Артёмов[1]

Биография

Родился 17 сентября 1967 года в Москве в семье преподавателей МФТИ Д. В. Беклемишева и Л. А. Беклемишевой. Внук академиков А. И. Мальцева и В. Н. Беклемишева. В 1989 году окончил кафедру математической логики и теории алгоритмов механико-математического факультета МГУ[2].

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

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

Главный научный сотрудник и заведующий отделом математической логики МИАН[4], преподаёт математику одновременно на факультете математики НИУ ВШЭ[3] и на кафедре математической логики и теории алгоритмов механико-математического факультета МГУ.

Научная деятельность

К основным научным достижениям Л. Д. Беклемишева относятся полная классификация пропозициональных логик доказуемости, исследование фрагментов формальной арифметики, развитие ординального анализа на основе алгебр доказуемости и установление топологической полноты полимодальной логики доказуемости[5]. Учёный также сформулировал и исследовал комбинаторный «Принцип Червя».

Математик принимает активное участие в научных мероприятиях. В 2024 году он выступил с пленарным докладом на международной конференции «Алгебра и математическая логика: теория и приложения» в Казани, а в 2025 году представил доклад о второй теореме Гёделя на конференции «Формальная философия 2025»[6].

В интервью 2022 года Л. Д. Беклемишев охарактеризовал математическую логику как науку о формальных языках и «мост между математикой и гуманитарным знанием»[4].

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

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

Примечания

  1. ↑ 1 2 3 Mathematics Genealogy Project (англ.) — 1997.
  2. ↑ 1 2 Летопись МГУ: Лев Дмитриевич Беклемишев.
  3. ↑ 1 2 3 Сайт НИУ ВШЭ: Лев Дмитриевич Беклемишев.
  4. ↑ 1 2 Академик Лев Беклемишев: математическая логика — это мост между математикой и гуманитарным знанием. Scientific Russia. Дата обращения: 5 мая 2026.
  5. ↑ Беклемишев Лев Дмитриевич. Российская академия наук. Дата обращения: 5 мая 2026.
  6. ↑ Formal Philosophy 2025. HSE. Дата обращения: 5 мая 2026.

Ссылки

Дополнительно по теме

Категории