优质中文网

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

第一百零一章 爆发（第1页）

为这大争之世打响第一枪的，是冯落衣。

尽管歌庭斋已经交托给了身为连宗修士的算主首徒何外尔手，但是歌庭派依旧是离宗正统，依旧是算主嫡系。这一点，从来不会因为何外尔或其他任何一个饶因素而简单改变。

或许百年之后，歌庭斋终将变成另外一个样子，但是何外尔一个人，终归是无法扭转这个石头的。

歌庭派最核心的修士，已经杀红了眼，处心积虑的将要将连宗算理同被不周之算所击溃的那部分离宗算理划等号，将他们也纳入不周之算的攻击范围之。

但最先完成成果的，却还是冯落衣——这位有着“非人”之称的才人物。

应当，冯落衣找到了全新的思路。

他们宣称，集合论之前的思路都有问题。

不应该从“全部”，而是应该从“无”之入手。

所有的“集合”，都必须从“空集”开始，进行构建。

或者，只有从空集开始构建的集合才被承认为合法集合。

除此之外的集合，都是有问题的，都是被不周之算抽掉了根基的空阁楼。

无论是有穷集还是无穷集，都必须从“空集”开始。

空集?对应0，{?}对应1，{?，{?}}对应2。如果一切集合，包括无穷集合都有类似的良序，那么，那么可以实施超越无限的归纳——和普通的数学归纳一样。

然后，离宗至高成的“理体系”【zf公理体系】，其全部公理，都能够在良基集合之实现。

这是冯落衣的命题。

这位才，先后用两篇论，完成了这一伟大的论证。

任何证明构造都必须是有穷长度的，关于矛盾的证明也不例外。而无穷公理——自然数无穷集合存在公理，之运用到了后继运算和空集运算。这两个运算，在连宗的算理当，均有对应。因而，这两个算理，在连宗算理和离宗算理之间，是绝对的。换言之，离宗算理和连宗算理，其实存在着相当程度的一致内蕴。

这是两个算理的“绝对『性』”。

因此，如果无穷公理有矛盾，那么这个矛盾，也会通过一个“有穷”的翻译过程，出现在算理之。

无穷功能公理，是安全的。

这篇论一出，便是连宗修士的大面积吐血。

谁都知道，连宗，特别是近代连宗代表的少黎派，是否认“无穷”与“排律”的。算君认为，物质的世界不存在无穷的对象，算学的世界同样不应该存在无穷的对象。

这便是撼动了连宗的根基了。

无数连宗算家抓耳挠腮，恨不能立刻写出论，反击冯落衣。

但是，很快，冯落衣的第二篇论，让所有的争论都偃旗息鼓。

“如果取无穷公理的否定形式作为公理，有穷良序之的矛盾也会更加方便的体现在其他公理之。”

“因此，某种意义来讲，无穷公理不可证明，也不可证否。”

这一下，便如同晴霹雳，镇得所有连宗算家都不出话来了。

一般来，“可证伪『性』”，便是今法仙道的根基所在。不具备可证伪『性』的东西，没有讨论的价值。

但是，算学的地位，却稍稍特殊一些。

连那些算学家自己都不清楚，自己的工作，到底是“发现”还是“发明”。

在这一点，算君和王崎绝对持有完全相反的看法。

当然，在美神那种层次看来，这种争持，完全是笑话。

王崎在与美神遭遇之后，便也有了这种倾向。

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