书中文学网

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

第1261章（第2页）

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

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

艾若澈轻轻摇了摇头。

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

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

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

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

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

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

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

一个联动就成立了。

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

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

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

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

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

第七十九章蜃楼访谈

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

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

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

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

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

但何外尔偏偏是个例外。

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

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

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

这比看书还要便利一些。

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

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

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

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

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

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

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