[00:00.00]本字幕由TME AI技术生成
[00:03.33]欢迎收听由懒人听书出品的走进修仙作者
[00:10.23]吾道长不孤演播
[00:13.41]沈阳第四百九十集
[00:21.39]王崎重新回到讲坛的边缘
[00:23.89]盘膝而坐
[00:24.85]闭目养神
[00:26.83]理论计算机领域
[00:28.47]计算机科学的数学基础领域当中
[00:31.87]最重要的递归论
[00:33.55]图灵机
[00:34.59]拉姆达算法
[00:36.23]便在这一夜
[00:37.23]同时传扬了整个神州
[00:40.60]现在他们只不过是不完备和不可判定的注脚
[00:45.04]但是总会有不凡之人发掘出其中的奥妙
[00:49.76]就算抛开理论层面的意义
[00:52.04]光是这个收获就不会小
[00:55.30]算器理论的飞跃
[00:57.02]就等于是王崎修法的飞跃
[00:59.95]以后他就可以借助神州算门的资源
[01:02.81]来完善自己的修法
[01:04.91]光是这一点
[01:06.11]就已经值回票价了
[01:09.09]更不用说不完备
[01:10.63]不可判定在理论上的意义
[01:13.32]他已经改写了算学的框架
[01:15.70]只要等下度过难关
[01:17.46]他就会成为神州顶尖的算家
[01:20.50]无论是声威还是其他
[01:22.66]都将远远超过过去的自己
[01:25.88]这是隐性的好处
[01:28.33]而他在这个时候再推广布尔巴基学派思想
[01:32.39]就可以将这个隐性的好处
[01:34.65]转化为显性的好处
[01:37.11]布尔巴基学派的研究
[01:39.23]自纯数学而始
[01:41.13]最终又成就了新世纪物理学研究的坚实基础
[01:46.73]但是
[01:47.17]并非所有人都能像他一样看到这一步
[01:50.79]更多与他相熟的人
[01:52.59]只是在担心
[01:54.99]毛梓淼捂着脑袋
[01:56.67]只觉得头昏脑胀呢
[01:59.21]哎呀
[02:00.25]艾师姐
[02:01.35]小崎他到底在讲什么啊
[02:04.33]艾轻兰眼中也透着迷惘
[02:07.11]哎呀
[02:07.71]不太清楚啊
[02:09.27]虽然不明白
[02:10.39]但还是觉得好厉害
[02:12.95]她勉强能够听懂王崎在讲什么
[02:15.89]可是这玩意儿有什么意义吗
[02:18.71]而这个时候
[02:19.83]辰风放下自己的算器
[02:21.77]怒道
[02:23.59]这个疯子
[02:25.47]怎么了
[02:26.31]理论有突破是好事嘛
[02:28.59]艾轻兰不满了
[02:30.55]小风
[02:31.73]你不是这种见不得朋友得好处的人吧
[02:36.03]好处
[02:37.29]哼
[02:37.85]光崎这家伙很快就要倒大霉了
[02:41.45]辰风有些恼火
[02:44.04]刚才就因为听不懂
[02:45.76]所以我专门去问了问由嘉
[02:48.18]这小子刚才的那一通讲
[02:51.27]根本就是里外不是人
[02:53.44]将离宗连宗两边都得罪惨了
[02:57.50]离宗 连宗
[02:59.93]爱情的邓大美眸摁着胸口
[03:02.57]啊 那个
[03:04.15]让我缓一缓
[03:05.29]想一想
[03:06.59]如果我记得不错
[03:08.77]离宗和连宗的领袖
[03:10.69]分明是算主和算君吧
[03:13.13]就是这位和这位吧
[03:16.91]说话的同时
[03:18.11]他伸出手
[03:19.01]点了点幻影之中的虚像
[03:21.59]辰风点点头
[03:23.53]哎
[03:24.31]就是坐在王崎左右两边的那两位老人家
[03:28.25]巅顶逍遥
[03:30.03]他们身后分别就是他们的门人
[03:32.90]加起来几十个逍遥修士
[03:35.87]艾轻兰一巴掌呼自己脸上
[03:38.81]啊
[03:39.39]这小子确实疯了
[03:41.27]不不
[03:42.31]不如说发疯才是他的风格
[03:45.17]这属于正常发挥
[03:46.89]正常发挥同时惹下两个主流学派
[03:50.85]相当于同时激怒万法门一半以上的人
[03:54.05]这能不疯吗
[03:56.24]有人不解
[03:58.48]呃 那个
[03:59.46]王师兄的理论难道不对吗
[04:02.60]辰风是老好人
[04:04.08]但不是傻子
[04:05.30]他深深叹息道
[04:07.46]哎呀
[04:08.56]当年歌庭派前代领袖云端君柯兰因为何道心尽丧啊
[04:15.28]便是与算君论道啊
[04:17.82]就算那些前辈不打算采取这样的极端手段
[04:22.64]那么多算家想要让他身败名裂
[04:26.02]其实是非常简单的
[04:29.12]毛梓淼的心微微一揪
[04:31.92]那 那怎么办
[04:34.58]哎呀
[04:35.40]希望他能够在苍生国手和机老两位逍遥修士的帮助下
[04:40.56]度过接下来的难关吧
[04:43.10]辰风不确定的说道
[04:45.88]他深知王琦的性子
[04:47.70]想让王琦放弃自己的想法
[04:49.90]几乎是不可能的
[04:51.78]那必然会面对接下来无数逍遥修士的诘难
[04:56.70]万法门中
[04:58.02]薄笑风紧握着拳头
[04:59.96]薄筱雅则闭上眼睛
[05:01.93]紧张的不敢去看
[05:04.43]而神州各地当中
[05:06.25]更多的万法门低阶弟子在为王琦暗中祈祷
[05:10.43]五金那们刚刚踏入算学的领域
[05:14.45]还没有前辈那种坚持
[05:16.61]也没有受到太多的波及
[05:19.54]他们看王崎并没有前辈那种厌恶
[05:22.84]反而带着一种大丈夫当如是的豪气
[05:27.25]某个神秘的秘境之内
[05:29.51]太乙天尊也为这个年轻人捏了一把汗
[05:33.21]现在
[05:33.61]或许也只有陈由嘉一人坚信王琦了吧
[05:37.87]只有他觉得
[05:39.25]王琦就算被等下的攻讦淹没
[05:42.01]也不会损了他那一颗精进勇猛之心
[05:46.60]第二场讲道完成之后
[05:48.96]冯落衣闭上眼睛
[05:50.58]深深叹息
[05:51.90]宣布道
[05:53.44]呃
[05:53.86]现在诸位同道便可以开始提问了
[06:00.04]歌庭派阵中
[06:01.38]算主之挚友
[06:02.96]真相羽闵可夫便站了起来
[06:06.00]沉声问道
[06:08.06]你可找到了一个关于实际存在之算学的不可证明之陈述吗
[06:14.68]王崎摇头
[06:16.54]没有
[06:18.05]不愧是这一世最颠顶的算家
[06:20.87]这么快就找到了不完备证明的软肋
[06:25.17]哥德尔终其一生
[06:26.89]都没有找到一个包含了实际数学内容的不可证明陈述
[06:31.91]这也是不完备定理从者不多的原因
[06:36.62]地球数学界近百年也没有遇到这种陈述
[06:40.86]实际上按照哥德尔的想法
[06:43.52]人类在相当长的一段时间里都不会遇到这种陈述
[06:48.16]它必然存在于算学的未知部分
[06:51.34]隐藏在重重迷雾之中
[06:54.60]有很多数学家都不会对这一个不包含实际数学内容的玩意投以关注
[07:02.26]闵可夫冷笑
[07:05.42]那么你的证明真的如你所说
[07:09.40]意义重大吗
[07:12.12]我只是推断出有这种陈述的存在
[07:15.58]并不等于说我知道这个陈述
[07:18.78]王崎道
[07:20.36]这就好比说有人死了
[07:22.70]判断是他杀还是自杀不难
[07:25.54]可判断谁是凶手
[07:27.28]就要难很多了
[07:29.34]嗯
[07:30.46]是 我承认
[07:32.36]你的论证过程确实很强
[07:35.30]但是
[07:36.36]我看不到它实际的意义
[07:39.32]王崎既然知晓这个软肋的存在
[07:42.18]又怎么会不做准备呢
[07:44.70]他早就准备好了
[07:46.26]对于这个问题的回答
[07:48.26]从善如流
[07:50.02]当中古的数家研究圆锥曲线的时候
[07:53.70]他们不会知道自己的理论就是大道之算理的根基之一
[07:59.20]我们也不会知道
[08:00.60]这个不完备的证明过程
[08:02.92]在未来究竟会怎么样
[08:05.14]我们什么时候才能发现一个包含实际算理的不可判定陈述呢
[08:10.42]我不知道
[08:11.54]也不可能知道
[08:13.26]这个问题
[08:14.36]只能付之于时间
[08:15.90]让时间去解答
[08:18.73]我也说过
[08:19.87]算学的不完备
[08:21.25]并不在已知
[08:22.47]而在未知
[08:23.83]面对未知
[08:24.87]我们永远不会知道会遇到什么
[08:28.11]王崎只能这么说
[08:29.97]在力迫法出现之前
[08:31.87]这种非议都会存在的
[08:35.39]这个解答
[08:36.11]显然不能够让所有反对者满意
[08:39.21]一个又一个巅顶算家站了起来
[08:42.11]对着王杰发出驳斥
[08:44.37]这些驳斥当中
[08:45.93]有些正正切中要害
[08:47.91]有些不痛不痒
[08:49.77]王崎都一一给予回击
[08:52.17]但是
[08:52.63]王崎并非是完全孤立无援
[08:56.35]突然
[08:57.29]有一些算家发现自己的话语问不出口了
[09:01.33]他们在这万仙幻境当中
[09:03.37]开不了口了
[09:05.56]这时
[09:05.94]只见图灵真人站起来
[09:07.68]对着四方拱拱手温和笑道
[09:11.74]呃 诸位
[09:13.44]可允许我去问几个问题吗
[09:17.17]也只有这位亲近算器领域数百年的强大逍遥
[09:21.71]才能在这幻境之中以一压多
[09:25.20]纵有人不满
[09:26.75]也只能在这个时候选择乖乖听好
[09:30.79]图灵真人站起来
[09:32.33]对着王崎问道
[09:34.92]啊 王道
[09:36.24]我想同你讨讨论一下函数的极限
[09:40.86]图灵一开口
[09:42.12]就让其他人愣住了
[09:44.56]这个这位逍遥究竟是站在哪边的呢
[09:48.54]看他和冯落衣坐在一起
[09:50.64]不应该是来帮助王崎的吗
[09:53.56]为什么他问出的问题
[09:55.46]比绝大多数人问出的问题都要尖锐呢
[09:59.18]王崎笑了笑
[10:01.54]最近
[10:01.98]我也有一些新的想法
[10:04.42]王崎解答了这个问题之后
[10:06.82]图灵真人立刻问出了第二个问题来
[10:10.68]呃
[10:10.94]你有没有考虑过
[10:12.78]具备无限条公理的公理系统啊
[10:16.28]图灵问道
[10:18.51]每一次加入一条新的公理
[10:21.38]新的公理系统就比原来的公理系统更加强大
[10:26.48]每一个公理系统都在解释前一个公理系统
[10:30.76]呃 这样的话
[10:32.54]每一个系统都是一直无矛盾的
[10:35.76]呃 这样
[10:36.54]我们重复无数次
[10:38.38]添加可数而无穷的公理
[10:41.06]这样的话
[10:41.94]我们无论使用了多少条公理
[10:44.60]总有更强大的一条公理证明前面的公理一致无矛盾
[10:49.74]那么这个系统便称得上是无懈可击吧
[10:55.72]我也这么认为
[10:56.92]可是很遗憾
[10:58.38]这种拥有无限公理的公理系统毫无意义
[11:02.16]王崎道
[11:03.76]我们必须先熟知一个公理系统当中所有的公理
[11:08.22]才能根据这个公理系统做出判断
[11:11.49]若是一个公理系统有无穷的公理
[11:14.13]我们便不可能知晓他能够陈述什么
[11:17.41]判断什么
[11:19.05]两个人的问答越来越流利
[11:21.75]也越来越畅快
[11:23.73]周围的异动小了下来
[11:26.68]图灵真人分明是用更加系统化的方式
[11:30.54]从更加深入的角度
[11:32.66]将他们察觉出的种种不足给问了出去
[11:37.02]而在这种前提之下
[11:38.86]王崎也能够对答如流
[11:41.26]无数有不完备衍生出的定理
[11:43.92]对不完备证明的补充
[11:45.96]还有新的算器技术
[11:47.74]都在图灵真人和王崎的一问一答当中展现了出来
[11:53.53]闵可夫哼了哼
[11:55.01]不屑的在私聊当中低语
[11:57.65]哼 双簧而已
[12:00.41]他们两个绝对是对好的了
[12:03.01]胡灵呢
[12:04.13]就是一个托儿
[12:06.37]呵 欢尔苦笑
[12:08.61]呵 呃
[12:09.11]可就算是托儿
[12:10.45]那也是非同凡响的
[12:12.53]至少
[12:13.67]我是问不出口了
[12:15.99]王崎和图灵真的回答
[12:17.87]就是要在展示自己的理论是成体系的
[12:21.91]被定死在不完备不可判定
[12:24.83]这个是不能变的
[12:26.73]他们现在在做的
[12:28.39]就是在问答环节展示自己的水准
[12:31.75]堵住悠悠之口
[12:34.19]纵然所有人都看得出这二人是在唱双簧又怎么样呢
[12:40.37]现在问问题
[12:41.71]十有八九就是撞到别人的刀刃上自取其辱
[12:46.43]这便是史上独一无二的绝伦的双簧
[12:50.95]图灵真人堂而皇之的将这一场问答变成了他个人与王崎的讨论
[12:57.66]两个人也是被激发出了灵感
[13:00.18]讨论逐渐脱离了预定的内容
[13:02.62]开始向更深处发展
[13:05.42]这一下
[13:06.38]就连能够插嘴的人都很少了
[13:10.08]算君庞家莱看着问答中的两人
[13:13.00]摇摇头
[13:13.90]只是冷笑
[13:17.07]这声屁放得响
[13:19.01]不算太臭啊
[13:21.19]另一边
[13:21.83]算主希柏澈自始至终一言不发
[13:25.95]在图灵真人的帮助之下
[13:28.11]这一场问答便算是有惊无险的度过去了
[13:32.91]王崎穿越之前的年代
[13:35.47]对于现代数学逻辑的研究已经远非哥德尔的时代可以相比
[13:41.13]光是能够和图灵机
[13:43.03]拉姆达算法等价的数学系统都不知道多少
[13:47.69]就王崎知道的
[13:49.43]包括王崎之前在神州做出来的元胞自动机
[13:53.69]以及波斯特对应问题
[13:55.97]计数器机
[13:57.45]马尔科夫算法
[13:59.31]递归函数
[14:01.24]在这个问题上
[14:02.64]他眼光先天就高于神州众人
[14:05.64]而他自身天分也不弱
[14:07.66]又有图灵真人的鼎力相助
[14:10.28]半年的时间
[14:11.52]自然能够完成很多事情
[14:14.86]对一般的逍遥来说
[14:16.56]王崎和图灵真人的准备
[14:18.72]就是天衣无缝
[14:20.20]无懈可击的
[14:22.56]无懈可击到光是想一想
[14:25.28]就能够让他们失去勇气
[14:28.48]最终
[14:28.88]还是冯落衣打断了王崎和图灵真人的交流
[14:32.34]他看四下无人
[14:33.48]便道
[14:35.27]呃
[14:36.03]若是现在没有人继续提问
[14:38.69]那么提问的时间便到这里了
[14:42.85]图灵真人意犹未尽
[14:45.13]呃 稍等
[14:46.53]等我们将这个问题讨论完
[14:49.41]你们自己私聊就好
[14:51.98]冯落衣扫了算主和算君眼
[14:54.60]然后才宣布道
[14:56.52]啊
[14:56.98]现在我们便坐等子夜吧
[15:01.62]这便是今法修法为数不多的讲究
[15:05.04]这种颠覆性之道的总结
[15:07.18]一定要在子夜进行
[15:10.28]新旧之交
[15:11.80]昨日之种种昨日死
[15:14.06]今日之种种今日生
[15:16.88]那些逍遥修士
[15:18.44]精神还沉浸在不完备定理带来的震撼当中
[15:22.76]到现在才惊觉
[15:24.34]时间居然已经过去了这么久
[15:27.54]午时起
[15:28.78]子时止
[15:30.46]这一场讲道
[15:31.98]竟已经持续了整整半天
[15:35.70]和图灵真人讨论完之后
[15:37.88]王崎再次坐回那个讲坛的边缘
[15:41.26]闭目养神
[15:43.50]明明还只是刚才那个金丹期的小修士
[15:47.18]但不知为何
[15:48.68]一众逍遥竟觉得他身上仿佛有了如岳如渊的气息
[15:54.52]心理作用吗
[15:56.44]有些人产生了一丝怀疑
[15:59.06]就算是不认可王崎理论的算君一系
[16:02.38]也不得不承认
[16:03.76]王崎确实是很有天分的
[16:06.81]再无人能够无视他
[16:09.95]方入仙途
[16:11.47]便威压天下呀
[16:13.85]有人低声道
[16:15.63]我仿佛看到了又一个苍生国手啊
[16:20.35]哼
[16:21.49]说他像算君才是吧
[16:23.61]都是摧破一代歌廷领袖的道心
[16:26.71]来成就赫赫威名
[16:29.39]闭嘴
[16:31.28]那句话似乎引起了一点骚动
[16:33.94]大部分算家都担忧的看着算主
[16:37.38]在一场动荡之中
[16:39.28]算主是受创最深的一人
[16:42.34]王杰从他的思想
[16:43.96]他的思路当中
[16:45.20]孕育出了否定他的武器
[16:47.68]他毕生的追求也被打破
[16:50.72]现在这位颠鼎逍遥
[16:52.46]就算立刻身亡
[16:54.10]也不奇怪
[16:55.92]可是
[16:56.32]算主依旧一动不动
[16:58.30]一言不发