然后又说道：“这是最重要的问题了，你且听好。”
王崎见他说得郑重，忍不住咽了口唾沫。
“所谓算学，完备乎？相容乎？可判定乎？”
啊？王崎明显愣了一下。
这个问题和前面两个差太多了吧！
数学是完备的吗？是不是每个命题都能证明或证伪？
数学是相容的吗？是否用附和逻辑的步骤和顺序，永远不会退出相矛盾的命题？
数学是可判定的吗？是否能用一种机械的方法判定每一个命题的真伪？
这三个问题每一个都直击数学的根本，每一个都是逻辑学领域最高深的问题！
这种问题出现在高考性质的问心关之中？这就像让高中生来解规范场方程一样，是不可能的事情啊！
等一等，由于两个世界的历史已经出现分歧，哥德尔的同位体并没有出现在神州大地，所以目前来看前两个问题都是无解的……第三个问题在地球是阿兰·图灵解决的，但是……现在我还没有学到那边去，也不知道神州的机老图灵是不是解决判定问题——不对，在地球判定性问题的灵感同样来自哥德尔……
也就是说这个纯粹是信仰问题？
王