Мы используем файлы cookies для улучшения работы сайта НИУ ВШЭ и большего удобства его использования. Более подробную информацию об использовании файлов cookies можно найти здесь, наши правила обработки персональных данных – здесь. Продолжая пользоваться сайтом, вы подтверждаете, что были проинформированы об использовании файлов cookies сайтом НИУ ВШЭ и согласны с нашими правилами обработки персональных данных. Вы можете отключить файлы cookies в настройках Вашего браузера.

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

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

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

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

Новости

Borja Sierra Miranda (University of Bern) выступит с докладом на семинаре НУГ "Доказательства и модели"

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 г.

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

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

Еще новости