这一年的四月,将被载入史册。
不完备定理,不可判定性定理,这两个永久改变算学发展轨迹的定理,就是在这个月被提出来的。
而这一个四月当中的最后三天,便是万法门有史以来最黑暗、最绝望的三天。
“不完备”和“不可判定”这个概念一出现,就动摇了万法门的根基。
所有知晓了“不完备”和“不可判定“这两个概念的算家,都陷入了深深的疑惑。
算学本身是否存在一个界限?我们在那个界限之前,是否就只能止步不前了?
我们还能够接触到真理吗?
天地自然如此和谐,这不和谐的算学,还能够解释和谐的天地吗?
“从来就没有哪一次突破,是以这样的形式降临的。”万法门深处,魏二先生忧心忡忡。
这种否决一切,不带一点希望的理论突破,不是任何人愿意见到的。
而在一片愁云惨雾当中,逐渐的,一种反抗的情绪在逐渐酝酿。
总有一些人不愿意接受这个定理。
“算主还没有开口呢……这个定理还不能说绝对是正确的……”
“鬼才知道这是不是正确的呢。万一正如那个不知天高地厚的小子自己所说,他的定理不能证明也不能证伪呢?哈?”
“算主和歌庭派还没有开口,我们还有希望!”
“或许我们的本领太差,看不出这个荒谬定理的荒谬之处,但是,算主一定能够看出来!”
但这个时候,也总有人提出异议。
“苍生国手也是歌庭派的啊……虽然不是嫡系,但是,他也是歌庭派的人。他也曾在算主的完备性证明当中出过力的。”
“苍生国手也说这个没问题啊……”
“如果冯前辈也说了的话……”
“放屁!那个王崎,就是冯落衣的弟子啊!这一层关系虽然没有公开,但是万法门上层已经有不少人是这么看的了!”
“若是冯先生是力挺自己的弟子……”
“哼。冯先生好歹也是巅顶大修,怎么会为了自己的弟子,就与大道相背离?”
除了这些希冀于绝顶算家发言的人外,还有一些其他的声音。
“这个……这个不完备的定理根本就不是算学啊!”万法门内。一个老者咬牙切齿:“苍生国手用他那天才的声名,骗过了几乎所有人!”
“不完备,还有《试论万法算藏>卷一算术篇中形式上不可判定之陈述及相关系统》,根本就不是算学的陈述!他们偷换了概念!”
“我三天之后,一定要在所有人面前狠狠打那个小鬼的脸。让他知道,算理之道的天威是不可犯的!”
“不完备的证明不够强”,在一部分算家看来,确实是这样的。他们在地球上的部分同行也有相似对方观点。
“数学是一致的”这个判断只有六个字,但是这个判断若是以数学的方式陈述出来,则几乎无法付诸于纸笔。
这也是一部分算家能够抵死不承认不完备的原因。
而在万法门的另一边,另一群人却陷入了狂欢之中。
“道化自然数!自然数外,皆非自然!”一个青年模样的宗师哈哈大笑。
这也是在连宗极端派“少黎派”之中广为流传的一个论点。
自然数与道同在,除此之外,一切算理。一切算学的概念借来自于人的刀劈斧凿,皆是充满匠气,非是真实不虚。
“那位歌庭派的小友一举葬送了整个歌庭派,真是大快人心!”
“算主也让该退下去了!”
“尸位素餐那么多年,净整一些有的没的,也该归隐了!”
自算主统领万法门以来,整个万法门都逐渐偏向集合论。而被排除在二十三问之外的领域也就是少黎派最具代表性的拓扑等领域,研究者渐少。
这些算君庞家莱的追随者,自然是怨念深重。而算主那种“算学即是算符之排列”的观念,也着实让他们别扭。
他们都是最狂热的连宗。在他们看来。算术领域,也只有自然数有“道法自然”的意义。除此之外,任何概念都是“人法道”而创生的。
集合论崩溃对于他们来说,并不等于算学基础崩溃。而是“一个人造的系统被证伪了”。
反正自然数永远自有自在,这集合论还有逻辑,不完备又关他们什么事呢?