Группа создана в рамках конкурса исследовательских проектов научно-учебных групп Программы «Научный фонд НИУ ВШЭ» (НУГ).
На факультете математики ВШЭ с 2012-го года постоянно действует научно-исследовательский семинар по математической логике, на котором регулярно выступают студенты, преподаватели и приглашенные специалисты. В рамках семинара сложилась группа студентов и преподавателей, работающих в таких областях математической логики как теория доказательств, неклассические логики и теория моделей. Участников научной группы особенно интересуют вопросы, связанные с границами выполнимости второй теоремы Гёделя о неполноте, логикой доказуемости, топологической модальной логикой и формальной арифметикой.
Новости
Borja Sierra Miranda (University of Bern, Institute of Computer Science, Logic and Theory Group) выступит с докладом "Non-wellfounded master modality: from cut admissibility to cut elimination" на семинаре "Современные проблемы математической логики" 11 октября 2024 г.
Поздравляем участника НУГа "Доказательства и модели" Александра Запрягаева с успешной защитой кандидатской диссертации на тему «Интерпретации в слабых арифметических теориях» (научный руководитель: Л.Д. Беклемишев).