第729章 人与神的界限（1 / 7）

连续统问题是希尔伯特第一问，另一个问题是关于可判定性的。

在有限的时间内，是否总有可能找到一个步步推进的程序，对一个给定的数学命题的真伪进行判断。

哥德尔不完备定理粉碎了这种可判定性。

它证明了在任何逻辑统一且大到能够包含所有算法规则的公理体系中，总有一些数学事实无法被证明。

但哥德尔不完备定理依旧给数学命题是否可证留下了一道门。

虽然每一个自洽的公理系统中都存在不可被证明的数学事实，但能否找到一系列的步骤或算法，来判定任何给定的数学命题是否可证。

就像是哥德尔在证明不完备定理时做的那样，证明一个数学命题的不可证明性。

关上这扇门的是图灵和图灵机的停机问题。

没有一种通用的算法可以判定所有的输入结果是否会出现停机，希尔伯特判定问题无法被解决。

无论一个程序多么巧妙，在任何情况下，它都无法计算出其他程序是否会终止。

许多数学事实不仅不可证明，甚至连它们是否可以被证明都无法确定。

这些问题就被称为不可判定问题。

在数学中，证明命题的难度分为几个等级。

有些命题有短的公理性证明，它们的证明简洁美丽。

在现代计算机出现之前得到证明的命题都是这一类，也是大部分人所熟知的证明。

有些命题没有短的公理性证明，但采用计算之后有短证明，比如四色定理。

有些命题就算用上了计算，也还是只有长证明，不可能在一块黑板上用粉笔写下完整的证明。

并不是所有的数学问题都很简单，能做的证明都能在几页纸内写完。

『我有一个绝妙的证明，但空白处太少，我写不下』