00:00/00:00
外链地址
https://www.eemp3.com/audiofile/d308804f127254398192e5381ea68626.mp3
点击复制
本字幕由TME AI技术生成
欢迎收听由懒人听书出品的走进修仙
作者
吾道长不孤
演播
淫余者
面对冯落衣的质问
王崎明白这就是无形的考验
将一切推给灵感
推给直觉也不是不行
但是灵感并非无迹可寻的
这种思维活动只不过是潜意识里的东西
偶然的表现出特殊的规律
而说出自己怀疑数学本身不完备
想从别处入手
就代表自己背离了算主的道路
更严重的是
万一有人因为自己的话而得出哥德尔不完备定理
那离宗一系可以直接吃个散伙饭了
这时王崎灵光一动
道
老师
我最初的目标其实不是证明完备性
这只是无心插柳之成果
我实际上要做的是另一件事
冯落衣讶道
如此严密的理论竟是无心为之
你的本意是什么
王崎有些支吾
这只是一个不成熟的想法
你既然已经做出成果
那就代表这条路可行
即使走不到你原本想要达到的地步
也可以窥见一重大道
王崎咬咬牙
问道
老师
您觉得算学究竟是一门算学还是多门算学
冯落衣摇头
不同算家有不同的看法
这个是做不出正确回答的
入道之时我就在想
算学的子学科日益增多
这究竟是一个具有坚实构造的有机体的发育过程
随着新的发展日益获得越来越大的协调性和统一性
还是它的外部所表现出的那种逐步分裂的趋势
是算学的本性中所固有的
其中独立的学科不仅它们的目的
而且它们的方法
甚至它们的语言也正在越来越明显的分离
我们现在是有一门数学
还是有几门数学
冯落衣微不可查的点点头
类似的问题很多算家都想过
每个万法门弟子也都能说出一点自己的见解
但是能够提出这么多问题的确实不多
只要一领域
只要它能提出大量的问题
它就充满着生命力
而问题缺乏
则预示着独立发展的终止或衰亡
这是希门主曾经说过的话
冯落衣一直深以为然
他开口说道
那么你是怎么看的呢
当然是只有一门
王崎露出了自信的或者说狂妄的笑容
也只能有一门
说理由
不然你的理论没有任何意义
冯落衣冷静的给弟子泼着冷水
每年都有一些年轻修家怀着热情提出一个又一个天马行空的想法
但遗憾的是
由于提出者本身缺少积累
这些点子大多都没有价值
更有一些小家伙连自己想要批判什么都没读懂
就嚷嚷着自己要重塑今法的体系
对于冯落衣的这个质问
王崎只能表示无言以对
冯老师
我这个想法和西门主证明算学完备无措可怕的理想一样
只是理念以及理想
但是你要我说思路
那我倒还可以说一点
数学不仅仅是各个学科的简单总和
数学各领域之间有着千丝万缕的联系
实际上
只要顺着算主的思路进行抽象化
形式化及公理化的方法
通过这种方法
各种结构的相似和差异
以及它们的复杂程度都一目了然
结构的基础是集合
集合的概念较为简单
它只涉及集合
元素以及元素属于集合这种简单关系
它不讨论元素和元素之间的关系
而元素与元素之间
以及元素与子集合子集合与子集合之间的各种关系
这就是结构
这个结构完全可以成为数学的框架
将之统一起来
王琦现在所说的
实际上就是现代科学的基础之一
布尔巴基学派的指导纲领
布尔巴基学派是一个对现代数学有着极大影响的数学家的集体
其中大部分是法国数学家
他们的活动从二十世纪三十年代中期开始
曾先后在数学杂志上发表过一些文章
编写了多卷集的数学原理
是数学发展史上最重要的学派之一
在某种意义下
布尔巴基学派和哥廷根学派一样
堪称数学学派的典范
哥廷根学派是博
他的辉煌从高斯到外耳一直延续了接近两百年
涉及领域几乎囊括了整个数学
而布尔巴基则是深
他近乎完美的完成了自己时代赋予他的再创造新数学和推动整个数学发展的任务
冯落衣倾听片刻之后
脸上首度显露出惊讶之色
这个思路很好
逍遥的眼光何其高
能得他一个好字
便已足以让许多万法门弟子觉得死而无憾的
王琦没有太过明显的情绪波动
他很清楚冯落衣赞的并不是自己本身
而是自己背后那个伟大的学派
他接着说道
将所有算学汇聚于一门算的理想
然后我的研究思路也是这样的
用结构性的方法整理算学
吃透算学完备率对我而言属于意外所得
原来如此
冯落衣点点头
没说什么
在这场问答之中
王琦颠倒了因果
实际上布尔巴基学派的成果多少都是建立在哥德尔的基础上的
王琦则是自称根据布尔巴基的纲领得出哥德尔的理论
从逻辑上也不是说不过去
但是冯落衣还是有疑问
那么你为什么不使用更加直观可信的归纳原则
超限法的根基稳固吗
我的水平还不足以支撑我在短时间内将之完成
但我至少希望完成一部分
让我能够证明一下自己的道路
所以明知是绕路
我也要先看一看结果
对于王琦的回答
冯落衣并不如何满意
但这还在能够接受的范围之内
他点点头
挥退了王琦
另一边
看完冯落衣全程转播的画面之后
希柏澈陷入了沉默
然后他才苦笑
真是了不得的天才
艾克蛮问道
那么师傅
这几篇论文
想不到我居然要靠自己不完全赞同的东西来应敌
希柏澈一时间感到很挫败
不过很快他就重新振奋精神
不过王琦的理念倒是给了我一些新的想法
他的路子和我们其实很接近的
他完不成的东西
也许可以靠我们来完成
冯落衣提出异议
但是我们最终的目标是证明算学自身的稳固
这是一个将算学公理化的思路
很不错
希柏澈指向算君的论文
而且我们只是拔出一个月的时间来做这件事
一个月之后
我们依旧按照我们自己的步调走
冯落衣吐出另一个问题
这是王琦的想法
这么做等若夺了人家的路
我会补偿他的
以一切显性或隐性的方式
希柏澈坚定地说道
算主并不知道
自己做出补偿决定的同时
王琦正趴在书桌前一边奋笔疾书一边哀嚎
完了完了
做了个大死啊
作死
陈由嘉对这个词语表示好奇
类似于玩水显摆水行最后被淹死叫作死
王琦快哭了
我只是希望能够引导出布尔巴基学派的结果
让这个世界的算学更接近我前世
布尔巴基学派的工作我可做不来啊
分析数学
概率论
应用数学
计算数学
特别是理论物理
动力系统理论相关
这才是我想做的领域
这些全部都是布尔巴基学派忽视的领域啊
冯老师
希门主
麻烦你们自己把这个问题解决掉吧
不要让我来解决啊
少年是如此祈求的
这一年
神京的第一场雪来的比去年稍微晚一些
此时已经接近腊月
是王琦来神京的第四个月
而在这最后一个月里
王琦对神州的影响却比这一辈子的十六年加起来还要大
一场轰轰烈烈的算学革新已经展开
以算主为代表的歌庭派宣布重新构建算学
将已知的算学融为一体
当然
是用形式主义的思路将算学整个表达为一种形式系统
对此
算君依旧是那句话
但是这有什么用呢
在算君看来
算学就是算学
不管你如何定义他
算学那与道同一的性质是不会改变的
但不得不说
在这件事上
算君那近乎生而知之的天分拖累了他
对他来说
有没有这些玩意儿都一样
可这来自于布尔巴基学派的思想
对于许多普通算家来说
无异于打开了一道新的大门
让他们认识到了算学的另一面
一方面
歌庭派爆发出了全部的热情
优秀论文像是井喷一样从这个小小的书斋之中流传出来
另一方面
越来越多的万法宗师以及优秀弟子开始从这个全新的角度认识算学算军庞加莱之后
又接连发表了几篇论文来解决构造性计算理论之内的部分问题
他虽然只有一个人
但是研究不受不完备的掣肘水平又足够高
居然以一人之力和歌庭派全员斗的旗鼓相当
在这场虚日鼠与月宫蟾的死斗之中
有两个名字变得格外引人注目
首先一个叫做王琦的练气期小辈的名字居然频频出现在这场论战当中
不止与算主弟子逍遥大修合写论文
而且还被这些逍遥修士多次提及
另一个名字很奇怪
叫做佚名
歌庭派的近期论文之中
几乎每一篇的第二作者或者第三作者都是一个叫做佚名的家伙
前者自不用说
肯定是歌庭派在为那完备律造势
只是造势的姿势太难看了些
这一点让很多低阶弟子颇不服气
尤其是万法门的真传
为此有不少人已经专程来神京找王琦的麻烦
其中甚至还有筑基圆满随时可以结丹的天才人物
幸好其中大部分都被辰风挡了回去
而后者意义就不一样了
最近一个月歌庭派所有论文的第二作者或第三作者啊
这得是多么庞大的一笔功值啊
要知道
逍遥级的论文就算再冷门
也会有保底的奖励
兑换和引用不会太缺
得到的功值也绝对不会少
而这么多论文一起来奖励这位佚名先生
就算是大宗师也要吃到撑
神州无数修士都在猜测这位佚名到底是谁的时候
佚名先生王琦终于觉得自己过上了温饱的日子
就在一个月之前
冯落衣突然找上王琦
告诉了他一件他做梦都想不到的好事
歌庭派希望能够沿着王琦指出的思路
也就是布尔巴基学派的想法
将算学整体全部表达为形式系统
王琦听到这个消息的时候
高兴的不能自已
歌庭派居然主动要进行布尔巴基学派的工作
我还以为在哥德尔不完备定理之前
希前辈根本就不会看这些歪门邪道一眼呢
没想到啊
这是好事啊
看着王崎自内心的狂喜
冯落衣觉得自己到底还是低估了这小子
以前觉得这孩子向道之心甚坚
现在看来自己完全看走了眼
这哪里是甚坚
这根本就是朝闻道妻子可矣的典范啊
是求道者中的求道者
明明是他提出了算学结构的构想
但是听到希门主愿意做这项工作之后
竟忘了这一点
单纯为算题得解而由衷的开心
这得是多么高尚的品格
这又是多么诚于算学
大名鼎鼎的苍生国手突然觉得已经拟好的条件怎么也说不出口了
对于这种一心向道的弟子来说
给什么都是侮辱
所以还是将所有奖励都转为隐性的好了
另外昭闻道的心态值得赞叹
但不值得提倡
修士寿元无限
首先得活下去才有闻得大道的希望
所以以后自己还是专门分神一道为他保路
不过这件事不利于他的成长
还是不要告诉他比较好
只是一瞬间
冯洛伊就做出了决定
于是在这一刻
王崎获得了真随身老爷爷
而且这个老爷爷非常良心
不用王崎帮忙重铸肉身
更能提供最好的指导
关键时刻还能挑出来救命
不像某个戒指里的废柴老爷爷
只可惜王崎自己不知道这一点
由于害怕王崎得到大笔功值之后随意挥霍
或者造成他再次陷入因为修炼太多乱七八糟的东西而自毁前程的窘境
歌庭派的诸多逍遥决定分期将得到的功值送到王崎手里
由于第一批功值到账
加上哥德尔完备性定理带来的收入
王崎终于有一种脱贫致富成为万元户的感觉了
因此他打算忙完之后过一个肥年
与此同时
昆仑山脉的另一边
万法门的山门之内
正是另一种气氛
议事堂里面聚集了万法门所有学术地位足够
又没有出门或者闭死关的大宗师
坐在众人上手的乃是三位逍遥
白泽神君与薄氏昆仲
白泽神君是当仁不让的主持这种内部会议
大多数算家都觉得麻烦
会避免接受这种事物
但白泽神君最好名誉
这种事都是抢着来的
他轻咳两声
问道
能来的都来了吧
见无人表示反对或用法器呼唤他人
神君满意的点点头
然后说道
我想我们聚在这里的理由大家都很清楚了吧
薄月翰道
白泽
不要打官腔了
进入主题吧
白泽神君点点头
开口道
我们今天的第一个议题就是本届道器赏的归属
希柏澈提名的王崎及其证明的完备率
我想大家都看过或者听说过了
应该没有人反对将道器赏与他吧
薄雅歌点头
最近几年最伟大的算学成就莫过于此
我有意义
就在这时
一个宗师站起来反驳道