Академия

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

академик РАН

Телефоны

Адрес электронной почты

Академические должности

Должность

Организационная структура

Дата активности

Должность

член отделения

Организационная структура

Должность

член секции

Организационная структура

Профиль

Специалист в области математической логики.

Основные научные результаты

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

Место работы и должность

ФГБУН Математический институт им. В. А. Стеклова РАН, главный научный сотрудник.