走进修仙

算主看似站立在无限的世界里，但实际上，“不完备”“不可判定”早就划定了一个界限。
这时，他身旁的冯落衣忽然出声：“艾克蛮，你的论文呢？你已经完成了吧？”
站在人群边缘的艾克蛮缩缩脖子。说道：“冯先生，我这个就不用拿出来献丑了吧？师父您……”
“你是做超限法证明算术相容的吧？”希柏澈笑了笑：“当初我说了。虽非正道，但可以作为奇兵以辅正。拿出来吧，我还没那么小气。”
艾克蛮这位七尺大汉畏缩的将四篇论文传给希柏澈，还说道：“这个也不能算我一个人的，应该算和王崎那孩子合写的。”
逍遥级的元神在一瞬间就读完了四篇论文。之后，希柏澈竟如宕机一般陷入沉默。
过了许久，他才开口道：“这个方面，比预料中快很多。”
王崎的理论底子来自地球的二十一世纪，略高于神州。他只不过在关键点上挑出一些地球数学家的想法，就让艾克蛮这位逍遥有茅塞顿开之感，惊觉“算学竟还能如此”。而艾克蛮本身就是逍遥级数的算家，二人联手，写论文、攻关下城自然快。
希柏澈舒了口气：“月寒啊……我始终是弄不懂你们这些天才的思路。”
算主希柏澈，天资平平，悟性平平。他登临神州算学顶峰，靠的不是冯落衣和庞家莱那种近乎生而知之的天分。他是个勤奋的天才，也只是勤奋的天才。
“为何？”
“你说，王崎这孩子，是不是一开始就预见了这一点？他一开始就知道我们走的是独木桥，所以才向绕路而行？”
冯落衣淡然道：“绕路到达的终点不是我们要的终点，意义不大。”
“有时候特殊性的研究比一般性更有意义，况且……”希柏澈扬了扬庞家莱的论文：“这就是意义，虽然只是暂时的。”
冯落衣点点头：“我知道了。”
“另外，月寒，你的一道神念是和王崎在一块吧？”
冯落衣点头：“是的，我正在和他商讨一些事情。”
“帮我问问他，他当初是如何想到超限法这条路的。”
……………………
面对冯落衣的质问，王崎感觉自己心跳开始加快了。
虽然数学有可能领先自然科学的发展，但是数学本身是不会出现飞跃式发展的，不可能从微积分之前一下子跳到希尔伯特空间之后。数学本身的发展必然是有迹可循的。
自己既然提出了超限归纳法的路子，那就意味着自己必然看到了这条路的可行性与必要性。但是这种预见在大多数算家眼中很没有道理。如果这条路不是那么显眼也就算了，可王崎清楚，这条路实际上比歌庭一脉所有逍遥的路都正。
因为在王崎的记忆里，这是一篇无数地球数学家趟过的雷区。而在算主心中，这是一片有着无限可能性的新天地。
面对冯落衣的质问，王崎不可避免的紧张了。
“怎么办……难道要抖出哥德尔不完备定理？”
这个念头一生出就被王崎死死按住。
这尼玛这是药丸的节奏啊！只要哥德尔不完备定理一出，算主的野心立马破产，好不容易聚集起来的离宗力量也会因为人心散了而变成不好带的队伍。
卧槽我还想利用这些前辈提前完成布尔巴基学派的工作咧！
支吾过去也不是不行，一切都推说是灵感，但是这样的话一次两次还成，多了的话就是在告诉别人“我有问题！”而自己的知识是超时代的，因此显露出不同主流东西的次数不会少。为了防备陈景云之类的有心人，自己最好每一次都做出解释。
等一下……布尔巴基学派？布尔巴基……《数学原理》……
王崎脑海之中灵光一闪！(未完待续请搜索，小说更好更新更快!





走进修仙 第一百四十四章 布尔巴基学派
面对冯落衣的质问，王崎明白，这就是无形的考验。
将一切推给灵感、推给直觉也不是不行。但是，灵感并非无迹可寻的。这种思维活动只不过是潜意识里的东西偶然的表现出特殊的规律。
而说出自己怀疑数学本身不完备、想从别处入手，就代表自己背离了算主的道路。更严重的是，万一有人因为自己的话而得出哥德尔不完备定理，那离宗一系就可以直接吃个散伙饭了。
这时，王崎灵光一动，道：“老师，我最初的目标其实不是证明完备性，这只是无心插柳之成果。我实际上要做的是另一件事。”
冯落衣讶道：“如此严密的理论竟是无心为之？你的本意是什么？”
王崎有些支吾：“这只是一个不成熟的想法。”
“你既然已经做出成果，那就代表这条路可行，即使走不到你原本想要达到的地步，也可以窥见一重大道。”
王崎“咬咬牙”，问道：“老师，您觉得，算学，究竟是‘一门算学’，还是‘多门算学’？”
冯落衣摇头：“不同算家有不同看法，这个是做不出正确回答的。”
“入道之时，我就在想，算学的子学科日益增多，这究竟是一个具有坚实构造的有机体的发育过程，随着新的发展日益获得越来越大的协调性和统一性,还是它的外部所表现出的那种逐步分裂的趋势是算学的本性中所固有的？其中独立的学科,不仅它们的目的,而且它们的方法甚至它们的语言也正在越来越明显地分离?我们现在是有一门数学还是有几门数学?”
冯落衣微不可查的点点头。类似的问题很多算家都想过，每个万法门弟子也都能说出一点自己的见解。但是。能够提出这么多问题的，确实不多。
只要一领域，只要它能提出大量的问题。它就充满着生命力，而问题缺乏则预示着独立发展的终止或衰亡。这是希门主曾经说过的话，冯落衣一直深以为然。
他开口问道：“那么，你是怎么看的呢？”
“当然是，只有一门。”王崎露出了自信的，或者说狂妄的笑容：“也只能有一门。”
“说理由，不然你的理论没有任何意义。”
冯落衣冷静地给弟子泼着冷水。每年都有一些年轻修家怀着热情提出一个又一个天马行空的想法。但遗憾的是。由于提出者本身缺少积累，这些点子大多都没有价值。更有一些小家伙连自己想要批判什么都没读懂就嚷嚷着自己要重塑今法的体系。
对于冯落衣的这个质问，王崎只能表示无言以对：“冯老师。我这个想法和希门主证明算学完备、无错、可判的理想一样，只是理念以及理想。但是你要我说思路，那我倒还可以说一点。”
数学不仅仅是各个学科的简单总和,数学各领域之间有着千丝万缕的联系,实际上，只要顺着算主的思路进行抽象化、形式化及公理化的方法。通过这种方法,各种结构的相似和差异以及它们的复杂程度都一目了然。
结构的基础是集合。集合的概念较为简单,它只涉及集合、元素以及元素属于集合这种简单关系。它不讨论元素和元素之间的关系,而元素与元素之间以及元素与子集合、子集合与子集合之间的各种关系,这就是结构。这个结构。完全可以成为数学的框架。将之统一起来。
王崎现在所说的，实际上就是现代数学的基础之一，布尔巴基学派的指导纲领。
布尔巴基学派是一个对现代数学有着极大影响的数学家的集体。其中大部分是法国数学家。他们的活动从20世纪30年代中期开始，曾先后在数学杂志上发表过一些文章，编写了多卷集的《数学原理》，是数学发展史上最重要的学派之一。
在某种意义下，布尔巴基学派和哥廷根学派一样，堪称数学学派的典范。哥廷根学派是“博”。它的辉煌从高斯到外尔一直延续了接近两百年，涉及领域几乎囊过了整个数学。而布尔巴基则是“深”。它近乎完美地完成了自己时代赋予它的在创造新数学和推动整个数学发展的任务。
冯落衣倾听片刻之后，脸上首度显露出惊异之色：“这个思路很好。”
逍遥的眼光何其高？能得他一个好字，便已足以让许多万法门弟子觉得死而无憾了。
王崎没有太过明显的情绪波动。他很清楚冯落衣赞的并不是自己本身，而是自己背后那个伟大的学派。他接着说道：“将所有算学汇集于一门是我的理想，然后我的研究思路也是这样的，用结构性的方法整理算学，吃透算学。完备率对我而言属于意外所得。”
“原理如此。”冯落衣点点头，没说什么。
在这场问答之中，王崎颠倒了因果。实际上布尔巴基学派的成果多少都是建立在哥德尔的基础上的，王崎则是自称根据布尔巴基的纲领得出哥德尔的莅临，从逻辑上也不是说不过去。但是，冯落衣还是有疑问：“那么你为什么不使用更加直观可信的归纳原则？超限法的根基稳固吗？”
“我的水平还不足以支撑我在短时间内将之完成，但我至少希望完成一部分，让我能够证明一下自己的道路。所以明知是绕路，我也要先看一看结果。”
对于王崎的回答，冯落衣并不如何满意，但这还在能够接受的范围之内。他点点头，挥退了王崎。
另一边，看完冯落衣全程转播的画面之后，希柏澈陷入了沉默。然后他才苦笑：“真是了不得的天才啊。”
艾克蛮问道：“那么师父，这几篇论文……”
“想不到我居然要靠自己不完全赞同的东西来应敌。”希柏澈一时间感到很挫败。不过很快他就重新振奋精神：“不过，王崎的理念倒是给了我一些新的想法。他的路子和我们其实很接近的，他完不成的东西，也许可以靠我们来完成。”
冯落衣提出异议：“但是我们最终的目标是证明算学自身的稳固。”
“这是一个将算学公理化的思路，很不错。”希柏澈指向算君的论文：“而且我们只是拨出一个月的时间来做这件事。一个月之后我们依旧按照我们自己的步调走。”
独立于吐出另一个问题：“这是王崎的想法。这么做等若是夺了人家的路。”
“我会补偿他的，以一切显性或隐性的方式。”希柏澈坚定的说道。
………………
算主并不知道，自己做出补偿决定的同时，王崎正趴在书桌前，一片奋笔疾书一边哀嚎：“完了完了，做了个大死啊卧槽！卧槽卧槽！”
“作死？”陈由嘉对这个词语表示好奇。
“类似于玩水显摆水行最后被淹死叫作死。”王崎快哭了。
我只是希望能够引导出布尔巴基学派的结果，让这个世界的算学更接近我前世……布尔巴基学派的工作我可做不来啊混蛋！
分析数学、概率论、应用数学、计算数学,特别是理论物理、动力系统理论相关，这才是我想做的领域……这这些全部都是布尔巴基学派忽视的领域啊啊啊啊！
“冯老师，希门主，麻烦你们自己把这个问题解决掉吧！不要让我来解决啊！”
少年是如此祈求的。(未完待续请搜索，小说更好更新更快!
ps：谢盟主的第二更。
虚日鼠和月宫蟾的这个梗也不是第一次出现了，这个梗的由来，大家感兴趣的话可以“青蛙与老鼠的战争”




走进修仙 第一百四十五 冬
这一年，神京的第一场雪来得比去年稍微晚一些。此时已经接近腊月，是王崎来神京的第四个月。
而这最后一个月里，王崎对神州的影响却比这一辈子的十六年加起来还要大。
一场轰轰烈烈的算学革新已经展开，以算主为代表的歌庭派宣布重新构建算学，将已知的算学融为一体——当然，是用形式主义的思路，将算学整个表达为一种形式系统。
对此，算君依旧是那句话——“但是，这有什么用呢？”在算君看来，算学就是算学，不管你如何定义它，算学那与道同一的性质是不会改变的。
但不得不说，在这件事上，算君那近乎生而知之的天分拖累了他。对他来说，有没有这些玩意都一样，可这来自于布尔巴基学派的思想对于许多普通算家来说，无益于打开了一道新的大门，让他们认识到了算学的另一面。
一方面，歌庭派爆发出了全部的热情，优秀论文像是井喷一样从这个小小的书斋之中流传出来。另一方面，越来越多的万法宗师以及优秀弟子开始从这个全新的角度认识算学。
算君庞家莱之后又接连发表了几篇论文，来解决构造性计算理论之内的部分问题。他虽然只有一个人，但是研究不受“不完备”的掣肘，水平又足够高，居然以一人之力和歌庭派全员斗得旗鼓相当。
在这场虚日鼠与月宫蟾的死斗之中，有两个名字变得格外引人注目。首先。一个叫做王崎的练气期小辈的名字居然频频出现在这场论战当中，不止与算主弟子、逍遥大修合写论文，而且还被这些逍遥修士多次提及。另一个名字很奇怪。叫做“佚名”，歌庭派的近期论文之中，几乎每一篇的第二作者或者第三作者都是一个叫做“佚名”的家伙。
前者自不用说，肯定是歌庭派在为那完备律造势，只是造势的姿势太难看了些。这一点让很多低阶弟子颇不服气，尤其是万法门的真传。为此，有不少人已经专程来神京找王崎的麻烦。其中甚至还有筑基圆满，随时可以结丹的天才人物。幸好其中大部分都被辰风挡了回去。
而后者意义就不一样了。最近一个月歌庭派所有论文的第二作者或第三作者啊！这得是多么庞大的一笔功值啊！要知道，逍遥级的论文就算再冷门也会有保底的奖励。兑换和引用不会太缺，得到的功值绝对不会少。而这么多论文一起来奖励，这位佚名先生就算是大宗师也要吃到撑！
神州无数修士在猜测这位“佚名”到底是谁的时候，“佚名”先生王崎终于觉得自己过上了温饱的日子。
就在一个月之前。冯落衣突然找上王崎。告诉了他一件他做梦都想不到的好事——歌庭派希望能够沿着王崎指出的思路，也就是布尔巴基学派的想法，将算学整体全部表达为形式系统。王崎听到这个消息的时候高兴得不能自已。
歌庭派居然主动要进行布尔巴基学派的工作？我还以为在哥德尔不完备定理之前希前辈根本就不会看这些歪门邪道一眼呢，没想到啊哇哈哈哈哈哈哈哈！这是好事啊哈哈哈哈哈！
看着王崎发自内心的狂喜，冯落衣觉得，自己到底还是低估了这小子。
以前觉得这孩子向道之心甚坚，现在看来自己完全看走了眼——这哪里是甚坚，这根本就是朝闻道夕死可矣的典范啊！是求道者中的求道者！
明明是他提出了算学结构的构想。但是听到希门主愿意做这项裹作之后，竟忘了这一点。单纯为算题得解而由衷的开心！这得是多么高尚的品格！这又是多么诚于算学！
大名鼎鼎的“苍生国手”突然举得，已经拟好的条件怎么也说不出口了。
对于这种一心向道的弟子来说，给什么都是侮辱。所以，还是讲所有奖励都转成隐性的好了。
另外，“朝闻道”的心态值得赞叹，但不值得提倡。修士寿元无限，首先的活下去，才有闻得大道的希望。所以以后自己还是专门分神一道为他保路……不过这件事不利于他的成长，还是不要告诉他比较好。
只是一瞬间，冯落衣就做出了决定。于是在这一刻，王崎获得了“真.随身老爷爷”，而且这个老爷爷非常良心，不用王崎帮忙重铸肉身，更能提供最好的指导，关键时刻还能跳出来救命。不像某个戒指里的废柴老爷爷。
只可惜王崎自己不知道这一点。
由于害怕王崎得到大笔功值之后随意挥霍，或者造成他再次陷入因为修炼太多乱七八糟的东西而自毁前程的窘境，歌庭派的诸多逍遥决定分期将得到的功值送到王崎手里。由于第一批功值到账，再加上哥德尔完备性定理带来的收入，王崎终于有一种脱贫致富、成为万元户的感觉了。
因此，他打算忙完之后过一个肥年。
与此同时，昆仑山脉的另一边，万法门的山门之内，正是另一种气氛。
议事堂里面，聚集了万法门所有学术地位足够，又没有出门或者闭死关的大宗师。坐在众人上首的，乃是三位逍遥，白泽神君与薄氏昆仲。
白泽神君是当仁不让的主持。这种内部会议，大多数算家都觉得麻烦，会避免接受这种事务，但白泽神君最好名誉，这种事都是抢着来的。他轻咳两声，问道：“能来的都来了吧？”
见无人表示反对或用法器呼唤他人，神君满意的点点头，然后说道：“我想，我们聚在这里的理由，大家都很清楚了吧？”
薄月翰到：“白泽，不要打官腔了，直入主题吧。”
白泽神君点点头，开口道：“我们今天的第一个议题就是本届道器赏的归属。希柏澈提名的王崎及其证明的完备律，我想大家都看过或听说过了。应该没有人反对将道器赏与他吧？”
薄雅歌点头：“最近几年最伟大的算学成就莫过于此。”
“我有异议。”就在这时，一个宗师站起来反驳道。(未完待续请搜索，小说更好更新更快!
ps：为了践行诺言，我拼了orz……还请大家继续月票支持，争取让咱上个月票榜




走进修仙 第一百四十六章 史上最年轻
“我有意见。”有一位大宗师站了起来。
他身上气息自成一体，法力自生，至少是炼虚级数。白泽神君扫了他一眼，道：“我记得你，张锦松是吧？说吧，为什么反对？”
“我并不认为王崎又足够的资格问鼎道器赏。”名叫张锦松的宗师说道：“他的成果，完备律，确实是一个精巧的戏法。可是，这在实践之中的应用还未证实——我个人更倾向于没有什么用。”
有几位宗师轻轻颌首。他们都是偏向于应用的算家，对算理的实际作用更加关注。完备性定理的实际应用，他们就一日不会点头。
但是有少数宗师冷眼看着他，眼中隐含嘲讽。
蠢货。
道器赏是否颁与王崎的问题，不仅仅和道器赏本身有关更，关乎到算君算主的去留问题。
虚日鼠和月宫蟾的惊世之战，又哪里是普通猛兽可以插足的？站队可不是这么站的。
果不其然，薄雅歌脸上露出刻薄的笑容。他不带一丝婉转地问道：“你瞎吗？”
“什么？前辈你……”
“我问你瞎吗？”薄雅歌冷笑：“千机阁的图灵先生是凭什么炼制算器的？算学逻辑这些年在算器理论领域的作用你们都看不见吗？这个本身就可以作为算学逻辑领域的里程碑。这样的成就，你难道还看不出他的实用性？”
“我也觉得不太好。”另一人站起来说道：“王崎如今才练气后期，刚刚从仙院结业半年。如果将道器赏颁发与他。恐怕不能服众。”
这名宗师身上一股老朽气息，多半是那种天分不高，临近老朽才突破的。白泽神君这次没记住他的名字——他一向只记有天分的年轻人。他看着这问宗师。问道：“这位道友，道器赏的目的是什么？奖励范围是什么？”
“促进算学发展，鼓舞后辈，然后只奖励五十岁元神期以下的，对算学发展有贡献的人。”
白泽神君问道：“那么练气期在金丹期以上吗？还是说，王崎完备律对算学的发展不够大？”
“可是道器赏还得注重权威性，王崎毕竟才十六岁。怎么能……”
“难道说，对算学的贡献是按年龄来看的？那么我们还是不要选了，直接看看诸位提名者的生辰八字。太年轻永远不能作为理由。我十八岁的时候就已经是神州算林小有名气的人物了。而在座的各位，十八岁怕是还在练气级数挣扎吧？”白泽神君语气渐渐变得严厉起来：“还有权威性。道器赏的权威性是由什么来决定的？你吗？”
“是我们大多数人……”
“醒醒吧，希柏澈那个家伙比你们所有人加起来都有资格！”神君身上渐渐散发出强大的气意，震慑着一众宗师。他如同真正的白泽古兽。发出清越的咆哮：“还有谁？还有谁反对？”
这些发表意见的万法宗师都搞错了一件事情。白泽神君召唤众人过来并不是商量道器赏的归属问题。而是宣布结果。真正的商量只在他、薄雅歌、薄月翰三人之间完成了。
其他所有人的学术地位加一块，都比不过这三人当中的任何一人。更别说薄雅歌和薄月翰还代表这薄家无数高手。
但是，依旧有不怕死的愣头青。张锦松顶着逍遥级数的庞大气意，大声反驳：“就算算主的遂平远远高于我等，可是——屁股决定脑袋！我们必须保证算主没有因为赌约而打压异己！”
“屁股决定脑袋？你是说，本座的屁股坐在算主的凳子上，所以才选择王崎吗？我和薄家两位逍遥都是因为这个理由才选择王崎？”
张锦松被白泽神君的气势压得微微低头，可他依旧倔强的说道：“连宗离宗理念不同。一边认为有意义的东西在另一边看来并没有什么意义……”
“连宗离宗，本尊其实是不大在乎的。庞家莱和希柏澈肯让本尊来做中间人，也是相信本尊的信誉，至少在算学上，本尊是绝对不会有任何偏颇！”
白泽神君环视议事堂，然后发出一声冷笑：“看起来，你们对道器赏的归属都没那么看重嘛。那么我们就直接进入下一个主题好了——或者说，两个主题一并解决！”
“现在，我们就来决定吧！算君和算主，究竟谁去！谁留！”
…………………………