Пахомов Фёдор Николаевич
Математический институт им. В.А. Стеклова РАН
Грант в 2012 году
С 2012 года аспирант отдела математической логики МИАН им. В. А. Стеклова.
В 2012 году на кафедре математической логики и теории алгоритмов механико-математического факультета МГУ им. М. В. Ломоносова под руководством чл.-корр. РАН Л. Д. Беклемишева защитил диплом «О разрешимости элементарных теорий алгебр доказуемости и их фрагментов».
Область научных интересов — теория доказательств, модальная логика, элементарные теории, монадические теории.
Последние новости
Даже крупные мозазавры могли жить в реках
19.01 • Анна Новиковская
Не все языковые универсалии оказались универсальными
12.01 • Георгий Куракин
Не того динозавра назвали овираптором
29.12.2025 • Анна Новиковская
Диплодоки были пятнистыми или полосатыми
17.12.2025 • Анна Новиковская
