书中文学网

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

第451章（第2页）

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

算学会不完备？

算学怎么可能不完备？

算学必须是完备的！

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

——又是这个王崎……

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

震惊！这个男人能点化智械  是你攻略不下的女主  穿成流放文的极品小姑（穿书）  怪厨  孤手握三十万重兵，你让孤自裁？  再见，我亲爱的封先生  富婆的快乐你不懂[神豪]  [原神]为了磕cp我连天理都能推翻  穿越千年，只为遇见你！  雄虫他只想苟命[虫族]  重回86：大哥死前托妻给我  风刃之芒  妻调令  开局被女土匪看中，我占山为王  我靠拾荒称霸三界  七零夜校女教师  魂穿七零，这个世界我要做大女主  夫君热衷于给我捧场  十二鬼月横滨结仇日常  穿成大佬假妹妹