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

На факультете математики создана новая научно-учебная группа, участники которой занимаются исследованиями по математической логике.

В группу вошли Л.Д. Беклемишев, Д.С. Шамканов, А.В. Кудинов, А.А. Запрягаев (аспирант), Р.Э. Агамов (аспирант), А.Д. Дмитриева (4 курс бакалавриата), Г.А. Красилич (3 курс бакалавриата) и А.Е. Микрюков (2 курс бакалаврата). Особый интерес для участников группы составляют вопросы, связанные с границами выполнимости второй теоремы Гёделя о неполноте, логикой доказуемости, топологической модальной логикой и формальной арифметикой.  

Участники группы планируют: 

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

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

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

–  изучить логические вопросы, связанные с интерпретациями элементарной геометрии Тарского.

 Поздравляем наших коллег, студентов и аспирантов с созданием группы!