第720章 人与神的界限

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

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

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

...