00:00/00:00
外链地址
https://www.eemp3.com/audiofile/8f787e3ab23d38878e498b11f8a33b59.mp3
点击复制
本字幕由TME AI技术生成
欢迎收听由懒人听书出品的走进修仙作者
吾道长不孤演播
沈阳第四百八十九集
算器的功能与其品阶直接挂钩
实证部用的大型算器
在接驳万仙幻境的能力上
总比小型的低阶算器要强很多
辰风和艾轻兰两个人身形一闪
几个急掠就到了实证部门口
当他们推开实证部大门的时候
发现自己实证部所有的研究员都围在大型算器那里
叽叽喳喳的围个水泄不通
怎么了
艾轻兰问了几声
没人回答
他用法力将毛梓淼摄过来
毛梓淼一个激灵
惊道
艾师姐
那个
那个在算器里面讲道的家伙
是小崎吧
王崎
艾轻兰和辰风对视
也不明所以
我让你们去看的
是今天万法门的那一场讲道吧
嗯
就是那一场啊
大姐
另外一个修士指着算器大叫
那个正在讲道的人啊
好像就是经常来帮忙的那位师兄啊
幻影之中
王崎娓娓道来
在康门主的诸多论证当中
对角线证法称得上天才一般的构思
他向我们表明了
可数无限都是相等的
而在可数无限之外
还有不可数无限
这些朗德的修士已经呆若木鸡了
王崎经常帮辰风他们处理一些实验数据
所以这些人也都见过王崎
他们知道王崎是万法门真传
算学水平高得没边儿
可这也太高了吧
我们都是同辈呀
啊
他都已经能够和逍遥修士讲道了吗
辰风和艾轻兰两个人也愣住了
那篇险些颠覆万法门的论文
就是王崎的作品吗
而当康门主在道心沦丧之前
问出的最重要的问题
便是与这无限有关
王崎说到这一局的时候
魏二先生神色一暗
似乎又想起了自己那个如有天妒之才的弟子
而在歌庭派的无数尝试之中
我们逐渐意识到了二十三问之中
第一问和第二问都有着非常联密的解析算学的一致性
这也是诞生自康门主集合论之中的巨大矛盾
他用一句话就可以概括
此言非真
真也 假也
这个自中古就有的
真假之辨
引发了算学体系的灾劫
当介绍到这里的时候
黄崎停顿了一下
道
呃
我的思考便是自这里起始的
不完备最核心的概念有两个
我首先要介绍的第一个
唤作自我指涉
路小茜看着王崎的演讲
一脸清雅的脸上也露出错愕的表情
我有一种初闻缥缈之道的感觉呀
这不完备定理和不可测定理
同样都很洗人三观呢
哼
万法门的托理真人摇摇头
他也想起自己师弟不准道人当年震惊天下的情形了
破理真人并不如何喜爱算学
尤其不喜欢这种纯粹算理
所以没有显身去听
我们就是往微观的层面走
算学就越显得重要啊
路小茜开始沉思
这个发现对我们有什么意义呢
没有任何意义
也不会有任何意义的
破理真人强调道
或许他们会升华出更多的算法
作为你我的追求之器
但是这个发现本身没有任何意义
万仙幻境深处
王崎的演讲也进入一个新的阶段
傀儡审官这一个故事
乃是不完备和不可判定都会涉及到的重要概念
自我指涉
但是不完备定理也不是纯粹由这一个概念支撑起来的
接下来我要讲的
便是我从希门主
从歌庭派工作当中学习到的最重要的概念
形式化
呃 在这里
这一个形式化便有一些特殊
接下来我要讲的
便是我从希门主
从歌庭派的工作当中学习得的最重要的概念
形式化
王崎这话一出口
算君的眉头就多出了一道沟壑
而在他身后
更多的少黎派算家几乎出离的愤怒了
算主希柏澈一生当中有无数的成就
但是他在算学本质的看法之上
却广为人诟病
绝大多数算家都难以接受
以算主看来
算学的本质就是形式
单独的符号不存在任何意义
那些符号排列的形式才是算学
这就好比说一加一等于二这个最初公式里
一加等于二这几个符号都是无意义的
而只有那个完整等式才具有数学意义
而另一边
歌庭派的诸多算家也心情复杂
他们脸上露出了诡谲的表情
夹杂着迷惘
愤怒
形式的理念
包括了一致性
完备性
可判定性
可谓是算主希柏澈一生的理想与最大的追求
而否定这份理想的
正是王崎本人呢
王崎使用算主的思路
否决了算主的追求
也否定了歌庭派数十年的努力
但是
这种种复杂的心绪
并没有影响到王崎
王崎明白
现在他代表的不是他自己
而是正确
自我指涉并不是一个数学的描述
它确实是属于逻辑
但是否属于数学
还有待商榷
并非是所有的数学家都承认这一点
地球也好
神州也好
都有这样的迹象
这一陈述无法证明
并非狭义上的数学陈述
哥德尔证明方法的第二步
就是将这个非数学的陈述
或者说准数学的陈述
转化为一个数学的陈述
地球将之称为哥德尔数化
或许在神州
它会叫做王崎数化吧
呃 一般人呢
在理解这不完备的时候
就容易陷入一重重自我参照的迷雾之中难以自拔
呃 我猜想
这大约是与康前辈的对角线证法无穷基数违反我等天才的直觉有关
也正是这一重原因
所以千百年来
我们的前辈们才会对这一重道理视而不见呢
而非要揭开这一重迷雾
就必须使用这种形式化的方法
王崎双手放出金光
幻化出重重光幕
无数算符在上面飞舞排列
罗列着一个伟大的证明
哥德尔证明不完备定理的第二部分
也是其最伟大的部分
就在这里
呃
任何公理系统所运用的算符
所能够存在的公理都是有限的
因此
这些公理
这些算符所能够罗列出来的陈述
也必定是可数的
呃 无穷可数
道元数零自然数的个数
就是这么描述的
而这些有可能的陈述
其长度也必然是可数的
可既然还在可数无穷的范畴之内
我们就可以用自然数给它编号
每一个编号都是独一无二的
然后
我们就可以建立一个集合中天
这个集合中天
便是包括了所有有可能陈述的编号
一个公理系统之内
所有有可能的陈述
都必定在这个编号之内
讲道进行到这里的时候
已经开始脱离绝大多数人所能够理解的范畴了
什么可数无穷
什么基数序数
这些都已经超过他们的理解范畴了
就连显身现场听王崎讲道的那些逍遥修士
也有几个露出了迷惘之色
这个少年所说的每一步
他们都可以理解
但是这些东西凑到一起之后
究竟有什么数学意义呢
完全不明白呀
更多借助万仙幻境收看这直播的今法修则纷纷头昏脑胀
这看似简单的证明
似乎包含着无穷的魔力
仿佛要将他们的思维拖向一个深渊
冯落衣不得不叹了口气
以字幕的方式向所有通过直播观看的修饰进行解释
这个数化的过程
说白了就是映射
把算术系统中的符号
表达式和表达式的序列都映射为数
通过引进哥德尔数而实现了对象的数化手续
这样处理的结果
对于数学逻辑和其他有关分支来说
在研究方法上就提供了一种数字化工具
能够方便的把一些讨论对象转化为自然数或自然数的函数
能够用自然数的理论来讨论有关问题
将一个准数学的陈述转变为一个具有数学意义的陈述
这就是这个数化的意义所在
而当这个证明进入第二阶段的后半段时
歌庭派中
艾克蛮轻轻叹息
原始递归式人
他的表情当中包含着十足的惋惜与悔恨
我也研究过这个领域
若是我当年能够再深入一点
会不会就能够避免了今日的劫难呢
有几个歌庭派的修士立刻发来私聊
艾兄
你对这个领域有研究吗
能不能在这一步绊王崎一绊呢
艾克蛮苦笑摇头
王崎这一步并没有做错
他能够将对的说成错的吗
同时
他也下定决心
回去就仔细研究这个往日并不被重视的领域
当然
在场的人并不知道
这个数化的证明还有超过其本身的意义
它同时也是规定论的源泉
而规定论
正是现代逻辑学的最重要分支之一
到了这个地步
王崎的证明也进入了尾声
王崎最后一次挥动双手
算符排列成了不完备定理的证明
呃
这就是全部的过程
全场寂静无声
算学在这一刻走向了死亡
一致性与完备性不可兼得
算学无矛盾而不完备呀
收看直播的许多万法门弟子几乎哭了出来
王崎写完不完备定理的证明之后
便到讲坛的边缘静坐片刻
今日的讲道便是分成了四个部分
前一个部分讲的乃是不完备定理
接下来的一个部分讲的则是不可判定定理
然后才是提问与总结的时间
那些逍遥修士也需要一定的时间来吸收理解这些东西
他闭目养神
似乎完全感觉不到周围那些巅顶大修加之于他身上的恶意
就算举目皆敌又何妨呢
这里是求道者的领域
而非斗法的场合
任你说破大天
也不可能将正误逆转
短暂的休息之后
王杰重新走回讲坛的中央
因为短暂修整而出现的窃窃私语声也渐渐消失
无数修士的注意力就集中到了王崎身上
如同一条又一条的毒蛇
在寻找猎物的要害
力图一击毙命
王崎继续开讲道
呃
在讲完了不全之后
我们再来说一说
无非也就是不可判定定理
不可判定定理的前一部分
和不完备定理一样
都是自我指涉
这里我便不再赘述
我下面就直接进入不可判定定理证明的第二个部分
首先在这里我需得感谢图灵真人
感谢他在这个问题上对我的帮助
也感谢他提供的一种等价证明法
首先
我要介绍的第一种证明法
是我自己提出的
是借助狭义图灵算器的机制
而第二个部分
图灵真人称之为万法万象式
它是根据不完备定理而构造出的一个完备而不一致的算法
这也是王崎和图灵真人商量好的部分
狭义图灵算器和万法万象式
也就是图灵机和兰达算法
和不完备定理证明后半段的第二阶段一样
有着超越这个证明本身的潜力
他们在后世各自发展出了枝繁叶茂的道路
图灵真人也很高兴自己那个不大看得上的定理能够被传扬
王崎也需要一些逍遥修士表示支持
让自己显得不是那么势单力薄
好让更多的算家能够追随自己
开创算学的新天地
二人可以说是一拍即合
不可判定定理的证明过程
和那不完备相比
显得要好处理很多
尤其是第一个部分
图灵机证明
这个故事几乎就是和王崎之间讲述的傀儡审官
还有蜃戏
银翼刺客一脉相承的
不少不属于万法门的修士
尤其是以那些文艺小说家言为修辞之法的小门派
都听得津津有味
他们听不懂王崎的理论
理解不了王崎理论背后的数学意义
但是他们能听懂故事
他们的脑海当中几乎浮现出了无穷的故事
可以预见
在未来的一段时间里
傀儡人将成为说书人口中的热门题材
在还没有崩溃的万法门弟子
对第二种方法显出了更大的兴趣
薄笑风整个人都处在一种懵逼的状态
完备但是自相矛盾的系统
这种东西真的存在吗
这里面有什么算学意义吗
黄崎的讲述自午时始
自酉时而终
当酉时的钟声在神州大地敲响的时候
这次讲道也进入了末尾
呃 综上所述
我们可以做出这样的证明
黄崎深吸一口气
讲述了最后的两句话
呃
我想我可以自豪的宣布
希门二十三问当中最关键的第二问
第十问已经圆满解决了
算理基础当中最重要的一致性
完备性和判定性证明也已经完成
算学便要进入一个新的时代了
无人鼓掌
但是所有人感觉
一场革故鼎新的变动
或许真的要来了