Онлайн-лекция Александра Шеня в НИУ ВШЭ «Всякую ли истину можно доказать, или еще раз о теореме Гёделя»
Теорема Гёделя — одна из самых знаменитых теорем, о ней говорят многие философы, писатели, учёные. Но знают формулировку (и доказательство) меньше народу — хотя есть и популярные книжки, и видеолекции. Мы попытаемся ещё раз обсудить формулировку и (стандартное) доказательство с использованием неразрешимости проблемы остановки.
Регистрация