第一百八十章 两宗分歧的末路？（1/2）

「算学……不完备？」听到这句话之后，薄筱雅的第一反应就是——你特么在逗我？

算学会不完备？

算学怎么可能不完备？

算学必须是完备的！

即使是算学观念上与算主截然不同之人，也同意他那句「吾等必将知晓，吾等必须知晓」的名言。

对于算主及其追随者来说，算学必须是完备的，也必须是具有一致性。在这些修士的眼中，算学的本体，是算符组合而成的「形式」。每一个通过算符组成的陈述，都可以进行「正确」或者「错误」的判定，正确的陈述一定可以用另一种算符组合加以证明。另外，一个陈述，永远只有「正确」或「错误」两种判断。不可能存在所谓的「既正确又错误」或者「不正确也不错误」的情况。

完备性，一致性，可判定性，就是算主，以及歌庭派信念的根基。

而对于一般的算学家来说，这一部分虽然必然的，但是他们直观的就这么觉得——算学一定是完备的。

那些穷究物质流转之规律的修士已经无数次惊异的发现，他们在想着某一个个领域发起进攻的时候，万法门的算家们早就为他们备好了「求道之器」——算学的公式。从最早的元力宗，到归一盟，再到如今的缥缈宫，这些通过实证探究天地的门派，一直在向万法门提供越来越多的公式——源自天地万物、道法自然的精妙公式。这些公式反哺了算学的发展。

在万法门的修士看来，宇宙间的一切，无不毕恭毕敬的沿着算学的规律运动。

你说算学不完备，也就是在说，这个天地有残缺，这个天道有问题咯？

薄笑风比自己妹妹更加稳重一些。他按住苏君宇的肩膀，渡过一道内气去：「苏君宇，稳固心神，谨防心魔滋生……」

另外一边，一个阳神阁的宗师坐不住了，跑过来问道：「需要帮忙吗？」

苏君宇笑了笑，挥开薄笑风的手，对着那比特神宗师一礼，道：「弟子很好，劳烦这位师叔了。」

在将那位阳神阁的修士全走之后，苏君宇目光灼灼，道：「我没疯，我只是在阐述一个可能性而已。」

「可能性？你管这个叫做『可能性』？」薄笑风皱眉：「你疯了？这有可能？」

「在完备性被证明之前，谁也不能否认这种可能性。」苏君宇认真的说道：「我们至始至终都不知道……」

「这就是信了离宗的结果啊。」索文虹嫌恶的皱起眉头：「这纯粹就是……就是……」

对于连宗弟子来说，有些东西就是不言自明的，容不得否认。

对于离宗弟子来说，有些东西是必然的，只是还没有被证明，不可以否认。

唯有这一点上，离宗和连宗的观点一直。

秦川和也皱起眉头：「证明呢？」

苏君宇耸耸肩：「暂时，还没有。」

「还没有，你就敢说这种话……」

「反正也不是什幺正式场合」苏君宇无所谓。

薄笑风则是好奇：「苏君宇，你到底是个什么思路？」

「我在想，这次学习，肯定就是为了对新理论做铺垫或者缓冲。可是，我们现在学习的，都是一些『公理化』或者『公理系统完备性证明』。这些东西，不说一两百年前吧，就好几年前，就又有新的突破了。这绝对称不上什么颠覆性的东西。」苏君宇缓缓道：「既然我们正在学习的东西，不是那颠覆性的内容本身，那就一定是那颠覆性内容的前置，或者说可以抵消那个颠覆性内容冲击性的东西。」

薄笑风点点头，表示苏君宇这一段话说得在理。

「既然那个颠覆性的理论，一定和我们这几天所学的东西有关的话，那么从我们这几天学的东西出发思考，就比较简单了。」

「而你们注意到没有，我们所学的东西有个特点——它们都是『某一个思想』的产物，都是为了绕过『某一道高墙』所做的取巧之法。」

薄筱雅立刻就反应过来了：「王崎师兄七年之前说过的思路……这个取巧为为了……为了绕过多阶逻辑完备性的证明！」

——又是这个王崎……

秦川和的眉头不自觉的皱起：「我们所学的东西是绕过多阶逻辑完备性证明的取巧之法，所以你就猜测算学不完备？你怎么不说是完备性得到了证明？」

「如果完备性得到了证明的话，那这些东西都没有任何意义！」苏君宇反驳道：「而且算学完备，和我们任何人的直观感受都不矛盾！那就不算是『颠覆』了！」

索文虹摇了摇头：「不可理喻」

秦川和则低吼道：「证明！这个想法，你必须给出证明！」

这场谈话到最后，几乎所有人都是带着愤懑离开的。而苏君宇的眉头则再一次深深皱起。

是啊……证明，必须给出证明……

本章未完，点击下一页继续阅读。