• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Научно-учебная группа «Доказательства и модели»

Группа создана в рамках конкурса исследовательских проектов научно-учебных групп Программы «Научный фонд НИУ ВШЭ» (НУГ).

На факультете математики ВШЭ с 2012-го года постоянно действует научно-исследовательский семинар по математической логике, на котором регулярно выступают студенты, преподаватели и приглашенные специалисты. В рамках семинара сложилась группа студентов и преподавателей, работающих в таких областях математической логики как теория доказательств, неклассические логики и теория моделей. Участников научной группы особенно интересуют вопросы, связанные с границами выполнимости второй теоремы Гёделя о неполноте, логикой доказуемости, топологической модальной логикой и формальной арифметикой.

Новости

Александр Запрягаев успешно защитил кандидатскую диссертацию

Поздравляем участника НУГа "Доказательства и модели" Александра Запрягаева с успешной защитой кандидатской диссертации на тему «Интерпретации в слабых арифметических теориях» (научный руководитель: Л.Д. Беклемишев).

Еще новости