• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Контакты

Тиморин Владлен Анатольевич
декан

 

Артамкин Игорь Вадимович
заместитель декана

 

Кузнецова Вера Витальевна
заместитель декана

 

Фейгин Евгений Борисович
заместитель декана

 

Эстеров Александр Исаакович
заместитель декана

119048, Москва,
ул. Усачёва, 6
тел. (495) 624-26-16
тел. (495) 772-95-90 *12720
тел. (495) 772-95-90 *12726 (декан)
тел. (495) 772-95-90 *12721 (учебный офис)


e-mail: math@hse.ru

Учебный офис:
mathstudyoffice@hse.ru

Редакторы сайта факультета:
Вигулис Лолита Антоновна
Кузнецова Вера Витальевна

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

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


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

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

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

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

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

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

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