连续统问题是希尔伯特第一问,另一个问题是关于可判定性的。
在有限的时间内,是否总有可能找到一个步步推进的法式,对一个给定的数学命题的真伪进行判断。
哥德尔不完备定理破坏了这种可判定性。
它证明了在任何逻辑统一且大到能够包罗所有算规则则的正义体系中,总有一些数学事实无法被证明。
但哥德尔不完备定理依旧给数学命题是否可证留下了一道门。
虽然每一个自洽的...
连续统问题是希尔伯特第一问,另一个问题是关于可判定性的。
在有限的时间内,是否总有可能找到一个步步推进的法式,对一个给定的数学命题的真伪进行判断。
哥德尔不完备定理破坏了这种可判定性。
它证明了在任何逻辑统一且大到能够包罗所有算规则则的正义体系中,总有一些数学事实无法被证明。
但哥德尔不完备定理依旧给数学命题是否可证留下了一道门。
虽然每一个自洽的...