• 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 *12713

ДПО факультета математики:
dpo-math@hse.ru

Руководство
Научный руководитель Ландо Сергей Константинович
Заместитель декана по административной работе Балаева Светлана Васильевна
Заместитель декана по по научной работе Горбунов Василий Геннадьевич
Заместитель декана по учебной работе Колесников Александр Викторович
Заместитель декана по работе с абитуриентами Пятов Павел Николаевич

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

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


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

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

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

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

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

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

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