00:00/00:00
外链地址
https://www.eemp3.com/audiofile/2f88e2fea53a9230daf532b523ae4a5f.mp3
点击复制
本字幕由TME AI技术生成
欢迎收听由懒人听书出品的走进修仙作者
吾道长不孤演播
沈阳第四百八十四集
王崎心中明了
图灵真人说的
在地球上便称作为谕示机
谕示机是连着一个上帝的图灵机
是关着先知的黑箱
假如说有一个谕示机带着素数判定谕示
它除了能做普通适灵机能做的一切事情以外
还能瞬间判定纸带上写的某个自然数是否素数
而不需要实际去计算
那么
一些原本涉及自我指涉
涉及矛盾的问题
谕示乎能够解决吗
比如说自我指涉引发的矛盾啊
这就是最近做出的另外一个猜想了
这个自我指涉
究竟能不能绕过去呢
图灵真人苦笑
呵 呃
虚构出的大道圣音
究竟能不能解决这个问题呀
数学经常有这种证明方法
就是先假设一个东西存在
然后再根据这个前提做种种逻辑推演
图灵真人这做出的推演
其本质就是找出一个我想象当中无所不能的存在
设定他能够解决原本不可判定的问题
然后再看他究竟能够解决什么问题
呃
我们想象出来的东西啊
究竟能不能完成这项事业呢
图灵真人看着王杰和冯落衣
平静的问道
呃 若是可行
则代表我们的道路还有一线希望
但就算我们假象当中的无所不能
都做不到啊
冯落衣问道
呃
其结果如何呀
图灵真人报之以苦笑
呃 不怎么好
如果存在一个判断停机问题的程序
讲甲需要的输入是一个程序
我们再构造一个新的程序乙
这个程序调用甲
但是与甲的输出正好相反
如果乙的输入经甲判断为停机
则乙不停机
如果乙的输入经甲判断为不停机
则乙停机
假定存在带有停机问题谕示的谕示机
如果这台机器的纸带上写着一台普通图灵机的代码以及输入
那么它不需要计算
就能可以瞬间知道这台普通图灵机遇到指示的输入时
到底会不会停机
可是
若是将即使将证明中的所有图灵机三个字
都换成带有数论问题谕示的谕示机
其他部分一字不异呢
不完备的证明
依然成立
或许是人类自身的思维限制了他们的想象吧
就算是人类想象当中的无所不能
也不能跨过这道线
即使是大道圣音
也敲不开这一道门
于是
其是一种不可能被构造出来的东西
它的性质更接近于物理学当中的思想实验
理想条件等等
是在现实当中不可能被再现的东西
一个有关于不可判定问题的谕示机
更是从一开始就不可能被构造出来
这只是在借助一个空想的概念
去揣摩一个有可能的概念
来得到一个真实不虚的结果
只不过
这个结果听起来却是叫人绝望
连空想之中的大道圣音
也没办法完成这项证明嘛
冯落衣勉强笑了笑
眼神当中是遮掩不住的失落
就算开了个人类想象当中最强的外挂
也不可能绕过这个自我指涉划出的界限
图灵真人啜了一口茶
低声道
我想
我们或许不必再往这个方向走了
聆听大道圣音都解释不了的概念
冯落衣似乎耿耿于怀
又重复了一句
呃 老师
其实这也有可能是我们的想象力限制了我们的手段
王崎道
图灵真人的想法
确实是极尽想象之能事
但是
图灵真人的想象
依旧是根据他的经验推理出的
是根据有穷的经验推导出的
或许
世界上真的存在一种方法
可以绕过自我指涉
只不过
我们的思维
目前还根本意识不到啊
公落衣语气当中带着一丝颓唐
哎呀
无穷和有穷
我们一旦涉及任意涉及无限
就会寸步难行啊
有穷到无穷
就是我们认识的极限
还是说
算君那混蛋又对了吗
世界上根本就不存在无穷吗
宇宙当中
物质的质量是有穷的
不然的话
按照引力无限延伸的特性
一个无穷的宇宙体内
每一个点的引力都是无穷的
总质量有穷
那么宇宙当中的基本粒子数也是有穷的
整个宇宙
似乎也没什么需要无穷来计数
人类从未认识过无穷
一切关于无穷的概念
实际上都是根据人类认识到的有穷推演出来的
因此
也有一派数学家
强烈的要求
将无穷这个概念从典籍中删除出去
无穷
只不过是一个比喻
一个形容
并不真实存在于世间
至于研究无穷问题的人
那都是纯粹的白痴
王崎摇摇头
反驳道
现实世界当中
存在有穷的边界线吗
他从茶杯当中捻出一片茶叶
这片叶子
实际上的周长是多少呢
他又幻化出了一片海图
呃
神州西域的海长线又有多长呢
这就是实际存在的无限
任何植物的叶片边缘
都有锯齿存在
那些锯齿之上
又有更加细微的锯齿
当然
这种细微也不会一直持续下去
可实际上
任何东西
总会有更加基础的结构构成
海岸线的长度也是一样
和叶片一样
海岸线至极上也是由一条无限长的线折叠而成
在自然的领域当中
并不存在严格按照几何出现的标准一维线段或者标准二维图形
这种介乎一维和二维之间的分维反而更多
算就是实际存在的无穷
算君的做法太过偏激了
废弃了无穷的做法
等若是断算学一指
冯落衣神态还是有些低落
哎呀
即使正如你所说
我们的认知限制了我们可绕过这个限制的可能性
在我们认知之外
我们能够做什么呀
吾生也有涯
而知也无涯
以有涯随无涯殆矣
人的认知终究是有限的
但是奥妙却像是无穷的
以有穷的生命去追逐无穷的认知
本身就很悲哀了
尤其是当你追求的东西
一开始就在你的认知之外
一开始就不可能被你所知晓
仿佛就是注定一般
对于求道者来说
没有什么比这个更加悲哀了
王崎的神色却依旧没有动摇
他在地球上就经过了相关逻辑学
哲学的洗礼
精神早就坚硬无比
啊不 老师
此事不存在无法认知
只有尚无确认
这个世界不存在不可知
只存在尚不可知
这看起来好像就是一个世界观的指向
但是对于王崎来说
这个指向就是他志向的根基
尚不可知
就代表迟早有一天也能够变成可知
甚至已知
出现了这种状况了
只能说明我们的算学还很原始
还在起步的阶段
就算是自然规律内秉的逻辑
我们也不曾尽知
我们还有很长很长的路要走
图灵真人眼中闪过一丝好奇之色
哎 想要开门
就得获得钥匙
可钥匙又在门的那一头
想要获取钥匙
就必须开门
即使这样
你也相信我们能够破局吗
门未必只有一扇呢
钥匙未必只有一把
只不过我们对门这边还没探索完
自然找不到钥匙而
听上去
更像是信仰啊
王菊笑道
我便信这个
冯落衣的动摇只持续了短短片刻
很快他就扫清了眼中一切颓唐之色
恢复了平素里的冷静自若
呃 是啊
我明白的
只是可惜了
我原本是想找出一条破局的路
然后再给希门主看看
让他不要放弃希望啊
只可惜
这个领域
好像越是发现
就越是绝望
最开始
王崎只不过是画出一条隐约的线
告诉所有人
这条线外所有一切都是不可揣测
这一次
图灵真人几乎打死了所有过界探路的想法
前方无路
图灵真人摇摇头
哎呀
月海先生不必自责
这也不是你的错啊
要责怪啊
便只能责怪我有负所托吧
冯落衣在数月之前
便托付过这方面最有才情的图灵真人
让他寻找一条破局的思路
有负所托谈不上
冯落衣语气平淡
呃
逻辑就是这样
儒道恒长
不为圣城
不为魔王
你也只不过是发现罢了
图灵真人问道
呃
那现在不能再拖了
冯落衣闭上眼睛
哎呀 不完备
不可判定
在我这里压了快半年了
半年呐
现在的歌庭
还在被希门主拖着往你们否决的道路上走
这绝对不行啊
虽然这么说有些无情
但是我们就是这样
没办法为了一个人而停下来呀
尤其是我们现在有新的算计结构要推广啊
你们两个的论文在我这里多压一天算起
万仙幻境领域的新研究就晚一天展开
可不止如此啊
图灵真人与希门主并不如何相熟
并没有冯落衣那种情绪
他的神色当中还有几分振奋
我还朦朦胧胧有一些想法
我感觉啊
我们即将要踏出二十三问的范畴
去到一个新的领域
逻辑
乃至人们认知的基础
从此都要改变
我清楚了
这些事情我会安排好的
你们先回去吧
我还要好好谋划
需要一个人静一静啊
王崎点点头
正要离开
图灵真人却叫住了他
啊 小友啊
我这里还有几个想法
想要与你交谈一下
你等下便通过万仙幻境到我那好了
王崎自不会拒绝与这种等级的算家交流
他点点头
先一步离开
然后图灵真人也以相宇穿游之法离去
冯落衣静坐了一会儿
突然开口道
既然来了
为何不显身一见呢
算君庞家莱好像是用某种缩骨功
从一个削孔里挤出来的
身形别扭无比
过了好一会儿
他的化身才恢复常态
他哼了哼
哼
踏出二十三问的范畴
那个好断袖还真敢说呀
我就从没见过那什么二十三问的范畴
当初也不知是观念之差别
还是私人情感
算主在列出二十三问的时候
有意无意的忽略了算君贡献最大的几个领域
那几个领域当中
还包括拓扑这样的大类
冯落衣没有接对方的话茬
而是冷哼哼哼
听墙角可不好啊
有失你算君的风度
风度是做出来给废物看的
我觉得毫无必要啊
算君好像完全没有否认的意思
再者
我本想光明正大的听
但是你的幻境防壁太强
我只能强进来
老夫只是不喜欢你们那什么逻辑
又不是不懂
这防壁还防不住我
冯落衣并不奇怪算君为什么能够强进这里
也没有问他听去了多少
而是直接问道
呃
你有什么想法呀
没有什么特殊的想法
本来我只是来催一催你
让你快点公开不完备可不可判定的
既然你已经做出的决定
那我就当没说
算君庞家莱根本不掩饰自己的态度
他不关心不完备那一系列的东西
他只关心算主希柏澈那样的东西
什么时候退出算学界
还他的世界一个清净
我觉得你在这件事情上投入太多了
当初我们公推你处理神州的长务
可不是为了让你凭一己之私
浪费万法门的资源
帮助希柏澈那蠢货绕过知见障的
这件事也用不着你来教
冯落衣眼神当中不显怒色
回应道
我之所以请您回来
也只是想让您起个威慑作用
至于具体的东西
也不需要前辈您经手
算君放声大笑
老前辈们
嗯
我可不觉得呀
顺便一说
我收回前言
我也不觉得你们百无一用了
也算是受你们的启发
我在算学之上又有发现呐
看到希柏澈那个凄惨的样子
我就越是觉得
不能被成见所迷惑
不能被成法所迷惑
我最近觉得
我又快要突破了
呵
去不要不说了
回去继续钻研了
待到算君走后
小小静室再寂静无声
过了片刻
冯落衣的手指在空中滑动片刻
开始吧
开始算主与歌庭派极盛时代的谢幕式
时值深春
雷阳城郊杜鹃花开
但此时雷阳仙院的新入弟子们都没有一丝一毫郊游的想法
这里一切都是那么新鲜
那些讲师的每一句话都在洗刷他们的世界观
而今天
他们将会触及一条新的通天大道
并深深为之吸引
只要他们没有被自己的新讲师吓到的话
呃 今天呢
是你们接触算学的第一天
兴许你们会告诉我说
你们在蒙学里已经将几部凡间的算经背得滚瓜烂熟
又或者你们在仙盟的讲坛里学了几何
学了初等代数
学了天元式
你们觉得自己已经足够聪明了
对于你们来说
就算给巨贾之家计算账目
甚至查知一国的账目都没有问题
但是
我今天就要告诉你们
论算学
你们还远远未入门呢
炼虚初期的大宗师吴文符挥动一下手中的教鞭
用法力幻化出一片光幕
在加入仙院之前
你们多半是读过了元力上人的传记
知道了他的传世之作大道之算理书
元力三法
你们大约是初步的了解了
兴许你们当中不少人会根据这三法的公式
算一算物理运动的道理
但是
你们知晓这道理的来路吗
随着吴文符手中教鞭的挥舞
光幕当中幻化出一道道算符
展现出种种新入弟子们或熟悉或陌生的道理
他是一个典型的万法门弟子
符合其他门派修士对万法门弟子的一切印象
平日里沉默孤僻
不苟言笑
没有道侣
但一旦谈到自己擅长的领域
就好像换了一个人一般
用一种快要将自己点燃的热情
讲述着自己的理解
呃
现在你们便看好了
这元力三法便是这么来的
呃
这个法门就叫微积分
分为微分法和积分法
而他最初就是来自于万法门前辈的探索
不规则几何图形的求积问题
还有对任意曲线的任意切线问题
呃
元力上人就是从前人对这两个问题的求索当中
探明了微积分的道理
然后踏出了第一步
呃 算学
就是我们求道的基础
其他人正在听的歌