00:00/00:00
外链地址
https://www.eemp3.com/audiofile/b175540e2cf520f56b7eada88a596f19.mp3
点击复制
本字幕由TME AI技术生成
欢迎收听由懒人听书出品的走进修仙作者
吾道长不孤演播
淫娱者
属于王崎的破境开始了
对于最简单的一阶谓词逻辑而言
王崎全身的法力仿佛都感应到了即将到来的突破
尽数躁动起来
一个又一个穴窍被冲开
新的阴阳爻在批量生成
进行逻辑演算
当王崎写下这一句话的时候
他体内所有阴阳爻都开始满负荷运转
可以证明所有逻辑上有效的公式
王崎捏着笔的手因为过度用力而发白
他黑色的眸子变得幽深
一个答案呼之欲出
因此
当王崎落笔的一刹那
他体内的所有阴阳爻都瞬间粉碎
爆炸性的法力一瞬间就把他的身体胀满
但是
少年没有感知到
或者说
他感知到了
却没有理会
我知道了
我知道了
他隐约预感到
接下来要写的东西
将是他有生以来最大的辉煌
可以认为
一阶谓词演算是完备的
就在这一瞬间
爻定算经疯狂的运转
阴阳爻开始在诸大穴窍重新凝聚
数量比之前多了一倍
王崎顾不上检查体内的状况
因为他已经陷入了莫大的喜悦之中
哇
我知道了
我知道了
一根手指在他书桌上点了两下
能不能先解释一下
你知道什么了
王崎看到辰风
有些奇怪
东家
你怎么追到万法门来了
我们说好明天
啊
说着
王崎居然发出一声尖叫
你这
辰风耳朵一痛
无奈道
你也知道你爽约了
王崎突然扣住辰风肩膀
大声发问
说实话
我爽约几天了
辰风一头雾水
几天
你爽约了一天
我就找到这儿来了
你几天不来
我说不定就得换身衣服来逮捕你了
一天
王崎恍惚了一下
现在是什么时辰
戌时
不对呀
才一天不到
这不科学啊
王崎抓起桌子上最上面那一张草稿
也就是他刚刚写完的那一张
问道
这个真的是我写的
辰风脸色变了
你是不是走火入魔
脑子受创了
要不要我给你检查一下
你先告诉我是不是
王崎的声音越发焦急了
老头
你也看到了
告诉我是不是
真阐子说道
是的
确实是你写的
辰风惊疑不定
你都不记得自己写过什么了
这是你刚刚写完的啊
另一个老头刘云祥也走了进来
我亲眼所见
是你写的
孩子
你究竟在什么
王崎仿佛被抽取了浑身的力气
跌坐在地上
说道
这不现实啊
整个万法门驻地的人都被惊醒了
所有人都好奇的围了过来
看到王琦怅然若失的样子
先前吃了个亏的梨月很是不爽
装神弄鬼
王琦突然打了个激灵
对不起各位
请先出去一下行吗
我需要一个人静一静
刘云祥想看一看王琦的论文
但王琦按住了纸张
对不起啊
现在这个还不能给人看
刘师叔
请您出去一下
我真的需要一个人静一静
王琦这话让万法门的几个弟子微微色变
梨月更是怒道
你竟敢对刘师叔无礼
刘云祥止住了万法门弟子的指责
说道
我们还是出去等一等吧
辰风连同一众万法门弟子来到外面
对于王琦的异状
所有人都议论纷纷
莫真真感叹道
原来传说当中天才写论文就能一路升上去的传言是真的
周围人的感叹略带羡慕
就是就是啊
原来王师兄居然是他肯定不是外门弟子了吧
听到周围的议论
对王崎好感度已经跌破表的梨月哼道
写论文涨修为这件事是有
可也没这么简单
修为之所以会增长
那是因为思考的过程带动了魂魄
只要你真的思考了
就算思考的东西是错的
也可以增长修为
有人好奇的问道
那结论有错会怎么样
皇甫涟沉声道
会偏离正法
若是坚持错误
甚至会积重难返
一般的情况下
也不要轻易试探
由于王崎关系比较密切的弟子紧张的询问刘云祥
师叔
王师兄的结论应该不会有错吧
刘云祥茫然的摇摇头
这个我不知道啊
这个结论非常正确
对此
王崎非常有信心
因为这个结论并不是他自己得出的
而是地球一位数学家的结论
哥德尔完备性定理
与哥德尔不完备性定理比起来
这个定理不大出名
它源自于库尔特
哥德尔的博士生论文
它证明了在形式系统当中
一阶算词是完备的
一阶逻辑演算中
所有逻辑上有效的公式都是可以证明的
但是一阶谓词演算是一种能力比较弱的数学系统
如果只是应用它的话
连自然数都定义不了
就更别说算数
对于希尔伯特计划
哥德尔完备定理是一个重大突破
但是远没有不完备定理那样一锤定音的效果
而且
完备定理也只是沿着希尔伯特的思路
在冯诺依曼的基础上又走了一步
而不是像不完备定理那样
属于天才般的跨越
但是
嗯
这还真是不科学的速度啊
王琦喃喃自语
对于哥德尔这种神级数学家来说
这篇论文或许只是一篇博士生论文
但世界上大多数数学家都写不出这样的论文
或者说
一般数学家都未必看得懂
嗯
虽然我知道大致思路
也提前知道了结论
但是我居然一天就推出来了
王琦懵了
知道大致思路和结论
不代表完全没有难度了
这就相当于大家到一个新手地图寻宝
普通人不知道有没有宝藏
王琦一开始就知道有
而且看到了一个指路牌
但是具体的路还是需要自己找
他最开始甚至没想到要一鼓作气把哥德尔完备定理推出来
而是沿着冯诺依曼的思路
再找一个算术系统特殊的子系统论证一下就行了
我水平有这么高
这个念头一出现
就被王崎狠狠拍死
自己上辈子几斤几两自己清楚
这是真正的世界级成果
若是用地球的评价标准来看
这就是登上世界第一的数学期刊数学年鉴都绰绰有余的论文
能不能拿下菲尔茨奖说不好
但是绝对足够一个数学家吃一辈子
我用了多久
一天
王崎觉得有些荒谬
不可能吧
从对算术系统子系统的探究
到哥德尔完备性定理的证明
啊
对了
我这辈子的计算能力是上辈子的好几倍
思维敏捷
所以写得快
王崎干笑两声给自己找理由
人的思维能力受限于大脑的速度
就像程序的运行速度受限于硬件一般
提升了计算能力
就相当于加了智商
只是王崎自己也清楚
思维速度不是全部提高
硬件是可以提升之力
但这种提升是有限的
Windows 的系统装在比普通计算机强几万倍的超级计算机上
速度最多就是普通计算机的一两倍
没可能达到万倍的效果
Windows 的极限就在这儿了
它没办法利用这么庞大的计算力
也就是说
王崎自己的思维运用得起自己的计算能力
我真的变强了
我真的变强了
再三确认之后
王崎终于确认
自己的水平比上辈子要高
高很多
有一个聪明的脑袋瓜儿就是不一样
王崎拍了拍自己的额头
上辈子十多年的积累
今生的修为
今生的苦读
融汇到一起之后
绝对不是一加一等于二那么简单
王崎压抑着狂笑的冲动
肩膀一耸一耸的
但最后他还是忍不住放声大笑
真阐子终于出声问道
你究竟做出了什么
只可惜
我还是练气期来着
王崎用不无遗憾的语气说道
要是金丹期再写这个
没准能直接元神
不过
他的语气虽然有着贪心不足的感觉
但他的脸上哪里看得出半分可惜
这真的可以算自己完成的论文啊
这是哥德尔完备性定理啊
在数学领域最基础的一块
居然被自己一点点的啃了下来
而自己能够借此破境
就说明自己真的已经完全把它吃透了
我本来还担心来着
万一总是抛出精神理论
自己理解的又不够深
被人诘问怎么办
现在看来
即使忘了那些地球的理论
我自己也能闯出一片天
王崎深呼吸几次
强制自己平静下来
然后他再次看向论文
哥德尔完备性定理啊
从论文库中的资料上来看
神州版的希尔伯特计划或者类似的学术计划正在如火如荼的进行着
现在正是算家热情最高的时候
而自己这篇论文
正好是在那些大算家研究内容上再进了一步
每一个关注该领域的算家都不会忽略这一篇论文
换句话说
这篇论文不仅逼格奇高
而且正好是热门领域
声望 引用
额外奖励什么的都不在话下呀
王崎估摸着这篇论文发出去之后
万法门一半以上的顶尖算家都会关注到自己了
至少是知道有自己这么个人
虽说不大可能立即回万法门让陈景云跪下来唱征服
但是自己待遇估计会好不少
至少能够享受一些隐形的福利
不过
王崎摸了摸下巴
神州的话
数学逻辑的很多概念的外延和内涵还没有公认
我在这方面还是比较偏地球的
另外得再检查一遍证明思路
要是用了什么神州还没有的东西就不好了
最好再润色一下
能够用神州算家常用的思路思维方法最好
想到这里
王崎推开门喊道
东家
我申请赊一些公职
最好能预支下个月的月俸
我现在有急用
陈风疑惑的取出一个转账用的算器终端
也不是不行
你要多少得有个数
我就算紧急开支了
王崎取出自己的算器
看了论文库一眼
有冯老
苍生国手冯前辈的论文七篇左右
然后算主希门主的论文少说有五篇
算主弟子的也有几篇
专著两本八十
回头你得给我白干一个半月
成交
完成转账之后
王崎又缩了回去
只留下一众人在院子里面面相觑
皇甫涟忍不住问道
陈师兄
他刚刚叫你东家是怎么回事
陈峰装作不动声色的说道
哦
我打算和他合作
让他来我的实证部
他内心已经泛起惊涛骇浪
那小子到底证明了什么呀
还有
这次好像赚大了
其他人已经通过皇甫涟知道了陈峰真传弟子的身份
现在听说他要和王崎合作
都有些羡慕
王崎加入实证部
那好处可是大大的
梨月有些不忿
陈师兄
你薪酬是不是开的太高了些
你确认自己没有看走眼
这一点大可放心
陈峰已经打定主意要留下王崎
他从怀中取出一张申请
伸手递向刘云祥
道
刘师叔
这份申请请您过目
王崎回到卧室之后
迅速兑换了十七八篇论文
他看论文并不是全部看一遍
而是先看摘要
再直接跳到结论
把所有论文的结论看完之后
王崎又挑选了几篇重点看
快速看完几篇之后
王崎这才对神州的集合论有了一个大致的了解
数学家康托尔有一个非常出名的逻辑论法
叫做对角线法
这是特殊的反证法
而格奥尔格
康托尔
库尔特哥德尔
阿兰图灵三个人的名字连成了一条线
这条线贯穿了数学逻辑的所有
被称为金色对角线
而在神州
历史出现了奇妙的偏差
哥德尔没有诞生
黄金的对角线从中间断裂了
神法门康门主曾威震神州
机老图灵永镇扶桑
但哥德尔却神奇的没有出现
他的成果也没有被任何人再现
神州的数学家没法经过哥德尔连出的对角线结晶
他们选择了另外的方法构造自己的逻辑
有的算家致力于打造一个比皮氏公理更大更强的体系
绕过这个天坑
而更多的算家
则在希柏澈的带领下
向着一个可望而不可及的理想体系今法
原来如此嘛
看来论文的润色工作也不是很轻松嘛
王崎思量了一阵
推开门喊道
东家
有什么事儿现在快商量吧
我接下来几天要润色论文
很忙的