00:00/00:00
外链地址
https://www.eemp3.com/audiofile/bc0bda48553705cb05464bd0c6720e1c.mp3
点击复制
本字幕由TME AI技术生成
欢迎收听由懒人听书出品的走进修仙作者
吾道长不孤演播
沈阳第四百九十集
王崎重新回到讲坛的边缘
盘膝而坐
闭目养神
理论计算机领域
计算机科学的数学基础领域当中
最重要的递归论
图灵机
拉姆达算法
便在这一夜
同时传扬了整个神州
现在他们只不过是不完备和不可判定的注脚
但是总会有不凡之人发掘出其中的奥妙
就算抛开理论层面的意义
光是这个收获就不会小
算器理论的飞跃
就等于是王崎修法的飞跃
以后他就可以借助神州算门的资源
来完善自己的修法
光是这一点
就已经值回票价了
更不用说不完备
不可判定在理论上的意义
他已经改写了算学的框架
只要等下度过难关
他就会成为神州顶尖的算家
无论是声威还是其他
都将远远超过过去的自己
这是隐性的好处
而他在这个时候再推广布尔巴基学派思想
就可以将这个隐性的好处
转化为显性的好处
布尔巴基学派的研究
自纯数学而始
最终又成就了新世纪物理学研究的坚实基础
但是
并非所有人都能像他一样看到这一步
更多与他相熟的人
只是在担心
毛梓淼捂着脑袋
只觉得头昏脑胀呢
哎呀
艾师姐
小崎他到底在讲什么啊
艾轻兰眼中也透着迷惘
哎呀
不太清楚啊
虽然不明白
但还是觉得好厉害
她勉强能够听懂王崎在讲什么
可是这玩意儿有什么意义吗
而这个时候
辰风放下自己的算器
怒道
这个疯子
怎么了
理论有突破是好事嘛
艾轻兰不满了
小风
你不是这种见不得朋友得好处的人吧
好处
哼
光崎这家伙很快就要倒大霉了
辰风有些恼火
刚才就因为听不懂
所以我专门去问了问由嘉
这小子刚才的那一通讲
根本就是里外不是人
将离宗连宗两边都得罪惨了
离宗 连宗
爱情的邓大美眸摁着胸口
啊 那个
让我缓一缓
想一想
如果我记得不错
离宗和连宗的领袖
分明是算主和算君吧
就是这位和这位吧
说话的同时
他伸出手
点了点幻影之中的虚像
辰风点点头
哎
就是坐在王崎左右两边的那两位老人家
巅顶逍遥
他们身后分别就是他们的门人
加起来几十个逍遥修士
艾轻兰一巴掌呼自己脸上
啊
这小子确实疯了
不不
不如说发疯才是他的风格
这属于正常发挥
正常发挥同时惹下两个主流学派
相当于同时激怒万法门一半以上的人
这能不疯吗
有人不解
呃 那个
王师兄的理论难道不对吗
辰风是老好人
但不是傻子
他深深叹息道
哎呀
当年歌庭派前代领袖云端君柯兰因为何道心尽丧啊
便是与算君论道啊
就算那些前辈不打算采取这样的极端手段
那么多算家想要让他身败名裂
其实是非常简单的
毛梓淼的心微微一揪
那 那怎么办
哎呀
希望他能够在苍生国手和机老两位逍遥修士的帮助下
度过接下来的难关吧
辰风不确定的说道
他深知王琦的性子
想让王琦放弃自己的想法
几乎是不可能的
那必然会面对接下来无数逍遥修士的诘难
万法门中
薄笑风紧握着拳头
薄筱雅则闭上眼睛
紧张的不敢去看
而神州各地当中
更多的万法门低阶弟子在为王琦暗中祈祷
五金那们刚刚踏入算学的领域
还没有前辈那种坚持
也没有受到太多的波及
他们看王崎并没有前辈那种厌恶
反而带着一种大丈夫当如是的豪气
某个神秘的秘境之内
太乙天尊也为这个年轻人捏了一把汗
现在
或许也只有陈由嘉一人坚信王琦了吧
只有他觉得
王琦就算被等下的攻讦淹没
也不会损了他那一颗精进勇猛之心
第二场讲道完成之后
冯落衣闭上眼睛
深深叹息
宣布道
呃
现在诸位同道便可以开始提问了
歌庭派阵中
算主之挚友
真相羽闵可夫便站了起来
沉声问道
你可找到了一个关于实际存在之算学的不可证明之陈述吗
王崎摇头
没有
不愧是这一世最颠顶的算家
这么快就找到了不完备证明的软肋
哥德尔终其一生
都没有找到一个包含了实际数学内容的不可证明陈述
这也是不完备定理从者不多的原因
地球数学界近百年也没有遇到这种陈述
实际上按照哥德尔的想法
人类在相当长的一段时间里都不会遇到这种陈述
它必然存在于算学的未知部分
隐藏在重重迷雾之中
有很多数学家都不会对这一个不包含实际数学内容的玩意投以关注
闵可夫冷笑
那么你的证明真的如你所说
意义重大吗
我只是推断出有这种陈述的存在
并不等于说我知道这个陈述
王崎道
这就好比说有人死了
判断是他杀还是自杀不难
可判断谁是凶手
就要难很多了
嗯
是 我承认
你的论证过程确实很强
但是
我看不到它实际的意义
王崎既然知晓这个软肋的存在
又怎么会不做准备呢
他早就准备好了
对于这个问题的回答
从善如流
当中古的数家研究圆锥曲线的时候
他们不会知道自己的理论就是大道之算理的根基之一
我们也不会知道
这个不完备的证明过程
在未来究竟会怎么样
我们什么时候才能发现一个包含实际算理的不可判定陈述呢
我不知道
也不可能知道
这个问题
只能付之于时间
让时间去解答
我也说过
算学的不完备
并不在已知
而在未知
面对未知
我们永远不会知道会遇到什么
王崎只能这么说
在力迫法出现之前
这种非议都会存在的
这个解答
显然不能够让所有反对者满意
一个又一个巅顶算家站了起来
对着王杰发出驳斥
这些驳斥当中
有些正正切中要害
有些不痛不痒
王崎都一一给予回击
但是
王崎并非是完全孤立无援
突然
有一些算家发现自己的话语问不出口了
他们在这万仙幻境当中
开不了口了
这时
只见图灵真人站起来
对着四方拱拱手温和笑道
呃 诸位
可允许我去问几个问题吗
也只有这位亲近算器领域数百年的强大逍遥
才能在这幻境之中以一压多
纵有人不满
也只能在这个时候选择乖乖听好
图灵真人站起来
对着王崎问道
啊 王道
我想同你讨讨论一下函数的极限
图灵一开口
就让其他人愣住了
这个这位逍遥究竟是站在哪边的呢
看他和冯落衣坐在一起
不应该是来帮助王崎的吗
为什么他问出的问题
比绝大多数人问出的问题都要尖锐呢
王崎笑了笑
最近
我也有一些新的想法
王崎解答了这个问题之后
图灵真人立刻问出了第二个问题来
呃
你有没有考虑过
具备无限条公理的公理系统啊
图灵问道
每一次加入一条新的公理
新的公理系统就比原来的公理系统更加强大
每一个公理系统都在解释前一个公理系统
呃 这样的话
每一个系统都是一直无矛盾的
呃 这样
我们重复无数次
添加可数而无穷的公理
这样的话
我们无论使用了多少条公理
总有更强大的一条公理证明前面的公理一致无矛盾
那么这个系统便称得上是无懈可击吧
我也这么认为
可是很遗憾
这种拥有无限公理的公理系统毫无意义
王崎道
我们必须先熟知一个公理系统当中所有的公理
才能根据这个公理系统做出判断
若是一个公理系统有无穷的公理
我们便不可能知晓他能够陈述什么
判断什么
两个人的问答越来越流利
也越来越畅快
周围的异动小了下来
图灵真人分明是用更加系统化的方式
从更加深入的角度
将他们察觉出的种种不足给问了出去
而在这种前提之下
王崎也能够对答如流
无数有不完备衍生出的定理
对不完备证明的补充
还有新的算器技术
都在图灵真人和王崎的一问一答当中展现了出来
闵可夫哼了哼
不屑的在私聊当中低语
哼 双簧而已
他们两个绝对是对好的了
胡灵呢
就是一个托儿
呵 欢尔苦笑
呵 呃
可就算是托儿
那也是非同凡响的
至少
我是问不出口了
王崎和图灵真的回答
就是要在展示自己的理论是成体系的
被定死在不完备不可判定
这个是不能变的
他们现在在做的
就是在问答环节展示自己的水准
堵住悠悠之口
纵然所有人都看得出这二人是在唱双簧又怎么样呢
现在问问题
十有八九就是撞到别人的刀刃上自取其辱
这便是史上独一无二的绝伦的双簧
图灵真人堂而皇之的将这一场问答变成了他个人与王崎的讨论
两个人也是被激发出了灵感
讨论逐渐脱离了预定的内容
开始向更深处发展
这一下
就连能够插嘴的人都很少了
算君庞家莱看着问答中的两人
摇摇头
只是冷笑
这声屁放得响
不算太臭啊
另一边
算主希柏澈自始至终一言不发
在图灵真人的帮助之下
这一场问答便算是有惊无险的度过去了
王崎穿越之前的年代
对于现代数学逻辑的研究已经远非哥德尔的时代可以相比
光是能够和图灵机
拉姆达算法等价的数学系统都不知道多少
就王崎知道的
包括王崎之前在神州做出来的元胞自动机
以及波斯特对应问题
计数器机
马尔科夫算法
递归函数
在这个问题上
他眼光先天就高于神州众人
而他自身天分也不弱
又有图灵真人的鼎力相助
半年的时间
自然能够完成很多事情
对一般的逍遥来说
王崎和图灵真人的准备
就是天衣无缝
无懈可击的
无懈可击到光是想一想
就能够让他们失去勇气
最终
还是冯落衣打断了王崎和图灵真人的交流
他看四下无人
便道
呃
若是现在没有人继续提问
那么提问的时间便到这里了
图灵真人意犹未尽
呃 稍等
等我们将这个问题讨论完
你们自己私聊就好
冯落衣扫了算主和算君眼
然后才宣布道
啊
现在我们便坐等子夜吧
这便是今法修法为数不多的讲究
这种颠覆性之道的总结
一定要在子夜进行
新旧之交
昨日之种种昨日死
今日之种种今日生
那些逍遥修士
精神还沉浸在不完备定理带来的震撼当中
到现在才惊觉
时间居然已经过去了这么久
午时起
子时止
这一场讲道
竟已经持续了整整半天
和图灵真人讨论完之后
王崎再次坐回那个讲坛的边缘
闭目养神
明明还只是刚才那个金丹期的小修士
但不知为何
一众逍遥竟觉得他身上仿佛有了如岳如渊的气息
心理作用吗
有些人产生了一丝怀疑
就算是不认可王崎理论的算君一系
也不得不承认
王崎确实是很有天分的
再无人能够无视他
方入仙途
便威压天下呀
有人低声道
我仿佛看到了又一个苍生国手啊
哼
说他像算君才是吧
都是摧破一代歌廷领袖的道心
来成就赫赫威名
闭嘴
那句话似乎引起了一点骚动
大部分算家都担忧的看着算主
在一场动荡之中
算主是受创最深的一人
王杰从他的思想
他的思路当中
孕育出了否定他的武器
他毕生的追求也被打破
现在这位颠鼎逍遥
就算立刻身亡
也不奇怪
可是
算主依旧一动不动
一言不发