Выборы в Российскую академию наук 2019

главнаякандидатыутвержденные кандидаты

<< Вернуться назад (Отделение математических наук РАН)

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

Главный научный сотрудник, заместитель директора но научной работе ФГБУН Математического института им. В.А. Стеклова РАН (г. Москва), член-корреспондент РАН, доктор физико-математических наук, премия Московского математического общества для молодых учёных

Беклемишев Л.Д. – специалист в области математической логики, автор 79 научных работ, из них 1 монография, в том числе после избрания членом-корреспондентом РАН в 2006 г. 31 научная работа.

Основные научные результаты Беклемишева Л.Д.:

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

исследованы фрагменты формальной арифметики Пеано, задаваемые схемами индукции ограниченной кванторной сложности без параметров, получены описания классов вычислимых функций, определенность которых при всех значениях аргумента может быть установлена в рамках таких теорий;

предложен алгебраический подход к анализу формальных теорий на основе алгебр доказуемости;

установлена топологическая полнота полимодальной логики доказуемости.

Беклемишев Л.Д. ведет преподавательскую работу на механико-математическом факультете МГУ, на факультете математики НИУ ВШЭ и в рамках научно-образовательного центра МИАН.

Беклемишев Л.Д. – член экспертного совета ВАК (с 2006 г.), член диссертационных советов в МИАН, МГУ и НИУ ВШЭ, член редколлегии журналов "Известия Российской академии наук. Серия математическая" и "Archive for Mathematical Logic", организатор ряда международных конференций в России и за рубежом.

Беклемишев Л.Д. выдвинут кандидатом в академики РАН по Отделению математических наук РАН по специальности "математика" Ученым советом ФГБУН Математического института им. В.А. Стеклова РАН.