第一百七十二章 离宗叛徒?离宗标杆?

“听完这个故事之后,诸位前辈想必也应该知道了我论文的内容。关于这一点,我倒是觉得,很难说这是幸事,还是不幸。”

王崎的语气很平静,也很平和,好像刚才那惊人的理论,不是出自于他的的口,而是另外一个什么人说的一样。

“幸事?”艾克蛮抬头看了王崎一眼,微微苦笑,然后又摇了摇头:“我可看不出,这里面有什么让人觉得幸运的。”

王崎微微一笑:“若是有朝一日,我们真的可以理出一套逻辑,像我故事中傀儡审官判断机关人本身一样,判断一个算学命题的真假,那我们这些算家,是否还有存在的意义?恐怕到时候,神州再也不需要什么万法门了。一台终极算器,就胜过我们全部。”

所有的万法门修士,都低下头,眼神之中神光闪动。

若是真的到了那个地步,那么,万法门确实没有什么存在的必要了。一台终极算器——无论在算学上有什么问题,都能在短时间内给出解释的终极法器。那简直就是近道之物。

到了那一步,算学也就走到了尽头。

那么,现在算学走到了尽头吗?

恐怕远远没有。

地球上,曾经有无数学者叫嚣“物理学依旧走到了尽头”,“人类将要掌握终极的真理”。那个时代,是经典物理最鼎盛的时代——没错。只是经典物理。

那个时代的人甚至宣称,“物理学的天空上阳光灿烂,只是有两朵小乌云”。

这只是因为,他们看不到下一步。

看不到下一步,就以为自己走到了极限。实际上。他们还没有甚至还只停留在最初的境界。

如今的神州算学,和当时何其相像?

现在看来,神州的天物流转之道距离真正天道有多远,算学之道就距离真正天道有多远。

听了王崎的话之后,所有的算家总算是找回了一点热情。可是,依旧有人感叹:“说得是不假……可是以后,还有谁敢求算道?”

王崎的不完备、不可判定。几乎就是在整个算学之道上打上“虚无”的标签。

这种情况下。还有谁敢去探求算学之道呢?你甚至都不敢相信,自己所求的道是有意义的。

这不是什么“向道之心”不坚定的问题。因为,王崎的不完备,不可判定,都是根据算学本身推导出来的,证明过程无懈可击。

这就好比说,佛祖在法会上突然大开杀戒、生啖人肉。化青面獠牙之形,佛教徒的向道之心再坚定,估计也经不起这等刺激。

王崎,这就是剥去了算学那温和的假面,,让它恐怖的本质暴露出来。

见众逍遥的表情飘忽,王崎心底苦笑。

地球的数学界,在经历了这一出波折之后,消沉了二三十年。这二三十年当中,的确还是有数学成果出现。但是却不复之前的那种盛况。

要求这些逍遥修士立刻接受不完备、不可判定这两重道理,也确实是强人所难。

不过,关于“如何研究”的问题,王崎还是有一点思路的。

“实际上,对于从今往后,算学要如何走下去,晚辈其实是有那么一点想法的。”

王崎此言。让倾听的众人又出现了些微的波动。

展望未来,不是谁都有资格去做的。这里在做的,都是神州最巅顶的算家。除了算君和算主,这世上还有人能够对着他们指指点点,说“你们接下来应该这么做”吗?

这不是面向大众,面向低阶修士,而是对着他们这些最巅顶的算学家。

他所做的,更不是什么不负责任的预言,而是类似于“五年计划”的纲领性的东西。能够做到这一点的,无不是能引领时代、独占鳌头之人。这种人,即使不是学派领袖、算门魁首,也相差不远了。

歌庭派前代领袖,曾经的神尊、云端公子柯兰荫,也是以一道纲领,统合了近古几何学以及变换群,开创了万法门“一法通则万法通”的时代。也正是因为这样,他才被认为是能够与算君一较长短的人。【这里指埃尔朗根纲领】

而他所概括的,也只有几何、群论两个领域而已。

王崎一开口,说的却是整个算学界。

如果是一般人这么说,哪怕是以为逍遥修士,恐怕这些巅顶修士都会开口斥责。

但是,唯独王崎,无人敢指责。

希门二十三问当中的第二问和第十问太有分量了。歌庭派众多逍遥攻坚,都未曾看到一丁点解决的希望。可是这个少年就解决了。

法力上,他或许还欠缺一点积累。但是,在算理逻辑的领域,他乃是巅顶级数。

“事实上,我既不能够也不打算给算学的未来发展指明一条道路——我甚至没有这个资格,而且我也知道这样做肯定是劳而无功的,实际上是一件可笑的事。我始终坚信,未来的算家正如过去的算家一样,总不会走老路。他们会通过我们想不到的关系用新观点看问题,去解决我们留给他们的大问题——只不过碍于见识,我们不知道。”

“但是,我至少知道,自己能够做什么。”

“不完备和不可判定并不是什么可怕的事情。缥缈之道证明了微观领域里,确定性丧失。但是,这对宏观的世界没有任何影响。我们依旧胜在一个有因有果的世界里。”王崎道:“我虽然证明了算学完备性和可判定性的缺失。但是,我只是证明了它们存在,却还不知道它们发生在何处。我们还远远没有触碰到算学的边缘。在已知的算学领域里,不完备和不可判定的意义不大。”

“至少在现在,我们已知的算学并没有和这个世界的客观事实产生矛盾。”

“或许,我们迟早有一天会面对这一切。就像我们想要探寻微观的世界,就不得不面对‘不确定’一样。但是,那一天不是现在。”

“那种研究过去还没有进行过,现在也还为时过早,至少现存的算学还不足以触及那个区域。我相信,当我们触及那个境界的时候,对于证明的需要早已达到意识的水平上,同时具有这种需求的技术已经发展起来——但不是现在。”

“而在这个领域之外,我们还有很多有意义的问题可以研究。比如希门二十三算之中的第五算——变天式与变换群;黎氏猜想——当我们放弃以变天式做为攻克它的利器之后,新的希望就在眼前;算王前辈的二次互反律……我们可以看到,算学依旧在进步。我们依旧可以迈步前行。”

“实际上,对于不求元算的道友来说,不完备和不可判定又或者没有都一样,对他们的工作没有任何影响。”

“而对于元算道的道友来说,我们的征途,才刚刚开始!我们还有很多事情要做!”

离宗有人不忿:“我们究竟还有什么能做的?”

——我们所追求的,已经被你摧毁。

“我完成了希前辈的问题,所以诸位就觉得没有问题可以解了吗?”王崎摇摇头。

学术界,解决问题基本上就等于“抢饭碗”。一个猜想被验证,就有无数指着这个猜想吃饭法的数学家失业。这里的这些逍遥修士,不仅仅是道心动摇,更是被夺去了为之奋斗的目标。

只不过,他王某人摘取这些目标的方式,和这些人理想的方式截然相反,所以他们一时之间无法接受。

但是……

“算主曾经说过,有问题,才说明这个学科正在发展。”王崎叹道:“不完备与不可判定,就是我暴露出的巨大问题。至于绕过这个问题的思路——其实我在六年前就说过了。”

“六年之前……”

有一些算家露出了复杂神色。六年之前,王崎在器成之宴上确实说过了一些“思路”。但是那个时候,没人在意。他们所有人都将之当成了这个小辈的一点个人心得——一点个人的研究思路而已。就算再完善,又有什么意义?

但是,谁也没有料到,今日,他证明算主思路的谬误之后,那个谁也没有在乎过的思路,竟会成为未来离宗的发展方向。

此时再看这个少年。

离宗叛逆?

离宗未来领袖?

诸多逍遥修士隐约看到了这一点。只不过感情上,他们一时之间还无法接受罢了。

冯落衣轻咳了两声:“相信到了这里,诸位也就都大致了解王崎这个人的思路、理念了。现在,王崎,你可以给大家讲解你的论文了。”

王崎点点头,按照标准了六成,开始讲述自己的论文《论可计算数及其在判定问题上的应用》。

算君对此兴趣依旧不大,摇摇头道:“百无一用。”

《论可计算数及其在判定问题上的应用》论文同样不是很长。和《试论<万法算藏>卷一算术篇中形式上不可判定之陈述及相关系统》一样,它的证明过程实际上非常简单。

简单,但是充满了智慧。

所有逍遥都不知不觉的沉浸在这一片论文之中,这论文本身就散发着充满诱惑性的智慧光彩。即使明知道这条逻辑之河会流向万丈深渊,那些算家也没办法忍住不听。

很快,一个修士站起来,如痴如醉,大声喝采:“好啊!”

站立者,千机阁阁主,图灵真人。(未 完待续 ~^~)

第一百七十三章 成名,会议

对于图灵真人第一个站起来,王崎丝毫不感到意外。

因为,在地球上,写出《论可计算数及其在判定问题上的应用》的学者,名字叫做阿兰·图灵——图灵真人的同位体。

王崎相信,即使自己不发表这一篇论文,那么这位逍遥修士也会在三五年之后发表出相似的论文。

当然,王崎并不觉得自己这样算是剽窃——实际上也很难界定这种情况。两个世界的历史虽然存在一定的相似之处,但是图灵真人毕竟不是那个阿兰·图灵。在这个世界的历史上,图灵真人并没有迸发出灵感来解决这个判定性问题。

而且王崎上辈子作为一个物理学家,也没有无聊到将不可判定性的论文背下来。那一篇论文,是王崎自己独立推导完成的,绝大部分都是王崎自己的原创内容。

但即便是如此,王崎依旧对图灵真人恭敬一礼:“不敢当。若是没有我,真人再过三五年,亦是能够求出这一重道理。

图灵摆摆手:“这可就未必了。我确实是有一点这方面的想法,不过我这个人性子散漫,要么在万仙幻境里消磨时间,要么在扶桑闲晃,在专注上倒是不如诸多道友了。对我来说,你这是省了我数年的苦工啊!而且这不可判定一处,万仙幻境很多在逻辑上的问题就可以绕解决了。再给我一年……不至多半年。我就可以让万仙幻境再更新一代!”

算器,始终是建立在逻辑之上的。

不完备,不可判定,都是算理逻辑领域的重大突破。

这样的突破,又怎么可能会不带动算器的发展?

而算器的发展意味着什么?万仙幻境的全面升级!

万仙幻境。乃是仙盟目前最大的倚仗之一。可以说,若大仙盟之所以能够运转有度,这万仙幻境功不可没。

可以说,这绝对是最近几十年,实际意义最大的理论之一。

它甚至有可能开启一个时代!

算君表情有些悻悻。他觉得,自己刚刚才说王崎的理论百无一用,结果这边的人就大声称赞。这实在是很不给他面子。只不过。他对算器也是颇为感兴趣的。反正在这里也没人敢笑他不知羞,于是他干脆越过人群,直接找图灵真人讨论起来了。

他并非不懂集合论,只是反对将集合论作为算学的根基,讨厌将集合论做成文字游戏。对于算器,他还是很喜欢的。

而更多的人,则将目光投射到王崎身上。

“啪啪啪。”

第一道掌声响起之后。才有第二道、第三道……越来越多的逍遥修士开始鼓掌。稀稀落落的掌声逐渐连成一片。

正如冯落衣所说,不管他们承不承认,算学的历史,又翻开了新的一页。

这就像他们的意志无法决定太阳是否从东面出来一样。

算学,进入了一个新的时代。

一个类似于物理领域缥缈之道的时代。

在一众逍遥的掌声当中,王崎走回了自己的座位。这时,他听到了冯落衣的传音。

“做得不错。”

除此之外,再没有什么别的话语。冯落衣确实不是很会说话。

王崎点点头,握住有些颤抖的手。

这个时候,他激动得说不出话来。

论文的结论确实不是他的。但是。过程是他王崎独立求得的,灵感也是他自己的。怎么说呢?这一篇论文不是他的亲生儿子,至少也应该算养子吧?

尽管早就知道了不可判定性定理的历史地位,但是他有什么理由不激动吗?

就算单为“见证”,也值得狂歌三日!

“我也没有料到,你能做到这一步。第二问、第十问……现在万法门已经不会有人怀疑你不能踏破天关了,涅槃劫十有八九也难不倒你。现在。大家就智慧猜测,你需要用多久成道逍遥了。”

“老师谬赞……”

“这可不是在夸你。”冯落衣摇头笑了笑:“这次小会结束之后,你就会是当之无愧的算理逻辑第一人,同辈之中,不会有人比你更强。就算是‘前辈’里面,怕是也没几个能在你面前称高人了——当然,这不能成为你蔑视前辈的理由!”

“是。”王崎点点头,还有点晕。

“以后,有什么计划,你就正大光明的交上计划书就好了。只要是不违背原则性的问题,仙盟都会支持你。想要做什么,就去做吧!”

这一句话,让王崎回到现实。他两眼放光——说了这么多,终于有实质性的东西了。

“那么……天灵岭的禁令咱是不是……”

“唯独这个不可能。”冯落衣一口回绝:“想都别想。”

王崎的脸立刻就垮了下来:“刚才还说支持啊……”

“这可不是什么小事。你现在只是得到了我万法门的肯定,但是那一块的事情,主要还是归天灵岭管的。”冯落衣咳了两声:“不过,你也不要担心什么修法的问题。只要你能够走完正常的程序,自然就会有人帮助你将修法推广开去。仙盟也会让开设专门的项目组进行研究。”

王崎长舒一口气。数据化修法关乎到他的元神之路。维度这一条,王崎不能不关心。

而有由于数据化修法是王崎自开的道路,随着这门修法的完善,各种实验是免不了的。

冯落衣这句话,就相当于是解除了王崎的后顾之忧。

“好了,没有什么事的话,你就可以离开了。”冯落衣这才发现,这次的会议早已经离题万里。

他们是来讨论如何保住算主性命的,不是来听王崎的报告会的。

可是现在……算主的生命危险,好像反而更大了一点。

如果说王崎的不完备相当于对着算主灌了一剂鹤顶红,那不可判定就是再追加两斤砒霜。算主早些年提出的宏图大业、他为之奋斗半生的理想,已经被王崎两道算理破坏得干干净净。

想要这里,冯落衣觉得脑袋又疼了三分。

不过,谁让他们都是算学家呢?面对那样的至理,他们有不听的道理吗?

想到这里,他苦笑着追加了一句:“今天的事情,千万要保密,不可对任何人提起。直到我许可了。明白吗?”

王崎点点头,一脸诚恳。

不知为什么,让冯落衣反倒是更不放心了。

王崎并不知晓冯落衣现在的心思。他站起身,想着诸多前辈告了个罪,然后离开了这一处幻境。

幻境之中的讨论声依旧激烈。就连歌庭派最核心的逍遥、算主最铁杆的支持者,都加入了讨论之中。

没有人愿意落后。

注意到这一般变化后,冯落衣笑了笑。

——话又说回来,王崎在这个时候抛出“不可判定”,也不是没有好处的。至少,它彻底摧毁了那些歌庭派逍遥大修的坚持,粉碎了他们几十年、几百年依赖的心念,让他们能够正式这一次突破。

如果没有“不可判定定理”的话,那些逍遥修士,说不定还会将“判定性证明”作为最后的稻草,死死抓住不放,甚至希望能够从中找出和不完备相悖的东西,去反驳王崎。

当然,这也只是有可能罢了。冯落衣、图灵真人这些最早摆脱过去知见障的天才,其实都隐隐判断出判定性证明的结果了。如果王崎没有在今天发表不可判定性定理的话,他们过一段时间也有机会做出来。

但是,这些逍遥修士的“挣扎”,只会让冯落衣觉得麻烦,认为有很多东西不好施展,还有可能让算主窥出端倪。

现在王崎脸这一点念想都不留给他们了,正好。

想到这里,冯落衣出声,止住了诸多逍遥修士的讨论,道:“诸位,停一下。我们还是回到我们的主题上来好了。”

除了算君之外,众多逍遥修士都自动的停止的讨论,本来,算君庞家莱并没有理会冯落衣的意思。只不过和他讨论的图灵真人已经止住了话题,他一个人也说不起来,只好作罢。

冯落衣环视四周,严肃道:“现在,还有哪一位道友对不完备之理、不可判定之理有疑问的?”

就连艾克蛮这种思想上最彻底的离宗都摇了摇头,道:“惊世奇才,我服了。”

“那么,诸位对于我之前的意见,再也没有异议了吧?”

冯落衣原本的建议,就是通过他们这些歌庭派最核心的修士,去逐渐改变整个歌庭派的思想,制造一种思考的环境,将算主往某个方向上引导。

这个“思考的环境”,最好就是让所有歌庭派的逍遥修士,顺着王崎数年前划下的道路前行,通过类似于超限归纳法之类的方法,证明一些公理系统的完备性,让算主看到希望,让他明白,即使算学具有不完备性,一直的公理体系当中,依旧存在完备的。

这样子,对他的冲击更小。

原本,冯落衣还担心那些歌庭派修士桀骜不驯,不肯接受这个思路。不过,王崎的第二篇论文,算是打消了这个可能性。

“在谈完算主的事情之后,我们再来谈一谈仙盟的事情好了。”在商定了关于不完备、不可判定的事情之后,冯落衣语气突然一转:“诸位,第五十三个谪仙,被确认了。”(未 完待续 ~^~)

PS:  第二更,求月票!

重新连接服务器...

连接失败... 将在 秒后重新尝试连接.

连接失败.
请刷新此页面.

此会话被服务器暂停.

恢复会话失败.
请重试或者刷新此页面.