”还在这个世界成立,那么,它的地位就无可撼动!
“也该出现在这个世界了。”王崎深吸一口气:“哥德尔不完备定律……”
哥德尔不完备定律,在地球那个世界,击碎所有数学家幻想、打破人类数学神圣性的东西。
曾经的数学家,都有着这样的梦“在保证数学一致性这个前提之下,如果又有了数学的完备性,也就是说任何一个数学命题都可以被证明或者被证伪”。对于任意一个数学猜想,不管它有多难,只要假以时日,通过一代又一代人的努力,总是可以知道这个猜想对不对,并且证明或证伪它。
换句话说,在数学中,通过逻辑,人们能够知道任何事情,这只不过是个时间问题。
即使那个目标是“道”,是“终极”。
这也就是所谓的“我们必须知道,我们必将知道”。
但是现在,王崎将要写出的两道理论,将会击碎这个尚存于神州的美梦。
我们永远无法证明,一个超过一阶的、复杂的集合论规则是自洽的。
任何相容的形式体系,都无法证实自身的相容性。
这就是哥德尔的两条不完备定律。
人类的逻辑,实际上是不自洽