但比他们更怒的,却是千机阁的众多基层弟子。
无穷功能公理,是安全的。
应当说,冯落衣找到了全新的思路。
所以,循环这种东西,理应存在于算学之中——实际上,它甚至都是万法门功法的关键部分。
但他们却是指向了同一个方向。
这是两条已经存在浅显证明的论题。
他居然剔除掉了“循环”这个概念!
“假设排中律有矛盾,则可以构造出这个假设的否定证明”。
这就是两个算理的“绝对性”。
这便是撼动了连宗的根基了。
一般来说,“可证伪性”,便是今法仙道的根基所在。不具备可证伪性的东西,没有讨论的价值。
歌庭派最核心的修士,已经杀红了眼,处心积虑的将要将连宗算理同被不周之算所击溃的那部分离宗算理划上等号,将他们也纳入不周之算的攻击范围之中。
谁都知道,连宗,特别是近代连宗代表的少黎派,就是否认“无穷”与“排中律”的。算君认为,物质的世界不存在无穷的对象,算学的世界同样不应该存在无穷的对象。
图灵真人本人倒是觉得挺有趣的,甚至将之当做一个课题布置离了下去。
过去的“自由飞翔”,如今就变成了“带着镣铐跳舞”。
他们宣称,集合论之前的思路都有问题。
无限公理是安全的。
这位天才,先后用两篇论文,完成了这一伟大的论证。
但若是真的两者结合……
而就在这个时候,歌庭派提出了一个更进一步的想法。
冯落衣眼睑低垂:“不过是些顽固分子……食古不化的老东西罢了。一个不周之算,都没有让他们看清楚真相,那他们也就这样了。”
陈由嘉“离宗叛徒”的呼声,也在千机阁闹得沸反盈天。
但千机阁弟子发现这一点之后,就立刻沸腾了。
图灵真人突然笑道:“月寒兄如今倒是一副事不关己的样子。你难道不知道吗?这一股‘离宗叛徒’的风,也吹到你身上了吧?”
只不过从根基上来说,冯落衣是最正统的离宗,而陈由嘉则从算君这里接受了不少连宗的思路。
所有的“集合”,都必须从“空集”开始,进行构建。
“就怕这两不沾的,关键时候误了事。”图灵真人有些犹豫。与类型论伴生的语言,是稍有错处,就会直接停机,算得上安全。而往日所用的法子虽然会输出未知结果,然是由于修士对这一领域已经熟稔,所以也很少在关键时刻掉链子。
不过,图灵真人并没有想到,数日之后,歌庭派的背水一击,居然来得如此猛烈。
实际上,也就是冯落衣将连宗、离宗算理频繁转化的手段,引起了他们的注意。
而现在,身为离宗修士的陈由嘉,发表了带有明显连宗倾向的论文。
对于普通人来说,这就是一个“不知道到底有什么”的未知区域。
不应该从“全部”,而是应该从“无”之中入手。
“而排中律,则可以等价于双重否定去除”。
就算想要将之摧毁,也很难下手。
而陈由嘉的论文,也是紧随其后放出了。
答案是,“是”。
在不周之算的碾压下,他们也顾不得许多了。
对此,图灵真人也只有苦笑:“这却是……好似是我对不住那姑娘了。”
但最先完成成果的,却还是冯落衣——这位有着“非人”之称的天才人物。
任何证明构造都必须是有穷长度的,关于矛盾的证明也不例外。而无穷公理——自然数无穷集合存在公理,之运用到了后继运算和空集运算。这两个运算,在连宗的算理当中,均有对应。因而,这两个算理,在连宗算理和离宗算理之间,是绝对的。换言之,离宗算理和连宗算理,其实存在着相当程度上的一致内蕴。
“因此,某种意义上来讲,无穷公理不可证明,也不可证否。”
在这一点上,算君和王崎绝对持有完全相反的看法。
当然,在美神那种层次看来,这种争持,完全就是笑话。
但不管怎么说,在算学领域,一个不可证明也不可证伪的理论,是允许存在的。
这又让他们怎么不怒?怎能不怒?
王崎在与美神遭遇之后,便也有了这种倾向。
“如果取无穷公理的否定形式作为公理,有穷良序之中的矛盾也会更加方便的体现在其他公理之上。”
他们由此,提炼出了一个无名的逻辑层面的函数。
有一些离宗修士都觉得,冯落衣是疯了。
但它就好像是神学一样,在自己的逻辑里自... -->>
本章未完,点击下一页继续阅读