GEB, стр. 68–69
Надежда для Типографской Теории Чисел:
Множество ложных утверждений =
(1) негативное пространство теорем, или
(2) отрицания теорем
"Однако эта надежда окажется напрасной..."
🌀 Предвестие теоремы Гёделя: не все системы рекурсивны.
GEB, стр. 68–69
Надежда для Типографской Теории Чисел:
Множество ложных утверждений =
(1) негативное пространство теорем, или
(2) отрицания теорем
"Однако эта надежда окажется напрасной..."
🌀 Предвестие теоремы Гёделя: не все системы рекурсивны.