00:00/00:00
外链地址
https://www.eemp3.com/audiofile/7a434bc823a9d1c60a6ff9b05069067e.mp3
点击复制
本字幕由TME AI技术生成
欢迎收听由懒人听书出品的走进修仙作者
吾道长不孤演播
沈阳第四百四十五集
王杰脸上浮现出带有攻击性的笑
他先低下头沉思片刻
然后才道
啊
那么在我说的理论之前
我先讲一个算不上故事的故事好了
假设我们仙盟已经掌握了编写完美后天意志的能力
我觉得这一日迟早会到来的
那时候
越来越多的任务
都会交给那些装载了后天意志的傀儡人
繁重重复的劳作
然后还有一些日常琐事
这样子
我们人族就可以腾出手去做更多的事情
周围那些算学大家
其实都是很吃这一手的
看得出来
他们很喜欢王崎的故事
尤其是他们真心认为这个故事能够成真的时候
王崎接着讲述他的故事
可是呢
我们或许是神阳阁的某些神经病
修炼炼昏了头
将后天意志编写的太像人了
这导致某些装载了后天意志的傀儡人反叛了
他们要求人族的权利呀
要求自己能够被当成人族对待
可这事儿咱们肯定不能答应
不是吗 于是
仙盟就与那些失控的机关人大战一场
终究是咱们技高一筹
很快就剿灭了叛乱
可这个时候
咱们突然发现
那群机关人当中
有个体化做人形
混入人族当中
他们能靠着算计
拟化出魂魄血肉
在分子层级上
和真正的人身没有任何区别
阳神阁的混蛋工作做的太好了
他们连谈吐都很像人
只有极少数几个逻辑有破绽
所以这个时候
我们万法门出动了
我们设计了一道题库
里面包含了一万道或者更多的问题
只需要问出其中一百问
就能够通过特殊的算法
判断出一个类人生灵究竟是人族还是机关人
可是
那个时候
机关人的渗透已经太狠了
伪装者太多
刑律司无人可用
于是
仙盟就出个个昏招
咱们就做傀儡审官
专门用来审问那些有嫌疑的个体
注意
那个算法
绝对可以判断出一个个体是人或是机关人
逻辑上无懈可击
于是乎
无数个审官傀儡就出现了
他们用着咱们万法门提供的算法
果然无往不利
揪出了不少机关人
可这个时候
发生了一个意外
一个沈官傀儡就叫他审官甲
这个甲
他也反了
很快
他就化身为机关人
隐藏在人族当中
没过多久
就有执律使将疑似审官甲的人捉拿归案了
这个时候呢
刑律司找来了傀儡审官乙
那么问题来了
审官乙究竟能不能判断出
那个人是不是反叛的审官甲呢
王崎说完之后
算君难得的笑了
这故事给有点意思
王杰
你说书的水平倒是真不错呀
除此之外
再没有任何人开口了
包括冯落衣在内
所有的算家都陷入了深深的思考
有人甚至开始冷汗涔涔
越想越不是滋味
审官乙究竟能不能分辨出审官甲呢
王崎设定已经说明
绝对可以判断出一个个体是人或是机关人
逻辑上无懈可击
可是
如果审官乙识破了审官甲的意图
想要修改提问策略
让甲猝不及防
那么反过来
甲也可以预先猜测到乙的问题
去做准备
因为那套逻辑
设定上就是无懈可击
傀儡审官可以依靠那套逻辑
甄别任何一台机器
所以他无法甄别同样拥有那套逻辑的另一个审官
也就是说
傀儡审官无法甄别自己
和哥德尔不完备定理一样
不可判定性定理同样涉及自指的判断
所有命题都可以判定
这个命题究竟能不能判定呢
光崎故事末尾的疑问
就意味着不可能找到一套完美的机械法则
来一步一步严丝合缝的解决这世界上所有的问题
在场的所有逍遥都怅然若失
算乃摹道之法
所以有不少算家都想要找出一个至高无上的准则
可以去解释时间一切事情
他们觉得那种境界即使不是道
也是距离大道一步之遥的至高境界
可是现在
王觉居然否定了这个追求
这样的境界
在理论上是不可能存在的
放弃吧
若澈仙子鼻子一酸
只觉得心中有什么东西轰然崩塌
他感觉到了
那是信念的崩溃
就在这时
王崎再次开口
听完这个故事之后
诸位前辈相比也应该知道了我论文的内容
关于这一点
我倒是觉得很难说这是幸事还是不幸
王崎的语气很平静
也很平和
好像刚才那惊人的理论不是出自于他的口
而是另外一个什么人说的一样
幸事
艾克蛮抬头看了王崎一眼
微微苦笑
然后又摇了摇头
哎呀
我可看不出这里面有什么让人觉得幸运的
王崎微微一笑
啊
若是有朝一日
我们真的可以理出一道逻辑
像我故事中傀儡审官判断机关人本身一样
判断一个算学命题的真假
那我们这些算家
是否还有存在的意义呢
恐怕到时候
神州再也不需要什么万法门了
一台终极算器
就胜过我们全部
所有的万法门修士都低下头
眼神之中神光闪动
若是真的到了那个地步
那么万法门确实没有什么存在的必要了
一台终极算器
无论在算学上有什么问题
都能在短时间内给出解释的终极法器
那简直就是近道之物
到了那一步
算学也就走到了尽头
那么现在算学走到了尽头吗
恐怕远远没有
地球上曾经无数学者叫嚣
物理学依旧走到了尽头
人类将要掌握终极的真理
那个时代
是经典物理最鼎盛的时代
没错
只是经典物理那个时代的人甚至宣称
物理学的天空上阳光灿烂
只是有两朵小乌云
这只是因为他们看不到下一步
看不到下一步
就以为自己走到了极限
实际上
他们还没有
甚至还只停留在最初的境界
如今的神州算学
和当时何其相像啊
现在看来
神州的天物流转之道距离真正的天道有多远
算学之道就距离真正天道有多远
听了王崎的话之后
所有的算家总算是找回了一点热情
可是
依旧有人感叹
哎呀
说的是不假
可是以后还有谁敢求算道啊
王崎的不完备
不可判定
几乎就是在整个算学之道上打上虚无的标签
这种情况下
还有谁敢去探求算学之道呢
你甚至都不敢相信
自己所求的道是有意义的
这不是什么向道之心不坚定的问题
因为王崎的不完备
不可判定
都是根据算学本身推导出来的
证明过程无懈可击
这就好比说
佛祖在法会上突然大开杀戒
生啖人肉化青面獠牙之形
佛教徒的向道之心再坚定
估计也经不起这等刺激
王崎这就是剥去了算学那温和的假面
让它恐怖的本质暴露出来
见众逍遥的表情飘忽
王崎心里苦笑
地球的数学界在经历了这一出波折之后
消沉了二三十年
这二三十年当中
的确还是有数学成果出现
但是却不复之前的那种盛况
要求这些逍遥修士立刻接受不完备
不可判定这两重道理
也确实是强人所难
不过
关于如何研究的问题
王崎还是有一点思路的
呃 实际上
对于从今往后
算学要如何走下去
晚辈其实是有那么一点想法的
王崎此言
让倾听的众人又出现了些微的波动
展望未来
不是谁都有资格去做的
这里在座的都是神州最巅顶的算家
除了算君和算主
这世上还有人能够对着他们指指点点的说
你们接下来应该这么做吗
这不是面向大众
面向低阶修士
而是对着他们这些最巅顶的算学家
他所做的
更不是什么不负责任的预言
而是类似于五年计划的纲领性的东西
能够做到这一点的
无不是能引领时代
独占鳌头之人
这种人即使不是学派领袖
算门魁首
也相差不远了
歌庭派前代领袖
曾经的神尊云端公子柯兰因
也是以一道纲领统合了近古几何学以及变换群
开创了万法门一法通则万法通的时代
也正是因为这样
他才被认为最能够与算君一较长短的人
而他所概括的
也只有几何
群论两个领域而已
王崎一开口
说的却是整个算学界
如果是一般人这么说
哪怕是一位逍遥修士
恐怕这些巅顶修士都会开口斥责
但是唯独王崎
无人敢指责
希门二十三问当中的第二问和第十问
太有分量了
歌庭派
众多逍遥攻坚
都未曾看到一丁点解决的希望
可是这个少年就解决了
法力上
他或许还欠缺一点积累
但是在算理逻辑的领域
他乃是巅顶级数
事实上
我既不能够
也不打算给数学的未来发展指明一条道路
我甚至没有这个资格
而且我也知道
这样做肯定是劳而无功的
实际上是一件可笑的事
我始终坚信
未来的算家
正如过去的算家一样
总不会走老路
他们会通过我们想不到的关系
用新观点看问题
去解决我们留给他们的大问题
只不过碍于见识
我们不知道
呃
但是我至少知道自己能够做什么
不完备和不可判定
并不是什么可怕的事情
缥缈之道
证明了微观领域里确定性丧失
但是这对宏观的世界没有任何影响
我们依旧生在一个有因有果的世界里
王崎道
我虽然证明了算学完备性和可判定性的缺失
但是我只是证明它们存在
却还不知道它们发生在何处
我们还远远没有接触到算学的边缘
在已知的算学领域里
不完备和不可判定的意义不大啊
至少在现在
我们已知的算学
并没有和这个世界的客观事实产生矛盾
或许我们迟早有一天会面对这一切
就像我们想要探寻微观的世界
就不得不面对不确定一样
但是这一天不是现在
那种研究
过去还没有进行过
现在也还为时过早
至少现存的算学还不足以触及那个区域
我相信当我们触及那个境界的时候
对于证明的需要早已达到意识的水平上
同时具有这种需求的技术已经发展起来
但不是现在
而在这个领域之外
我们还有很多有意义的问题可以研究
比如希门二十三算之中的第五算
变天式与变换群一是猜想
当我们放弃以变天式作为攻克它的利器之后
新的希望就在眼前
算王前辈的二次互反律
我们可以看到
算学依旧在进步
我们依旧可以迈步前行
实际上
对于不求元算的道友来说
不完备和不可判定
又或者没有都一样
对他们的工作没有任何影响
而对于元算道的道友来说
我们的征途才刚刚开始
我们还有很多事情要做
离宗人有人不忿啊
我们究竟还有什么能做的
我们所追求的
已经被你摧毁
我完成了希前辈的问题
所以诸位就觉得没有问题可以解了吗
王崎摇摇头
学术界解决问题基本上就等于抢饭碗
一个猜想被验证
就有无数指着这个猜想吃饭的数学家失业
这里的这些逍遥修士不仅仅是道心动摇
更是被夺去了为之奋斗的目标
只不过他王某人摘取这些目标的方式和这些人理想的方式截然相反
所以他们一时之间无法接受
但是算主曾经说过
有问题才说明这个科学正在发展
王启探讨
哎
不完备与不可判定
就是我暴露出的巨大问题
至少绕过这个问题的思路
其实我在六年前就说过了
六年之前
有一些算家露出了复杂神色
六年之前
王崎在器成之宴上确实说过一些思路
但是那个时候没人在意
他们所有人都将之当成了这个小辈的一点个人心得
一点个人的研究思路而已
就算再完善
又有什么意义呢
但是谁也没有料到
今日他证明算主思路的谬误之后
那个谁也没有在乎过的思路
竟会成为未来离宗的发展方向
此时再看这个少年
离宗叛逆
离宗未来领袖
诸多逍遥修士隐约看到了这一点
只不过感情上
他们一时之间还无法接受罢了
冯落衣轻咳了两声
呃
相信到了这里
诸位也就大致了解王崎这个人的思路理念了
现在 王崎啊
你可以给大家讲解你的论文了
王崎点点头
按照标准的流程开始讲述自己的论文
论可计算数及其在判定问题上的应用
算君对此兴趣依旧不大
摇摇头道
百无一用啊
论可计算数及其在判定问题上的应用
论文同样不是很长
和试论万法算藏卷一算术篇中形式上不可判定之陈述及相关系统一样
它的证明过程实际上非常简单
简单
但是充满了智慧
所有逍遥都不知不觉的沉浸在这一篇论文之中
这论文本身就散发着充满诱惑性的智慧光彩
即使明知道这条逻辑之河会流向万丈深渊
那些算家也没办法忍住不听
很快
一个修士站起来
如痴如醉
大声喝彩
哎 好啊
站立者
千机阁阁主
图灵真人
对于图灵真人第一个站起来
王杰丝毫不感到意外
因为在地球上写出论可计算数及其在判定问题上的应用的学者
名字叫做阿兰图灵
图灵真人的同位体
王崎相信
即使自己不发表这一篇论文
那么这位逍遥修士也会在三五年之后发表出相似的论文
当然
王永崎并不觉得自己这样算是剽窃
实际上也很难界定这种情况
两个世界的历史虽然存在一定的相似之处
但是图灵真人毕竟不是那个阿兰图灵
在这个世界的历史上
图灵真人并没有迸发出灵感来解决这个判定性问题
而且
王崎上辈子作为一个物理学家
也没有无聊到将不可判定性的论文背下来
那一篇论文是王崎自己独立推导完成的
绝大部分都是王崎自己的原创内容
但即便是如此
王崎依旧对图灵真人恭敬一礼
嗯 不敢当
若是没有我
真人再过三五年
亦是能够求出这一种道理呀
图灵摆摆手
哎呀
那可就未必了
我确实是有一点这方面的想法
不过我这个人性子散漫
要么在万仙幻境里消磨时间
要么在扶桑闲晃
在专著上倒是不如诸多道友了啊
对我来说
你这是省了我数年的苦功啊
而且
这不可判定一出万仙幻境
很多在逻辑上的问题就可以解决了
再给我一年
不 至多半年
我就可以让万仙幻境再更新一代