Беклемишев, Лев Дмитриевич
| Лев Дмитриевич Беклемишев | |
|---|---|
| Дата рождения | 17 сентября 1967 (57 лет) |
| Место рождения | |
| Страна |
 СССР Россия |
| Род деятельности | математик |
| Научная сфера | математика |
| Место работы | Математический институт имени В. А. Стеклова РАН |
| Альма-матер | мехмат МГУ |
| Учёная степень | д.ф.-м.н. |
| Учёное звание | академик РАН (2019) |
| Научный руководитель | Сергей Адян[1] и Сергей Николаевич Артёмов[1] |
Лев Дми́триевич Беклеми́шев (род. 17 сентября 1967, Москва) — российский математик, доктор физико-математических наук (1998), академик РАН (2019), специалист в области математической логики.
Биография
[править | править код]Родился 17 сентября 1967 года в Москве в семье преподавателей МФТИ Д. В. Беклемишева и Л. А. Беклемишевой. Внук академиков А. И. Мальцева и В. Н. Беклемишева.
В 1989 году окончил кафедру математической логики и теории алгоритмов механико-математического факультета МГУ[2].
В 1989—1992 годах учился в аспирантуре Математического института им. В. А. Стеклова АН СССР (МИАН)[3]. В 1992 году защитил кандидатскую диссертацию по теме: «Классификация пропозициональных логик доказуемости». В 1998 году защитил докторскую диссертацию по теме: «Схемы рефлексии в формальной арифметике».
С 1992 года — сотрудник МИАН[3].
В 2000—2005 году работал в Утрехтском университете. С 2004 года — профессор кафедры математической логики и теории алгоритмов МГУ[2].
По состоянию на 2023 год — заведующий отделом математической логики и главный научный сотрудник МИАН, преподаёт математику одновременно на:
- факультете математики НИУ ВШЭ[3];
- кафедре математической логики и теории алгоритмов механико-математического факультета МГУ.
Общественная позиция
[править | править код]В феврале 2022 подписал открытое письмо российских учёных и научных журналистов с осуждением вторжения России на Украину и призывом вывести российские войска с украинской территории[4].
Награды и премии
[править | править код]- 1994 — лауреат премии Московского математического общества для молодых учёных за работу «О классификации пропозициональных логик доказуемости».
- 1998 — обладатель стипендии Гумбольдта.
Членство в организациях
[править | править код]- Член Европейского комитета Ассоциации символической логики (ASL).
- 2006 — член-корреспондент РАН по Отделению математических наук.
Примечания
[править | править код]- ↑ 1 2 Mathematics Genealogy Project (англ.) — 1997.
- ↑ 1 2 Летопись МГУ: Лев Дмитриевич Беклемишев.
- ↑ 1 2 3 Сайт НИУ ВШЭ: Лев Дмитриевич Беклемишев.
- ↑ Открытое письмо российских ученых и научных журналистов против войны с Украиной. Архивировано 25 апреля 2022 года.
Ссылки
[править | править код]- Профиль Льва Дмитриевича Беклемишева на официальном сайте РАН
- Страница на сайте МИАН.
- Лев Дмитриевич Беклемишев. НИУ ВШЭ. Дата обращения: 16 ноября 2020.
- Лев Дмитриевич Беклемишев. Летопись МГУ. Дата обращения: 16 ноября 2020.
 | ||||
|---|---|---|---|---|
- Родившиеся 17 сентября
- Родившиеся в 1967 году
- Родившиеся в Москве
- Выпускники механико-математического факультета МГУ
- Доктора физико-математических наук
- Действительные члены РАН
- Персоналии по алфавиту
- Учёные по алфавиту
- Математики по алфавиту
- Математики России
- Математики XX века
- Математики XXI века
- Беклемишевы (научная династия)
- Логики России
- Сотрудники МИАН
- Преподаватели механико-математического факультета МГУ
- Преподаватели ВШЭ