三界文学阁

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

第451章（第2页）

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

算学会不完备？

算学怎么可能不完备？

算学必须是完备的！

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

——又是这个王崎……

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

时光请善待我的她  一爱到底之顾少毒妻  烈火燃情：高冷总裁滚远点  扛着boss拼下限（末世）  最强除妖师  直播和男神同居的日子  娱乐超级奶爸  断神  赌妃在上，王爷在下  我是狠人大帝的同乡  大明孤狼  神偷长公主  眼镜兄撞上恶魔王子  悍妻[医道]  穿越之弃子国师  废材重生：邪王独宠悍王妃  天地炼成  系统之娇宠孕妻  捡到病娇太子之后（重生）  天黑请开眼