爱看小说网

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

“既然它的算力是ω,那么旁边的那个0(1)又是什么意思?”

重生我的老婆是天后  诡秘世界我能逢凶化吉  恶魔天使  七零之重组家庭的小女儿  大梦王  五浔之外  狙击战神  摘星手记  开局人间体  奥特曼之黑暗星纹  特种兵:我成了全球特战教父  殡葬异事录  我媳妇是医圣传人  穿越之直上青云  分开后偏执大佬缠上我了  我真不想修行啊  山村大闲人  我的室友不对劲  大乾佛主  游历万界的永生者  

热门小说推荐
上门狂婿

上门狂婿

被丈母娘为难,被女神老婆嫌弃!都说我是一无是处的上门女婿!突然,家族电话通知我继承亿万家财,其实我是一个级富二代...

极品仙师

极品仙师

市一高新丁黄景耀因得罪骨干教师被恶意针对,不堪受辱辞职后意外得到仙家至宝。重新执教县一高,左手录运簿册掌天下文章,可查看每一个学生学习天赋,提升天赋。右手文昌大印掌考场气运,财富官运。教师以教育水平和升学率为本,黄景耀渐渐发现他的本钱雄厚的有些令人发指,一次次撼动整个教育界,又远不止单一的教育界。...

超强神龙进化系统

超强神龙进化系统

从小在孤儿院长大的敖问,一次意外死亡,重生为蛇,但是上天赐予他神龙进化系统这系统可以穿越万界,可以帮助他蜕蛇成龙!从此敖问为了不想平凡过完一生,开始了轰轰烈烈的进化之路。敖问可以跟人类结婚生子吗?系统你自己试试看,不就知道了吗?黑暗流无敌流装逼流微度PS胆小慈悲心勿进。...

功夫皇帝逍遥游(功夫皇帝艳福星)

功夫皇帝逍遥游(功夫皇帝艳福星)

一个落魄的大学生阴差阳错地灵魂穿越到了古代,稀里糊涂地做了皇子,又发动政变赶走太子当上了皇帝,从此便过上了锦衣玉食声色犬马的生活。但他却不满足,他要做一个全能型的功夫皇帝因此,他拜武林宗师学习武功,又向江湖术士讨取御女秘方,美艳绝伦的妃子欲望强烈的宫女温婉恬静的皇后妖艳迷人的异族美女野性十足的江湖侠女,各种类型的美女纷纷被他男人的功夫征服金钱权利和美女一个都不能少!想爽的,还等什么呢?本书保证精彩,敬请放心收藏,推荐!...

修真聊天群

修真聊天群

某天,宋书航意外加入了一个仙侠中二病资深患者的交流群,里面的群友们都以‘道友’相称,群名片都是各种府主洞主真人天师。连群主走失的宠物犬都称为大妖犬离家出走。整天聊的是炼丹闯秘境炼功经验啥的。突然有一天,潜水良久的他突然发现群里每一个群员,竟然全部是修真者,能移山倒海长生千年的那种!啊啊啊啊,世界观在...

重生最强妖兽

重生最强妖兽

系统流爽文古有黑蟒,百年后化腾蛇,千年后变蛟,万年后化龙,可遨游九天十地,统领六合八荒。三千年前,人族仙尊林昊斩妖无数,却遭逆徒暗算,被人族围攻致死。三千年后,林昊重生于一条黑蟒身上,以妖证道,开启了一段逆天化龙之路。书友群565412325...

每日热搜小说推荐