韩三千小说

手机浏览器扫描二维码访问

第729章 人与神的界限(第1页)

连续统问题是希尔伯特第一问,另一个问题是关于可判定性的。

在有限的时间内,是否总有可能找到一个步步推进的程序,对一个给定的数学命题的真伪进行判断。

哥德尔不完备定理粉碎了这种可判定性。

它证明了在任何逻辑统一且大到能够包含所有算法规则的公理体系中,总有一些数学事实无法被证明。

但哥德尔不完备定理依旧给数学命题是否可证留下了一道门。

虽然每一个自洽的公理系统中都存在不可被证明的数学事实,但能否找到一系列的步骤或算法,来判定任何给定的数学命题是否可证。

就像是哥德尔在证明不完备定理时做的那样,证明一个数学命题的不可证明性。

关上这扇门的是图灵和图灵机的停机问题。

没有一种通用的算法可以判定所有的输入结果是否会出现停机,希尔伯特判定问题无法被解决。

无论一个程序多么巧妙,在任何情况下,它都无法计算出其他程序是否会终止。

许多数学事实不仅不可证明,甚至连它们是否可以被证明都无法确定。

这些问题就被称为不可判定问题。

在数学中,证明命题的难度分为几个等级。

有些命题有短的公理性证明,它们的证明简洁美丽。

在现代计算机出现之前得到证明的命题都是这一类,也是大部分人所熟知的证明。

有些命题没有短的公理性证明,但采用计算之后有短证明,比如四色定理。

有些命题就算用上了计算,也还是只有长证明,不可能在一块黑板上用粉笔写下完整的证明。

并不是所有的数学问题都很简单,能做的证明都能在几页纸内写完。

『我有一个绝妙的证明,但空白处太少,我写不下』

这句话用在不可判定问题上恰如其分。

李恒敲了敲桌子上的芝诺机道

“虽然无法窥探不可数无限集合中的无限元素,但有限的人类至少能研究可数无限集合中的有限元素,以此确定可数无限的某些性质。”

“图灵机就是这样一类假想的计算机器,它们的计算能力从有限次扩展到了无限次。”

阿基里斯凝神看去,只见那张纸上多出了一个标题【图灵度层级】。

她的那台芝诺机所在的位置与标题几乎重合在了一起,旁写着o1的字样。

“这里就是穷序数出场的时候了。”

“穷序数衡量的是无限序列的长度,也就是图灵机进行是、否判定的次数。”

“地球上普通的级计算机能做到每秒数百亿亿次的计算,这台芝诺机则能做到在1秒内完成无限次计算。”

“因此,这台芝诺机的算力就是。”

阿基里斯听得下意识点了两下脑袋,表示“我已经完全明白了”。

这比起刚刚那个名叫哥德尔的老头讲的连续统问题简单太多了。

那个老头说的话就跟天书似的,很难把这样一个老头与深度被害妄想症患者联系在一起。

在之前那段诊疗时间里,她所做的只是保持着尴尬且不失礼貌的微笑,装作自己正在观赏壁炉中跳动的火焰。

“既然它的算力是,那么旁边的那个o1又是什么意思?”

阿基里斯猜测道

“是不是表示这台芝诺机算力的另一种符号?”

李恒点头道

“没错。”

“最原始的图灵机模型是预言机,又称谕示机,它可以被视为多了个黑盒子的图灵机。”

“预言者能解答的问题可以是任何复杂度之内的问题,甚至可以使用不可判定问题,像是停机问题。”

“不过,当一台谕示机配备了一个能解答停机问题的预言者时,我更喜欢把它称作神谕机。”

谕示的原文orac1e的意思就是“神的宣布”,也就是神谕。

图灵是无神论者,他相信物理世界是可计算的,神是不存在的,所以神谕当然也不存在。

在图灵眼中,能解答不可判定问题的图灵机,宛如神谕。

“图灵机无法解决停机问题,但神谕机却可以解决停机问题,显然它的计算能力比图灵机更强。”

热门小说推荐
诡异复苏:我代神明行走人间

诡异复苏:我代神明行走人间

简介关于诡异复苏我代神明行走人间诡异复苏,天庭地府却早已消失不见。安稳繁华的表象下隐藏的是即将到来的绝望,人类沦为血食。曾几何时护佑人族的天庭众神只残留下财神的名号,勉力庇护一地。张羽开着穿越者专属外挂,在一路碾压中揭开一道道隐藏在黑暗中的真相,点燃一座座神道丰碑。守护世界守护我的世界我张羽能有今天的成就全靠自己的努力!系统,请九天应元雷声普化天尊临凡诛邪!...

官场:分手不久,省长女儿爱上我

官场:分手不久,省长女儿爱上我

简介关于官场分手不久,省长女儿爱上我上一世,被妻子戴帽,被岳父害死,被岳母逼死父母。这一世,林辰开局就打脸那个贱女人,打脸贱女人的爹,省组部的大佬,却因此被配到最穷市的最穷县的最穷乡。重生就是金手指,而且多多,且看林辰如何在困境中杀出一条血路,报上一世的仇怨,补上一世的不甘,圆上一世的梦想...

错爱情深,洛少放肆宠

错爱情深,洛少放肆宠

母亲三婚的大喜之日,余暮夕被没有任何血缘关系的三哥洛挽风掳走。洛挽风欺她上了瘾,却又在不知不觉中爱上了她。余暮夕恨他入骨,不得不在他的威严之下苟活着。传闻,余暮夕被欺负得很惨,日子过得生不如死,只要洛挽风说113,她绝不敢说2。某天,某客厅内,一大一小的两人跪着键盘,面壁思过。爸,你今天犯什么错了?出门太错爱情深,洛少放肆宠...

冲喜之后,顾总让我滚

冲喜之后,顾总让我滚

林知夏被养父母设计嫁入顾家冲喜,新婚夜植物人老公顾凌笙醒来,厌恶地把她赶回家,林知夏毫不犹豫抬腿便走。然而她一走,顾凌笙便晕倒了,林知夏又被顾家请了回去。顾凌笙数次想要赶走林知夏,不料非但不成功,反而将两人的关系越拉越近,最后将自己陷了进去,开始了漫长的追妻之旅。顾凌笙老婆,我爱你!林知夏谁是你老婆?我们冲喜之后,顾总让我滚...

朝抚女帝

朝抚女帝

昭国有朝抚,幼年继位,貌美倾城!摄政当政,却引敌国皇长子倒插门?国库空虚,却得五国富入宫为君?兵力稀缺,却让敌国将军带兵下嫁?民不聊生,却有天才丞相宫中辅助?天灾人祸,却是青年国师说来就来?他们围在她身边,面色不悦。陛下还去找别的男子吗?还喝人家的茶吗?她拼命晃着脑袋不敢了不敢了,有你们就够了!真的!伸朝抚女帝...

原来的我

原来的我

简介关于原来的我一个艰难生存在社会底层的草根,一个各种原因把自己耽搁的老单身世事沉浮负重前行拨云见日,我是不是还是原来的我?...

每日热搜小说推荐