RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ


Спецсеминар Л. Д. Беклемишева "Теория доказательств"
10 сентября 2013 – 31 мая 2014 г., МИАН, комн. 313 (ул. Губкина, 8), г. Москва

Семинар посвящен вопросам математической логики, связанным с изучением формальных систем, независимых математических утверждений, сложности выводов, формальной арифметике, логике доказуемости и другим.
Предполагается подробный разбор некоторых современных работ по данной тематике силами наиболее продвинутых участников.
В частности, в осеннем семестре предполагается изучение недавней серии работ Альберта Виссера, посвященных интерпретируемости и инвариантным формулировкам второй теоремы Гёделя о неполноте.


RSS: Ближайшие семинары

Руководитель
Беклемишев Лев Дмитриевич

Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва

 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017