第一百七十二章 离宗叛徒？离宗标杆？（3 / 4）

。”

“但是，我至少知道，自己能够做什么。”

“不完备和不可判定并不是什么可怕的事情。缥缈之道证明了微观领域里，确定性丧失。但是，这对宏观的世界没有任何影响。我们依旧胜在一个有因有果的世界里。”王崎道：“我虽然证明了算学完备性和可判定性的缺失。但是，我只是证明了它们存在，却还不知道它们发生在何处。我们还远远没有触碰到算学的边缘。在已知的算学领域里，不完备和不可判定的意义不大。”

“至少在现在，我们已知的算学并没有和这个世界的客观事实产生矛盾。”

“或许，我们迟早有一天会面对这一切。就像我们想要探寻微观的世界，就不得不面对‘不确定’一样。但是，那一天不是现在。”

“那种研究过去还没有进行过，现在也还为时过早，至少现存的算学还不足以触及那个区域。我相信，当我们触及那个境界的时候，对于证明的需要早已达到意识的水平上，同时具有这种需求的技术已经发展起来——但不是现在。”

“而在这个领域之外，我们还有很多有意义的问题可以研究。比如希门二十三算之中的第五算——变天式与变换群；黎氏猜想——当我们放弃以变天式作为攻克它的利器之后，新的希望就在眼前；算王前辈的二次互反律……我们可以看到，算学依旧在进步。我们依旧可以迈步前行。”

“实际上，对于不求元算的道友来说，不完备和不可判定又或者没有都一样，对他们的工作没有任何影响。”

“而对于元算道的道友来说，我们的征途，才刚刚开始！我们还有很多事情要做！”

离宗有人不忿：“我们究竟还有什么能做的？”

——我们所追求的，已经被你摧毁。

“我完成了希前辈的问题，所以诸位就觉得没有问题可以解了吗？”王崎摇摇头。

学术界，解决问题基本上就等于“抢饭碗”。一个猜想被验证，就有无数指着这个猜想吃饭法的数学家失业。这里的这些逍遥修士，不仅仅是道心动摇，更是被夺去了为之奋斗的目标。

只不过，他王某人摘取这些目标的方式，和这些人理想的方式截然相反，所以他们一时之间无法接受。

但是……

“算主曾经说过，有问题，才说明这个学科正在发展。”王崎叹道：“不完备与不可判定，就是我暴露出的巨大问题。至于绕过这个问题的思路——其实我在六年前就说过了。”