第二百四十一章 算学的涅槃

在图灵真人的帮助之下,这一场问答,便算是有惊无险的度过去了。

王崎“穿越”之前的年代,对于现代数理逻辑的研究已经远非哥德尔的时代可以相比。光是能够和图灵机、拉姆达算法等价的数学系统都不知道多少。就王崎知道的,包括王崎之前在神州做出来的元胞自动机,以及波斯特对应问题、计数器机、马尔科夫算法、递归函数。

在这个问题上,他眼光先天就高于神州众人。

而他自身天分也不弱,又有图灵真人的鼎力相助。半年的时间,自然能够完成很多事情。

对于一般的逍遥来说,王崎和图灵真人的准备,就是天衣无缝、无懈可击的。

无懈可击到光是想一想,就能够让他们失去勇气。

最终,还是冯落衣打断了王崎和图灵真人的交流。他看四下无人,便道:“若是现在没有人继续提问,那么,提问的时间便到这里了。”

图灵真人意犹未尽:“稍等,等我们将这个问题讨论完……”

“你们自己私聊就好。”冯落衣扫了算主和算君一眼,然后才宣布道:“现在,我们便坐等子夜罢。”

这便是今法修法为数不多的讲究。这种颠覆性之道的总结,一定要在子夜进行。

新旧之交,昨日之种种昨日死,今日之种种今日生。

那些逍遥修士精神还沉浸在不完备定理带来的震撼当中。到现在才惊觉,时间居然已经过去了这么久。

午时起,子时止。这一场讲道,竟已经持续了整整半天。

和图灵真人讨论完之后,王崎再次坐回那个讲坛的边缘。闭目养神。明明还只是刚才那个金丹期的小修士。但不知为何,一众逍遥竟觉得他身上仿佛有了如岳如渊的气息。

——心理作用?

有些人产生了一丝怀疑。

就算是不认可王崎理论的算君一系,也不得不承认,王崎却是是很有天分的。

再无人能够无视他。

“方入仙途,便威压天下……”有人低声道:“我仿佛看到了又一个苍生国手。”

“说他像算君才是吧……都是摧破一代歌庭领袖的道心,来成就赫赫威名……”

“闭嘴!”

那句话似乎引起了一点骚动。大部分算家都担忧的看着算主。

在一场动荡之中,算主是受创最深的一人。王崎从他的思想、他的思路当中孕育出了否定他的武器。他毕生的追求也被打破。现在。这位巅顶逍遥就算立刻身亡也不奇怪。

可是。算主依旧一动不动,一言不发。

子夜的钟声很快响起。王崎重新走上的讲坛。这一次,他的神色之中,带着无与伦比的自信。

“算君庞家莱在过去的一次讲道之中,谈到过算学的未来。他当时是这么说的:‘从前有过那么一些算卦的半仙。他们反复说什么所有问题都已经解决,剩下的事只不过是再把答案磨磨光而已,’接着他又补充道:‘但是。这种悲春伤秋者总是不得好死……我想来,今天已经没有人还抱着这种想法了。’”

“前辈的这一句话,用在此时便是真的应景了。现在,我们对于进步的信念,我们对我们仙道的信心不再那么坚定了,这些看法已经被极为剧烈的打击所动摇。对我们来说,像算君前辈那样毫不犹豫地把过去、现在一直推演到未来似乎并不那么合乎情理了——我们甚至不知道,我们会知道什么、我们将知道什么,我们又需要知道什么。”

王崎的这一句话,如同揭开了一个黑暗时代的帷幕。他在阐述不完备、不可判定的破坏力。万法门被打击得几乎一蹶不振。除了一些底层的修士之外。没有人的道心不动摇。

场外,还在关注这一场讲道的万法门弟子犹在啜泣。他们低声骂道:“谪仙!天魔!邪魔外道!”

就连场中的少黎派诸人,也觉得怅然若失。

“假如要去问算学家关于算学的未来的看法时,那么算家多半会想提出更为根本的问题:人族想要给自己铸就如何的仙道?八万年来人族积累、两千年来今法求索,我们的思维方式难道只不过是宇宙中的昙花一现?假如说我们担心陷进玄之又玄的讨论,宁愿留在现在也不那么牢靠的史料中,我们也会遇到同样的问题。只不过换了一种形式来表达:我们是否正在眼看着我们的仙道物壮则老、由泰转否?是否我们应该抛弃创业,至少是抛弃为自己心中之道创业,而转为守成?”

以歌庭派为首的离宗算家也陷入了迷惘。

有穷到无穷,是否就是我们认知的壁垒?

我们是否永远也无法登临无穷的彼岸?

这个壁垒,是不是无法突破?

还是一如先贤所言,这个宇宙,便不存在无穷?

但是,王崎选择这一篇讲话的目的,并不是自吹自擂,而是表达自己的观点。

——算学,便要涅槃重生啊!

布尔巴基学派,就是在哥德尔、图灵为首的诸多新一代天才血洗整个数学界三观之时,站出来的涅槃者,也是在二十世纪后半页走得最远者。

“为什么会这样呢?毫无疑问,我们遇到了大问题,非常巨大的问题。这个难题或许穷尽吾之一生也办法发解决。但是,这个时候,我总会想起希门主曾经说过的话——一门科学分支只要能提供大量的问题,它就充满着生气,而缺乏问题则是将死之兆。我想,我们至少不用担心自己目睹算学的死亡了。我们遇到了一个多么可怕的问题啊!“

有人低声骂道:“你说得轻巧……”

“没错。也有前辈想要说我——这个未及而立的金丹期修士站着说话不腰疼。但是啊,但是!我们的算学,我们的万法门怕过危机吗?”

王崎的声音之中,混入了一丝激动之色。

“当中古算家头一次足够精确地定义两个量的比时,就引起不可公度量的存在问题。他们似乎相信并且要求所有的比都是有理数,并且把他们几何推理的最初草图奠定在这个临时假设的基础之上,而中古数家某些最伟大的进展就是同他们在这点上最初的错误联系在一起的。”

——第一次数学危机,无理数的发现。

“同样在变天式论和无穷小演算时代的开头,人们也希望每一个解析表达式定义一个变天式,而且每个变天式都具有导数;今天我们知道这些要求是互不相容的——而解决这个问题的魏二先生,现在就坐在我们中间!”

——第二次数学危机。微积分对无穷大、无穷小的操作。导致的矛盾。

“最近一次危机,是由于素朴集合论的出现所提供的诡异的论证方式所产生出来的,它给我们引导出相当不错的结果,以至于我们可以认为它已经最终建立起来。我们已经学会把整个算学追溯到单一的源泉,它由几个符号和这些符号的几条使用规则组成。无疑这是一个攻不破的护山大阵虽然我们很难禁锢在其中而不遭受到饥懂的风险,但是我们却总可以在局面捉摸不定和有外界危险的情况下自行决定退居其中。”

——第三次数学危机,集合论的自我指涉引发的矛盾。

王崎闭上眼睛。在这里停顿了一下。然后,他坚定的,毅然决然的说出了自己的想法:“只有少数思想落后的人仍坚持这样的立场:算学家必须依靠他的‘直觉’来得出新的‘非逻辑的’或‘前逻辑的’推理要素。如果某些算学分支还没有公理化,也就是还原成这样的陈述方式,其中所有名词都用集合论的基本概念来定义,所有公理都用集合论的原始概念明显表示出来,那只是还没有足够的时间让我们这么干。当然,很有可能有朝一日我们的后代会要求把我们所不允许的推理方式引进集合论,甚至很有可能以后用我们现在所用的推理模式发现今天我们还没有看出的矛盾的萌芽,虽然近代逻辑学家的工作说明这种情况出现的可能性很小很小。到那时。就需要进行一次普遍的修正,不过即使现在我们也能肯定算学中最本质的要素也不会受到影响。”

只听到第一句话,包括算君在内的所有少黎派修士都勃然色变。

王崎这便是相当于指着他们的鼻子开骂!

但是,王崎一定要这么说。

这就是他后续思想的铺垫。

“他到底还是离宗弟子……”若澈仙子脸上浮现出复杂的表情,不只是欣慰还是怨恨。

“即使在二十三问的问题中,仍然有几个问题离我们很遥远,虽说它们还不是不可达到的目标。它们或许继续给不止一代人提供研究课题,其中第五个关于李群的问题就是一个例子……”

“黎曼猜想,在人们放弃用变天式的方法证明它的打算之后,现在似乎出现了新光明。它表明它与某个变天式的猜想密切相关,这样一来使得这两个问题成为同一算术-代数问题的两个方面,而对这个问题,对于给定数域同时研究其所有分圆扩张无疑起着决定性的作用……”

“……算王高嗣的算术集中在二次互反律的周围;现在我们知道,二次互反律只不过是‘类域’诸定律的头一个特例,而这些定律是决定代数数域的阿氏扩张的定理,我们也知道怎样表述这些定律使得它们看起来是一个紧凑的整体……”

一个个问题被提出。诸多算家都不傻。他们肯快意识到,这是一个成熟的思想体系。

既包括离宗的那些逻辑、形式化,也有连宗的代表的低维拓扑、代数拓扑。隐约之间,还有一些更在其之上的东西。

何外尔的眼神热切起来。

“这个王崎,求的果然是算学的涅槃!”(未 完待续 ~^~)

第二百四十二章 昨日今日

“尽管图灵真人已经用‘大道之器’的比喻来否决了‘大道圣音’的无所不能,所以这里提出这个比喻很奇怪。但是,今日,我仍旧要说——我们依旧可以相信,自己终有一日可以直面大道,聆听真音。”

“如果有人谴责我们态度高傲,如果有人勒令我们去尽人伦义务而放弃仙道之求索,如果有人问我们为什么非得顽固地坚持在冰川冻土之上,而除了我们的同道就没有人能够在这里生存下去,那我们可以挺起胸膛,高声回应——为吾道长存!”

王崎以激昂的语调,结束了这一次宣讲。

依旧是无人鼓掌。但是,很多人依旧沉浸在王崎刚才的讲演之中。

如果说,不完备和不可判定,是对原有体系的破坏,那么,王崎的这一番演讲,就是在破坏之上的重建。

他提出在“不完备”和“不可判定”两重限制之下,神州算学还有可能突破的方向,并且附上了详实的思路。

他在摧毁了万法门的信心之后,再告诉万法门的其他修士,他们应该往哪个方向努力,算学接下来应该如何发展。

每个人都能够根据自己的见识,对于“发展”发表自己的意见。但是,不是每个人的看法都能够得到广泛的认可。若是说出来却无人认同,那便是贻笑大方。

上一个这么做并且成功的人。还是算主希柏澈。希门二十三问的存在,扭转了整个万法门的倾向。算君横压当世时万法门内“言必称拓扑”的风气逐渐消失,却来越多的修士相信集合论构筑了算学的根基。离宗逐渐扭转了算君带来的劣势,在争鸣之中压倒离宗。

有几个老成的修士下意识的想要呵斥王崎,问一句“凭什么”或者“你配吗”。但是。他们却在开口之前,惊觉道——周围其他人,都没有开口。

王崎刚刚所说的领域,是从算学的基础出发,深入算学的方方面面。而在算理基础这个领域,根本无人能够与他争锋。

——算君真心相信,算学的根基是超逻辑的。是不可研究的。他不想研究这一块。也不屑于研究集合论。而算主……刚刚才被这个少年打落尘埃!

——苍生国手冯落衣和图灵真人或许能够在这方面和王崎并驾齐驱,但是,他们是绝对不会在这个时候站出来反对的。

无人敢应!

而歌庭派的诸多修士,则再次露出掺杂着愤懑与感激的复杂神色。

王崎他果然还是离宗。在这一场讲道的总结之中,他便真的展现出了一些歌庭派的影子。

“算主的歌庭派”已经注定要结束。歌庭斋十有八九会被交到何外尔这个连宗的算家手里。但是,算主领导的年代里,歌庭派做出的努力。终究还是以另一种方式在延续。

虽然他们一点也不希望是这个方式。

而何外尔的想法,由于同门不大一样。

“从离宗的思路,重整整个已知部分,然后再根据这个‘没有发现问题’的已知部分……明明是亲手摧毁了离宗信心,但是却依旧坚持离宗的道路?”

布尔巴基学派的思想,不可能尽数塞在一场不足一个时辰的讲道之中。王崎真正讲出的,只有一个大致方向。因此,现在也只有极少数算家,才看出王崎那些方向之中的严密体系。

——想不到啊,这个家伙才是坚定的离宗信者吗?

“过去。我们是在摸黑寻道。而现在,我们知晓了,这篇黑暗之中,还有一道悬崖。有穷在此岸,无穷在彼岸。从此,我们才晓得,须得当心有穷与无穷间的壁垒。”冯落衣的这一句话。便宣告了这一场讲道的结束。

最先离开的,便是以算君为首的少黎派诸人。随后,整个场地里,一道接一道身影消失,很快,原本重重人影,便只剩下几人。

除了王崎、法力、图灵真人三人外,也就只有算主希柏澈与几个歌庭派的核心成员还留在这里。

这个时候,始终一言不发的算主,终于站了起来。

冯落衣无知觉的握紧拳头。他终于感到了一丝紧张。

现在的算主,就算突然死亡也不奇怪。

道心丧失,就意味着思维的改变。对于思维、法力已经充分融合的高阶修士来说,这就代表法力运转不畅。

这就是有死亡的危险!

算主就算突然陨落也不奇怪。

王崎看着这位可敬的老者一步步走到自己的面前,也咽了口唾沫。

走到王崎身边之后。算主抬起手。这个动作,好像就用去了全部的力量,做的无比艰难。

这里是万仙幻境,支撑“身体”运动的,就是心中的意识。如果动不了身子,就说明你心中所思,无法反馈到万仙幻境之中。

算主的意识,已经趋于混乱了。

突然,老者身子一颤,动作流畅起来。他将手轻轻搭在王崎肩膀上,低声赞道:“干得……干得不错……”

意料之外的赞许。

“老师,你现在怎么样了?”几个弟子墙上,关切问道。

希柏澈摸着自己胸口,苦笑:“道心啊……大约是沦丧了吧。我实在是没办法接受不完备和不可判定的道理,可也没办法否定它们。认知与信念存在巨大冲突……道心不存。”

“老师……”歌庭派众人低下了头。

尽管他们对这一日早就做好了心理准备,尽管他们也清楚,这是最好的结果。但是,一代英才、歌庭派主居然真的道心沦丧时。他们还是觉得万分难过。

“也怪不得谁。”希柏澈摇摇头:“大约是我自己太过驽钝的错吧。”

紧接着,希柏澈再一次转向王崎,道:“不得不说,你干得不错,孩子。”

王崎语气也不免多了一分低落:“若无希前辈与歌庭派众人的努力。晚辈也做不出这一重成就……”

希柏澈摇摇头:“不只是说你的那不完备和不可判定,还有你刚刚的那一通讲——很好。”

在地球上,布尔巴基学派便继承了希尔伯特的部分理想,形式化已知的算学,并在这方面走得最远、

算主希柏澈也看出了这一点。

“原本以为,此事之后,离宗便算完了。不过。既然有你在。那便不用担心什么了。”

冯落衣长叹一声,问道:“希门主,你今后还有什么打算?”

“我暂时还不打算放弃形式化的道路,至少要形式化已知的部分。至于其他……”算主笑道:“月寒,我道心新丧,实力是有原本的一成左右。西海龙王估摸着是打不过了,但是镇压一方妖孽还是不成问题的。“

处理完了这不完备引发的种种琐事之后。也到了与龙族叛逆、海妖、古法修清算的时候了。

这颗星球上,所有的威胁,便都要在这一战当中铲除掉!

“很好。”算主点点头,又看了王崎一眼,笑道:“不必内疚。我道心破碎,你并无主观上的恶意,与算君当年所行之事截然不同。”

说完这句话之后,算主便离开了。

金碧辉煌的幻境,褪去了颜色,变成黑白二色。阴阳变换。王崎、冯落衣,图灵真人三人相对而立。

“终究是要落幕的……”

冯落衣摇头,也消失了。

“天下终归是没有不散的宴席。”图灵真人也显出悲春伤秋的表情:“今后的算学,究竟会如何发展呢……”

“算理基础这一块,也就剩一次最后的光彩了。”王崎也感叹:“算君会重新得势的,因为在今后,低维拓扑方面的能力就会越来越重要……”

不得不说。数学之中,也有“一代补丁一代神”的现象。更早的时候,天元式、变天式、曲线就是一切。算君的时代,连宗当道,几何、拓扑就是主流。到了算主的时代,集合论如日中天。即使是现在,他王崎在有穷与无穷当中划出了一个鸿沟,集合论也依旧巨大。

但是,当自己抛出力迫法之后,集合论也将走向末路。或许也只有“无穷”的问题,还可以支撑这个领域。

今后数学的发展,就会走向一个前人难以理解的领域。朗兰兹纲领将横跨代数、几何和群论,引发新一轮算学革命。

图灵真人有些好奇:“你不大看好歌庭派?”

“歌庭派啊,还是有好东西的。但是,‘形式’的寿元便走向倒数了。”王崎思索着。

在布尔巴基学派的思想里,形式化只是一个用来梳理数学已知部分的工具,可不是什么重要的东西。在这一步完成的时候,形式化便被彻底抛弃。

图灵真人收起心绪,问王崎:“听说冯落衣还交给你了一个秘密任务,要你借机潜修一阵。这段日子,你便安安心心的梳理自身吧。”

王崎点点头,退出了万仙幻境。

此时,他的通讯记录快被挤爆了。就算有贾维斯做管理也一团混乱。

王崎没有接通任何灵讯。他只是给所有人统一回信,告诉他们自己要闭关一段时间。然后,他想了想,给苏君宇和陈由嘉单独回了几封信。

“接下来有可能是热点的领域,递归论还算方兴未艾,而且算器理论始终须要它,所以算得上有价值。然后,如果思路偏向连宗,就做低维拓扑、代数拓扑,偏离宗就做抽象代数……”

苏君宇是自己的合作伙伴,自己修法更新换代可指望他努力。至于陈由嘉……还需要理由?

做完这一切之后,王崎才脱离万仙幻境,对弥道:“好了,师姐,我们走吧。”

现在,该去海外讨回那一笔债了。(未 完待续 ~^~)

PS:  王崎最后一段演讲,基本取自布尔巴基学派灵魂人物韦伊的演讲《数学的未来》……请不要深究王崎为什么能够记下来这种王崎,因为我要自创那种水平的演讲我真的做不到……

月票和推荐票和订阅~

重新连接服务器...

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

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

此会话被服务器暂停.

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