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

Адрес: 119048, Москва,
ул. Усачёва, 6

тел. (495) 916-89-05
тел. (495) 772-95-90 *12720
тел. (495) 772-95-90 *12726 (декан)
E-mail: math@hse.ru

Учебный офис:
mathstudyoffice@hse.ru
тел. (495) 624-26-16
тел. (495) 772-95-90 *12712

Руководство

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

Заместитель декана по учебной работе Артамкин Игорь Вадимович

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

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

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

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


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

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

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

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

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

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

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