Новая научно-учебная группа «Доказательства и модели»
На факультете математики создана новая научно-учебная группа, участники которой занимаются исследованиями по математической логике.
В группу вошли Л.Д. Беклемишев, Д.С. Шамканов, А.В. Кудинов, А.А. Запрягаев (аспирант), Р.Э. Агамов (аспирант), А.Д. Дмитриева (4 курс бакалавриата), Г.А. Красилич (3 курс бакалавриата) и А.Е. Микрюков (2 курс бакалаврата). Особый интерес для участников группы составляют вопросы, связанные с границами выполнимости второй теоремы Гёделя о неполноте, логикой доказуемости, топологической модальной логикой и формальной арифметикой.
Участники группы планируют:
– прояснить границы феномена, связанного со второй теоремой Гёделя о неполноте, рассматривая слабые системы арифметики, в которых доказуема собственная непротиворечивость;
– продолжить изучение разрешимых теорий, в частности формальной арифметики Пресбургера и интерпретируемых в ней структур;
– продолжить изучение топологической семантики логик доказуемости, в частности понять некоторые известные теоретико-множественные конструкции задания больших кардиналов в терминах оператора топологической производной на пространстве ординалов;
– изучить логические вопросы, связанные с интерпретациями элементарной геометрии Тарского.
Поздравляем наших коллег, студентов и аспирантов с созданием группы!