Л. Д. Беклемишев планирует провести 1 занятие.
Доступна видеозапись курса.
Я обсужу (без подробных доказательств) теоремы Гёделя о неполноте и попробую рассказать об некоторых примерах формальных теорий, в которых можно сформулировать и доказать утверждение о собственной непротиворечивости. В последнее время появились новые интересные примеры такого рода, но, разумеется, все они в той или иной степени экзотические.