第380章 地球：总有种不详的预感（3 / 6）

    罗辑自然也是知晓ZFC公理的，他重申了一遍问题：“ZFC公理只是相对自洽，你能不能证明数学是绝对自洽的?”

    传感器摇头：“我也无法绝对证明自洽，根据人类的哥德尔不完备定理，任何包含自然数算术的公理体系都无法证明自身的绝对自洽性。”

    罗辑摇头失笑，他没想到这个传感器居然用人类的理论来回答他。

    所谓的歌尔德不完备定理的意思就是：就像一本规则完整的游戏手册，无论规则写得多详尽，总有一些“游戏内的问题”，手册既无法说它对，也无法说它错。所以无法证明绝对自洽。

    罗辑用眼神示意了一下丁仪，口型似乎在说。

    ‘到你了。’

    丁仪上前一步，开始问排险者第二个问题：“大一统理论为什么没有宇称不守恒的位置。”

    排险者的回答更简单了：“宇称不守恒涉及到宇宙的镜像问题，这个问题本就不属于宇宙标准模型的解答范围，因此不在大一统理论之中，但是在超一统宇宙模型之中。”

    丁仪追问：“超一统宇宙模型?”

    排险者传感器：“统一所有宇宙的理论模型。”

    丁仪惊叹：“真有其他宇宙?”

    排险者传感器：“很抱歉，这超出我能解答的范围了，但我可以告诉你的是，与排险者相交好的归零者文明一直在致力寻求其它更适宜文明宜居的宇宙。其他宇宙存在与否，目前只存在于理论推测上。除非有文明能够得到超一统宇宙模型，否则对这个宇宙猜想既无法证实，也无法证伪。”