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

БЕКЛЕМИШЕВ ЛЕВ ДМИТРИЕВИЧ (р. 17.09.1967), математик.
 
Окончил механико-математический факультет МГУ (1989). Ученик С.И. Адяна, С.Н. Артёмова.
Кандидат физико-математических наук (1992, «Классификация пропозициональных логик доказуемости»). Доктор физико-математических наук (1998, «Схемы рефлексии в формальной арифметике»).
Академик отделения математических наук (математика) РАН (2019, член-корреспондент с 2006).
 
Профессор кафедры математической логики механико-математического факультета (2004–н.вр.).
 
Научная и педагогическая деятельность. В сфере научных интересов математическая логика, теория доказательств, формальная арифметика, логика доказуемости, модальная логика.
Получил полную классификацию пропозициональных логик доказуемости, то есть модальных логик, выражающих совокупность свойств доказуемости в некоторой формальной теории T, которые можно обосновать средствами некоторой другой теории U, при варьировании T и U в классе арифметических теорий. Исследовал фрагменты формальной арифметики Пеано, задаваемые схемами индукции ограниченной кванторной сложности без параметров. Получил описания классов вычислимых функций, определённость которых при всех значениях аргумента может быть установлена в рамках таких теорий. Предложил алгебраический подход к анализу формальных теорий на основе алгебр доказуемости. Установил топологическую полноту полимодальной логики доказуемости.
Сотрудник Математического института имени В.А. Стеклова РАН. Преподаватель в НИУ Высшая школа экономики.
 
Литература: Л.Д.Беклемишев. РАН; Л.Д.Беклемишев. Научная Россия.