乐文书包网

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

第1065部分（第1页）

他叹息：“你们却还真是，不死心。”

“既然不周之算的封锁有希望绕过，那么过去的野心自然也会再次苏醒。”艾若澈说道。

因为算主的新成果，歌庭派对于元算之算的些许热情，也被激发了出来。

“不周之算，真的有可能突破吗？”何外尔苦笑：“老师也不过是指出方向……而且，这不周之算，也不是拦路之虎，而是抽薪之手啊！”

艾若澈稍稍犹豫了一下。比起离宗连宗，她对歌庭斋本身还是更在乎一些。何外尔这位师兄与她私交不错，她也确实有心提醒这位师兄，要让他做好准备。

但若是真的说出来的话，这位大师兄又是否会再生波澜？

“他们倒是已经不在乎这个了。”艾若澈顿了一下，然后若无其事的说道：“他们不是想要报复王崎，而是想要对连宗下手。”

“最多突破不周之算，也就是让离宗声势更旺一些吧？对连宗出手？”何外尔却是没想明白，他们到底是如何让连宗难受的。

艾若澈轻轻摇了摇头。

其实她说得稍微轻了一点。

歌庭派并不是打算将王崎打倒，让算主的理想复苏。

他们是打算拉着连宗一起坠入深坑之中。

相对一致性，是一个非常恶毒的思路。

如果理论甲有矛盾，而且仅当理论乙有矛盾，就可以称作甲与乙的“相对一致”。

作为相对一致的双方，甲乙要么都有自相矛盾之处，要么都没有。

而当甲取连宗“直觉主义”，乙取离宗“二阶算术”的时候……

一个联动就成立了。

这下子，歌庭派与少黎派便等若是绑在了一起。原本专门针对歌庭派的不周之算，就同时攻击到了双方。

“我不是要求生，而是要拉着你一起死”。

这便是歌庭派隐含的决意。

当然，这种事情，对“直觉主义”本身没有深刻理解的话，是做不到的。

但是，歌庭派现在的这位斋主，却是连宗，直觉派。

第七十九章　蜃楼访谈

艾若澈自己就是纯粹算学的大家，所以她很清楚完成那个复仇一般的思路需要怎样的条件。

不知道王崎自己有没有这个意识……实际上，王崎自己过去的工作，就包含了那个“相对一致性”证明的一部分。他已经证明了“直觉与归纳一致有直觉一致”的命题。

剩下的一部分，他们甚至可以逆着王崎曾经的思路提出。

只不过，这一步多少需要对“直觉主义”本身有一定的理解。

由于云中君柯兰荫的关系，形式主义算学代表的歌庭派，与直觉主义代表的少黎派，关系一直很紧张，歌庭派内部几乎不存在连宗算家，更别说直觉主义的连宗。

但何外尔偏偏是个例外。

他真的相信直觉主义算学，哪怕他比谁都敬爱自己的老师，也是如此。他从来没有悔改过这一点，也不介意直觉主义的发端，是歌庭派的仇敌，算君庞家莱。

对于何外尔来说，这就是“真理”。

而歌庭派成员，却可以在日常讨论之中，透过何外尔，了解到他们需要了解的。

这比看书还要便利一些。

而若是这一步完成，那么万法门说不得又要遭殃。

歌庭派的怀疑者与反对者，在这一证之后，就必须面对一个问题——若是他们打算怀疑集合论的可靠性，那就必须怀疑四则运算的可靠性。

对于少黎派的直觉主义者来说，则更恐怖。这意味着集合论的先天不足，同样可以在直觉主义算术上得到体现。

没错，不只是歌庭派，不只是连宗，连离宗也无法摆脱不周之算。

如果还有算家坚称直觉主义的算学是可靠的，那么根据相对一致性，他们也必须得承认，集合论在已知范围内是可靠的。

这对于离宗算家来说，就好像捏着鼻子吞大粪一样难受。

莽荒仙门  武王(独悠)  剑御仙穹  神魔之主  极品仙途  纵剑天下(乘风)  穿越携带乾坤鼎  万界微信红包群  武极(游龙)  原来是镇元  鸿蒙至圣道  万劫仙途(超级)  史上最牛轮回  都市神级仙少  指掌仙宫  初仙(叮咚)  我做许仙的日子(小吃)  剑翼(小小)  仙魔同修  易命记