00:00/00:00
外链地址
https://www.eemp3.com/audiofile/c43247ec1f2a15ff7e790d05a387a894.mp3
点击复制
本字幕由TME AI技术生成
欢迎收听由懒人听书出品的走进修仙作者
吾道长不孤演播
沈阳第四百三十八集
对于地球的数学家来说
被某一个定理弄的精神崩溃
最多是发疯
在精神病院待过的数学家数量仅比在精神病院待过的文学家少
而面对神州的修士来说
道心被迫
就有可能带来物理性的死亡
因此
哥德尔不完备定理对于神州的修士是非常危险的
即使对于王崎这种上辈子就知晓这一定理
然后这辈子又亲自将之推导出的人
都遇到了危险
但是王崎知晓
这应该不会是生命危险
对了
以防万一
他预先就估计出十种可能的状态
做出十二种预案
其中状况乙就是指他现在的状态
崩溃确实发生了
很严重
一切手段都无法遏制
但是到了最后的关头
崩溃就会自动停止
为王崎留出一线生命
所有的公理系统都是不完备的
这一观点只是一般人对哥德尔不完备定律的误读
实际上
人类已知的完备系统是存在的
就比如说欧式几何
那就可以被公理化为一个完备的系统
另外
黄崎在数年之前抛出的哥德尔完备定理
也说明了一切一阶逻辑系统的完备性
崩溃是无止境的
至少王崎在修法当中
还存在不完备也不能怀疑
不能颠覆的东西
王崎感觉到了自己的状况
他的命火只剩一线
生命垂危
但是他手中的笔还没有停下来
因为他已经做好的准备留下后手了
王崎手上的戒指
数学
肩膀上的肩甲离散依次亮起
然后贾维斯将一篇新的法诀输入到王崎体内
因为不完备
我们永远无法证明一个公理系统无矛盾
这同样是对哥德尔不完备定理的误读
哥德尔不完备定理否决的是在一个系统内部来证明该系统的一致性的可能性
这个证明过程说起来复杂
但是其核心思想是运用了所谓的自指这个陈述
陈述了自己这个集合包含了自己
这也是逻辑学当中许多悖论的来源
地球的理发师悖论
神州的炼丹师悖论
归根结底都是一个集合究竟应不应该包括自身的疑问所引发的
而这一条不完备定律是可以绕过的
不能在系统之内证明系统的完备性
但是可以从系统之外证明
我们不能根据系统本身证明这个系统
但是可以通过另一个系统来证明它
王崎在五六年前就做过相关的理论研究
正是布尔巴基学派的思想
从外部证明
布尔巴基学派本就是地球的数学界在被哥尔德不完备定理狠狠洗礼过之后
重新衍生出来的东西
若是按照神州的分类法
同样属于离宗宗一系
而照照布尔巴基学派的理论推演出的修法
也正好能够支撑因为不完备定律而溃散的法力系统
贾维斯给出的支援
正是重新导正黄崎体内崩散的法力
与此同时
黄崎的论文也接近了尾声
结论
由此我可以证明
对于任意的算学系统
如果其中包含了算术系统的话
那么这个系统不可能同时满足完备性和一致性
对于任意的算术系统
如果其中包含了算术系统的话
那么我们不能在这个系统的内部来证明它的一致性
完备性和一致性不可得兼
这个系统要么自相矛盾
要么存在着既不能证明也不能证伪的命题
轰隆隆
军脑海中如有一道雷光炸响
他感觉到精神气爽
从来就没有这么清醒过
而另一方面
他的法力系统崩散又重聚
几乎等于是经历了一次涅槃
他的修为依旧是结丹初期
但是修法本质却隐有升华
啪啪啪啪啪
空气当中传来一寸连脆响
如同裂帛
那是王崎无意识中溢散的法力对周围的搅扰
他站了起来
然后又坐下
想了想
重新拿起一张纸
写下一个附录
再次声明哥德尔不完备定律的本质
并附上他这几年断断续续做的有关于超限归纳法算术公理化的论文
就连他本人
在写这篇论文的时候
遭遇了修法的大崩溃
若是其他人又会怎么样呢
所以
必须得附加一点保险措施才行
哥德尔不完备定律虽然在数学史当中占据了极其重要的地位
但是证明过程相对来说比较简单
论文整体很短
以王崎的思维速度和手速
整篇论文个把小时就写完了
他推门出来
陈由嘉突然扑了过来
揪住他衣领
呵斥道
你究竟在搞什么鬼
写论文
你差点就死了
陈由嘉原本淡漠的表情
这一刻变得很明显
愤怒和委屈同时出现在她的眼睛里
她用法力束缚住眼角溢出的泪水
咬牙切齿道
你
你差一点就死了
你差一点就死了
你这是在写哪门子的论文呢
王杰这才想起来
自己光是封住门窗
忘了屏蔽气息了
哎
当年开创缥缈之道的蒲前辈
就因为发现了不连续而功力散尽
王崎拍拍陈由嘉的肩膀
差不多的道理
陈由嘉呼吸一窒
旋即就平稳下来
呃 是吗
她的脑袋埋在王崎肩膀上
这样啊
如果是其他人说自己将要颠覆现有的学术体系
那么陈由嘉多半会认为他疯了
或者本质上不学无术
但不知为什么
王崎这么说
他就信了
很奇怪
王崎过去虽然很辉煌
但是仅限于天才的范畴
说他现在能做出逍遥极数的成果
不太可信
但是陈由嘉就是信了
王崎虽然很疯
但是这件事情上却未曾疯过
喂 师弟
糜突然出现
对着王崎说道
师傅找你
啊
王崎有些惊讶
陈由嘉疑惑道
难道是冯先生找你吗
是你刚才写的论文
哼 绝对不是
王杰还是知道轻重的
在写论文之前
他就给自己的算器安插了好几道防火墙
杜绝冯落衣的视线
而且他也用法力布了周围
数据化修法
也是算器模拟灵识的克星
冯落衣根本就不可能知道这一切
如果硬要说的话
也许
也许是因为他之前表露出的某些想法
王崎有些疑惑
他迅速用自己的算器戒指完成了论文的录入
然后将手中的稿纸放进自己的储物袋
以强横修为将之封住
确保不会被任何人打开
陈由嘉就在这儿
让他看见
真的很危险
带着些许压力与振奋
王崎再次潜入了万仙幻境
冯落衣早就在一处幻境当中等待王崎
这里还是一个图书馆的模样
冯落衣和王崎相对而坐
这位老者脸上带着一丝淡淡的怒容
呵斥道
王崎
你最近在想什么呀
我最近在试图将算学以平直的语言描述出来啊
这个过程由于并不涉及太过复杂的算学道理
所以很适合推广
王崎恭恭敬敬的说道
我准备将之印成书册
在全天下推广
传扬我万法之道
已经让天下人都能晓得我万法门的道理
让更多人投身其中啊
科普
也是获取民生的一个好途径
霍金就是最好的例子
这也是王崎的计划之一
只不过是一个长期计划
冯落衣接受了王崎的说法
但是冷哼道
哼
你有这心思是很好的
但是你不觉得你要推广的道理里面
有些实在是太放肆了吗
王崎揣着明白装糊涂
老师 您说呢
数学本身就是超越我们思维的自在之物
逻辑上
我们无法否认一加一等于三的可能性
没有人担心一加一等于三的问题
冯落衣瞪着王崎
嗯
你想要说什么
你的意思应该不是说
每个人都是依靠超逻辑的感觉来完成算学的最初积累吧
呃
我只是论证了可能性
王崎依旧保持低姿态
呃 实际上
算主还没有证明集合论的完备性之前
我们都只能说有可能
我们确实不能从逻辑层面否认证明一加一等于三的可能性
至于另外两条
我也只是在陈述事实而已
冯落衣无奈
你究竟是什么时候倒向了算君的离宗啊
呃
弟子从未偏向过算君的离宗啊
王崎恭恭敬敬的说道
或许在完备性上
离宗思想一败涂地
但是离宗的研究思路和工作方法都是可取的
至少王崎是这么认为的
但是你的想法已经有些危险了呀
王崎恭敬的说道
因为就弟子看来
现有的逻辑
真的不可靠啊
不可靠嘛
冯落衣笑了
王崎感觉到大量带有攻击性的数据流过来
几乎要将他淹没
你倒是说一说
怎么不可靠
有什么不可靠呢
在现有的体系当中
你可找得到他无法解释的地方吗
黄崎道
只是现有
难道你还能看到现在没有的吗
你难道自己创造出了一个新的算学分支
然后证明它不能被公理化吗
不 老师
黄金摇摇头
我没有开创一个分支
而是算出了未来
由此可见
我们现在需要做的工作
并非是像以前认为的那样
在万仙幻境当中
王崎正喋喋不休的对着冯落衣反复陈述一遍又一遍论文
冯落衣毕竟是逍遥级数的修士
很快就平息了对弟子的怒火
恢复了平静
心平气和的听着王崎的叙述
王崎所说的这些论文当中
有些高明
有些也只是勉强通顺
在这之前
冯落衣并不觉得这有什么值得一读的地方
因为这些论文的思路在他看来分外麻烦
而且没有什么意义
但是
他是何等人物
随着王杰的讲述
引用
甚至仅仅是提及
冯落衣的意识就自动从仙盟德数据库里提取出相关的信息
并将之纳入思考
很快
一个不完整
但是已经初见雏形的体系就已经出现在冯落衣的脑海之中了
这些论文彼此之间存在隐约的联系
这个联系
这一本溯源的话
全部要落到他当年在逍遥之赏的器成之宴上发表的那一篇讲话
冯落衣的第一个念头就是呵斥王杰胡闹
但是人类讲话的速度是有极限的
而他的思想已经远远超出了这个极限
所以话还没出口
这个初见雏形的理论系统就已经在他心中运转数周
然后
冯落衣的话就再也说不出口了
这个并不是胡闹
这个小子
他真的有自成一派的气度啊
但是
但是
但是这个学派成立的前提却是
冯落衣有点不敢想象下去了
这个学派成立的前提
恐怕就是歌庭派的覆灭
王崎这个要敲碎整个歌庭派
然后在离宗阵营当中重立一个学派
是荒谬吗
自然是荒谬的
这里面涉及到的利害
无论如何也不是结丹期的王崎可以承担的
但是王崎现在的姿态
不用讲了
我做好心理准备了
冯落衣已经恢复了一贯的镇静
他伸出手
拿出来吧
王崎犹豫了一下
呃 等一下 老师
我们刚刚才讲完超限归纳法
其实
我觉得我们可以接着从
你在小看我吗
嗯 小子
冯落衣注视着王崎
很快
王崎就感觉到了无穷无尽的信息几乎要将自己淹没
那是一个算家的坚持啊
我大约猜出来你证明什么了
我也承认
如果我真的面对那个结果
说不定就会道心崩散呢
冯落衣目光坚定而执着
但是
我是一个算家
我知道了
世上还有这样的定理
即使是以死亡为代价
我也必须看一看
黄崎沉默片刻
除非他以原始的纸质书信或者古法传讯法器的方式
将这篇论文寄送出去
不然的话
想要发表论文
绝对不可能绕过冯落衣
而线上论文
才是神州修士发表自身理论的唯一途径
所以 这一关
不得不面对
呃 老师
王崎尽量让自己的语言保持平和
请先让所有关键的算器脱境
通知实证部迅速结止证实
断开与万仙幻境的接驳
保护已有数据
与此同时
也断开与各大数据库的联系
最好的办法是从物理层面断连啊
另外
紧急通知大家
最好暂停使用算器
冯落衣深深的看了王崎一眼
然后一个个指令被下达
王崎所说的这些
必然会使仙盟蒙受巨大的损失
想象一下吧
地球的一个经济重心城市
比如纽约
断网半个小时会发生什么呢
那必然意味着整个金融市场的巨大动荡
而在神州也是差不多的道理
无数的实验室被迫终止
这一次实验当中投入的所有材料
所有精力都会白费
而阻断了各大数据库
则会让仙盟绝大多数需要查询资料工作陷入困顿
另外
仙盟无处不在的监控网络也会失灵
如果王崎的理论被证明是胡扯
他只是在和仙盟开玩笑
那么他就必然会受到严厉的制裁
但是
冯落衣依旧做了