不完全性

哥德尔的第一个不完全性定理指出，有些数学陈述既不能被证明，也不能被反驳。他的证明相当难理解——它涉及素数、因式分解，所有这些数字理论。哥德尔的证明必须很复杂，因为在1931年，计算机算法还没有真正被发明出来。 图灵机直到五年后的1936年才被发明。当证明停顿问题是不确定的——没有程序可以决定另一个项目是否会完成——哥......