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