思路客小说网

手机浏览器扫描二维码访问

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

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

算学会不完备？

算学怎么可能不完备？

算学必须是完备的！

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

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

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

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

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

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

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

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

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

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

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

“可能性？你管这个叫做‘可能性’？”薄笑风皱眉：“你疯了？这有可能？”

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

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

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

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

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

秦川和也皱起眉头：“证明呢？”

苏君宇耸耸肩：“暂时，还没有。”

“还没有，你就敢说这种话……”

“反正也不是什么正式场合”苏君宇无所谓。

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

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

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

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

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

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

——又是这个王崎……

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

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

索文虹摇了摇头：“不可理喻”

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

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

毕业就结婚吧  枫灵大陆  虐仙记  赘婿当道全文免费 阅读小说最新  穿越之我不想做驸马  为师实在是太弱了  未来之树  我真的只想做角色球员  重生乐神  流浪仙人  反派:黑化女主们，跪求我当坏人  神雕战神  我在游戏世界搞基建  黑夜之眼  我是来种地的  顾辰神武霸帝  清穿后我绑定了强国系统  跃马西凉  冷血老公太温柔  换嫁后发现质子夫君他爱我