第一百四十四章 布尔巴基学派【第五更】

面对冯落衣的质问,王崎明白,这就是无形的考验。

将一切推给灵感、推给直觉也不是不行。但是,灵感并非无迹可寻的。这种思维活动只不过是潜意识里的东西偶然的表现出特殊的规律。

而说出自己怀疑数学本身不完备、想从别处入手,就代表自己背离了算主的道路。更严重的是,万一有人因为自己的话而得出哥德尔不完备定理,那离宗一系就可以直接吃个散伙饭了。

这时,王崎灵光一动,道:“老师,我最初的目标其实不是证明完备性,这只是无心插柳之成果。我实际上要做的是另一件事。”

冯落衣讶道:“如此严密的理论竟是无心为之?你的本意是什么?”

王崎有些支吾:“这只是一个不成熟的想法。”

“你既然已经做出成果,那就代表这条路可行,即使走不到你原本想要达到的地步,也可以窥见一重大道。”

王崎“咬咬牙”,问道:“老师,您觉得,算学,究竟是‘一门算学’,还是‘多门算学’?”

冯落衣摇头:“不同算家有不同看法,这个是做不出正确回答的。”

“入道之时,我就在想,算学的子学科日益增多,这究竟是一个具有坚实构造的有机体的发育过程,随着新的发展日益获得越来越大的协调性和统一性, 还是它的外部所表现出的那种逐步分裂的趋势是算学的本性中所固有的?其中独立的学科, 不仅它们的目的, 而且它们的方法甚至它们的语言也正在越来越明显地分离? 我们现在是有一门数学还是有几门数学?”

冯落衣微不可查的点点头。类似的问题很多算家都想过。每个万法门弟子也都能说出一点自己的见解。但是,能够提出这么多问题的,确实不多。

只要一领域,只要它能提出大量的问题,它就充满着生命力。而问题缺乏则预示着独立发展的终止或衰亡。这是希门主曾经说过的话,冯落衣一直深以为然。

他开口问道:“那么,你是怎么看的呢?”

“当然是,只有一门。”王崎露出了自信的,或者说狂妄的笑容:“也只能有一门。”

“说理由,不然你的理论没有任何意义。”

冯落衣冷静地给弟子泼着冷水。每年都有一些年轻修家怀着热情提出一个又一个天马行空的想法。但遗憾的是,由于提出者本身缺少积累。这些点子大多都没有价值。更有一些小家伙连自己想要批判什么都没读懂就嚷嚷着自己要重塑今法的体系。

对于冯落衣的这个质问。王崎只能表示无言以对:“冯老师,我这个想法和希门主证明算学完备、无错、可判的理想一样,只是理念以及理想。但是你要我说思路,那我倒还可以说一点。”

数学不仅仅是各个学科的简单总和, 数学各领域之间有着千丝万缕的联系, 实际上,只要顺着算主的思路进行抽象化、形式化及公理化的方法。通过这种方法, 各种结构的相似和差异以及它们的复杂程度都一目了然。

结构的基础是集合。集合的概念较为简单, 它只涉及集合、元素以及元素属于集合这种简单关系。它不讨论元素和元素之间的关系, 而元素与元素之间以及元素与子集合、子集合与子集合之间的各种关系, 这就是结构。这个结构,完全可以成为数学的框架,将之统一起来。

王崎现在所说的。实际上就是现代数学的基础之一,布尔巴基学派的指导纲领。

布尔巴基学派是一个对现代数学有着极大影响的数学家的集体。其中大部分是法国数学家。他们的活动从20世纪30年代中期开始,曾先后在数学杂志上发表过一些文章,编写了多卷集的《数学原理》,是数学发展史上最重要的学派之一。

在某种意义下,布尔巴基学派和哥廷根学派一样,堪称数学学派的典范。哥廷根学派是“博”,它的辉煌从高斯到外尔一直延续了接近两百年,涉及领域几乎囊过了整个数学。而布尔巴基则是“深”,它近乎完美地完成了自己时代赋予它的在创造新数学和推动整个数学发展的任务。

冯落衣倾听片刻之后。脸上首度显露出惊异之色:“这个思路很好。”

逍遥的眼光何其高?能得他一个好字,便已足以让许多万法门弟子觉得死而无憾了。

王崎没有太过明显的情绪波动。他很清楚冯落衣赞的并不是自己本身,而是自己背后那个伟大的学派。他接着说道:“将所有算学汇集于一门是我的理想,然后我的研究思路也是这样的,用结构性的方法整理算学,吃透算学。完备率对我而言属于意外所得。”

“原理如此。”冯落衣点点头,没说什么。

在这场问答之中。王崎颠倒了因果。实际上布尔巴基学派的成果多少都是建立在哥德尔的基础上的,王崎则是自称根据布尔巴基的纲领得出哥德尔的莅临,从逻辑上也不是说不过去。但是,冯落衣还是有疑问:“那么你为什么不使用更加直观可信的归纳原则?超限法的根基稳固吗?”

“我的水平还不足以支撑我在短时间内将之完成,但我至少希望完成一部分,让我能够证明一下自己的道路。所以明知是绕路,我也要先看一看结果。”

对于王崎的回答,冯落衣并不如何满意,但这还在能够接受的范围之内。他点点头,挥退了王崎。

另一边,看完冯落衣全程转播的画面之后,希柏澈陷入了沉默。然后他才苦笑:“真是了不得的天才啊。”

艾克蛮问道:“那么师父,这几篇论文……”

“想不到我居然要靠自己不完全赞同的东西来应敌。”希柏澈一时间感到很挫败。不过很快他就重新振奋精神:“不过,王崎的理念倒是给了我一些新的想法。他的路子和我们其实很接近的,他完不成的东西,也许可以靠我们来完成。”

冯落衣提出异议:“但是我们最终的目标是证明算学自身的稳固。”

“这是一个将算学公理化的思路,很不错。”希柏澈指向算君的论文:“而且我们只是拨出一个月的时间来做这件事。一个月之后我们依旧按照我们自己的步调走。”

独立于吐出另一个问题:“这是王崎的想法。这么做等若是夺了人家的路。”

“我会补偿他的,以一切显性或隐性的方式。”希柏澈坚定的说道。

………………

算主并不知道,自己做出补偿决定的同时,王崎正趴在书桌前,一片奋笔疾书一边哀嚎:“完了完了,做了个大死啊卧槽!卧槽卧槽!”

“作死?”陈由嘉对这个词语表示好奇。

“类似于玩水显摆水行最后被淹死叫作死。”王崎快哭了。

我只是希望能够引导出布尔巴基学派的结果,让这个世界的算学更接近我前世……布尔巴基学派的工作我可做不来啊混蛋!

分析数学、概率论、应用数学、计算数学, 特别是理论物理、动力系统理论相关,这才是我想做的领域……这这些全部都是布尔巴基学派忽视的领域啊啊啊啊!

“冯老师,希门主,麻烦你们自己把这个问题解决掉吧!不要让我来解决啊!”

少年是如此祈求的。(未 完待续 ~^~)

PS: 谢盟主的第二更。虚日鼠和月宫蟾的这个梗也不是第一次出现了,这个梗的由来,大家感兴趣的话可以百度一下“青蛙与老鼠的战争”

第一百四十五 冬【第六更】

这一年,神京的第一场雪来得比去年稍微晚一些。此时已经接近腊月,是王崎来神京的第四个月。

而这最后一个月里,王崎对神州的影响却比这一辈子的十六年加起来还要大。

一场轰轰烈烈的算学革新已经展开,以算主为代表的歌庭派宣布重新构建算学,将已知的算学融为一体——当然,是用形式主义的思路,将算学整个表达为一种形式系统。

对此,算君依旧是那句话——“但是,这有什么用呢?”在算君看来,算学就是算学,不管你如何定义它,算学那与道同一的性质是不会改变的。

但不得不说,在这件事上,算君那近乎生而知之的天分拖累了他。对他来说,有没有这些玩意都一样,可这来自于布尔巴基学派的思想对于许多普通算家来说,无益于打开了一道新的大门,让他们认识到了算学的另一面。

一方面,歌庭派爆发出了全部的热情,优秀论文像是井喷一样从这个小小的书斋之中流传出来。另一方面,越来越多的万法宗师以及优秀弟子开始从这个全新的角度认识算学。

算君庞家莱之后又接连发表了几篇论文,来解决构造性计算理论之内的部分问题。他虽然只有一个人,但是研究不受“不完备”的掣肘,水平又足够高,居然以一人之力和歌庭派全员斗得旗鼓相当。

在这场虚日鼠与月宫蟾的死斗之中。有两个名字变得格外引人注目。首先,一个叫做王崎的练气期小辈的名字居然频频出现在这场论战当中,不止与算主弟子、逍遥大修合写论文,而且还被这些逍遥修士多次提及。另一个名字很奇怪,叫做“佚名”。歌庭派的近期论文之中,几乎每一篇的第二作者或者第三作者都是一个叫做“佚名”的家伙。

前者自不用说,肯定是歌庭派在为那完备律造势,只是造势的姿势太难看了些。这一点让很多低阶弟子颇不服气,尤其是万法门的真传。为此,有不少人已经专程来神京找王崎的麻烦,其中甚至还有筑基圆满。随时可以结丹的天才人物。幸好其中大部分都被辰风挡了回去。

而后者意义就不一样了。最近一个月歌庭派所有论文的第二作者或第三作者啊!这得是多么庞大的一笔功值啊!要知道。逍遥级的论文就算再冷门也会有保底的奖励,兑换和引用不会太缺,得到的功值绝对不会少。而这么多论文一起来奖励,这位佚名先生就算是大宗师也要吃到撑!

神州无数修士在猜测这位“佚名”到底是谁的时候,“佚名”先生王崎终于觉得自己过上了温饱的日子。

就在一个月之前,冯落衣突然找上王崎,告诉了他一件他做梦都想不到的好事——歌庭派希望能够沿着王崎指出的思路。也就是布尔巴基学派的想法,将算学整体全部表达为形式系统。王崎听到这个消息的时候高兴得不能自已。

歌庭派居然主动要进行布尔巴基学派的工作?我还以为在哥德尔不完备定理之前希前辈根本就不会看这些歪门邪道一眼呢,没想到啊哇哈哈哈哈哈哈哈!这是好事啊哈哈哈哈哈!

看着王崎发自内心的狂喜,冯落衣觉得,自己到底还是低估了这小子。

以前觉得这孩子向道之心甚坚,现在看来自己完全看走了眼——这哪里是甚坚,这根本就是朝闻道夕死可矣的典范啊!是求道者中的求道者!

明明是他提出了算学结构的构想,但是听到希门主愿意做这项裹作之后,竟忘了这一点,单纯为算题得解而由衷的开心!这得是多么高尚的品格!这又是多么诚于算学!

大名鼎鼎的“苍生国手”突然举得。已经拟好的条件怎么也说不出口了。

对于这种一心向道的弟子来说,给什么都是侮辱。所以,还是讲所有奖励都转成隐性的好了。

另外,“朝闻道”的心态值得赞叹,但不值得提倡。修士寿元无限,首先的活下去,才有闻得大道的希望。所以以后自己还是专门分神一道为他保路……不过这件事不利于他的成长。还是不要告诉他比较好。

只是一瞬间,冯落衣就做出了决定。于是在这一刻,王崎获得了“真.随身老爷爷”,而且这个老爷爷非常良心,不用王崎帮忙重铸肉身,更能提供最好的指导,关键时刻还能跳出来救命。不像某个戒指里的废柴老爷爷。

只可惜王崎自己不知道这一点。

由于害怕王崎得到大笔功值之后随意挥霍,或者造成他再次陷入因为修炼太多乱七八糟的东西而自毁前程的窘境,歌庭派的诸多逍遥决定分期将得到的功值送到王崎手里。由于第一批功值到账,再加上哥德尔完备性定理带来的收入,王崎终于有一种脱贫致富、成为万元户的感觉了。

因此,他打算忙完之后过一个肥年。

与此同时,昆仑山脉的另一边,万法门的山门之内,正是另一种气氛。

议事堂里面,聚集了万法门所有学术地位足够,又没有出门或者闭死关的大宗师。坐在众人上首的,乃是三位逍遥,白泽神君与薄氏昆仲。

白泽神君是当仁不让的主持。这种内部会议,大多数算家都觉得麻烦,会避免接受这种事务,但白泽神君最好名誉,这种事都是抢着来的。他轻咳两声,问道:“能来的都来了吧?”

见无人表示反对或用法器呼唤他人,神君满意的点点头,然后说道:“我想,我们聚在这里的理由,大家都很清楚了吧?”

薄月翰到:“白泽,不要打官腔了,直入主题吧。”

白泽神君点点头,开口道:“我们今天的第一个议题就是本届道器赏的归属。希柏澈提名的王崎及其证明的完备律,我想大家都看过或听说过了。应该没有人反对将道器赏与他吧?”

薄雅歌点头:“最近几年最伟大的算学成就莫过于此。”

“我有异议。”就在这时,一个宗师站起来反驳道。(未 完待续 ~^~)

PS: 为了践行诺言,我拼了ORZ……还请大家继续月票支持,争取让咱上个月票榜

重新连接服务器...

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

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

此会话被服务器暂停.

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