неполнота

Как работает доказательство Гёделя

Как работает доказательство Гёделя

Его теоремы о неполноте разгромили поиск математической теории всего. Почти сто лет спустя мы всё ещё пытаемся осмыслить последствия этого. В 1931 году австрийский логик Курт Гёдель провернул, вероятно, один из самых потрясающих интеллектуальных трюков в истории. Математики той эпохи…
Читать дальше