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

БЕКЛЕМИШЕВ ЛЕВ ДМИТРИЕВИЧ (р. 17.09.1967), математик.

 

Окончил механико-математический факультет МГУ (1989). Ученик С.И. Адяна, С.Н. Артёмова.

Кандидат физико-математических наук (1992, «Классификация пропозициональных логик доказуемости»). Доктор физико-математических наук (1998, «Схемы рефлексии в формальной арифметике»).

Академик отделения математических наук (математика) РАН (2019, член-корреспондент с 2006).

 

Профессор кафедры математической логики механико-математического факультета (2004–н.вр.).

 

Научная и педагогическая деятельность. В сфере научных интересов математическая логика, теория доказательств, формальная арифметика, логика доказуемости, модальная логика.

Получил полную классификацию пропозициональных логик доказуемости, то есть модальных логик, выражающих совокупность свойств доказуемости в некоторой формальной теории T, которые можно обосновать средствами некоторой другой теории U, при варьировании T и U в классе арифметических теорий. Исследовал фрагменты формальной арифметики Пеано, задаваемые схемами индукции ограниченной кванторной сложности без параметров. Получил описания классов вычислимых функций, определённость которых при всех значениях аргумента может быть установлена в рамках таких теорий. Предложил алгебраический подход к анализу формальных теорий на основе алгебр доказуемости. Установил топологическую полноту полимодальной логики доказуемости.

Сотрудник Математического института имени В.А. Стеклова РАН. Преподаватель в НИУ Высшая школа экономики.

 

Литература: Л.Д.Беклемишев. РАН; Л.Д.Беклемишев. Научная Россия.