手机浏览器扫描二维码访问
连续统问题是希尔伯特第一问,另一个问题是关于可判定性的。
在有限的时间内,是否总有可能找到一个步步推进的程序,对一个给定的数学命题的真伪进行判断。
哥德尔不完备定理粉碎了这种可判定性。
它证明了在任何逻辑统一且大到能够包含所有算法规则的公理体系中,总有一些数学事实无法被证明。
但哥德尔不完备定理依旧给数学命题是否可证留下了一道门。
虽然每一个自洽的公理系统中都存在不可被证明的数学事实,但能否找到一系列的步骤或算法,来判定任何给定的数学命题是否可证。
就像是哥德尔在证明不完备定理时做的那样,证明一个数学命题的不可证明性。
关上这扇门的是图灵和图灵机的停机问题。
没有一种通用的算法可以判定所有的输入结果是否会出现停机,希尔伯特判定问题无法被解决。
无论一个程序多么巧妙,在任何情况下,它都无法计算出其他程序是否会终止。
许多数学事实不仅不可证明,甚至连它们是否可以被证明都无法确定。
这些问题就被称为不可判定问题。
在数学中,证明命题的难度分为几个等级。
有些命题有短的公理性证明,它们的证明简洁美丽。
在现代计算机出现之前得到证明的命题都是这一类,也是大部分人所熟知的证明。
有些命题没有短的公理性证明,但采用计算之后有短证明,比如四色定理。
有些命题就算用上了计算,也还是只有长证明,不可能在一块黑板上用粉笔写下完整的证明。
并不是所有的数学问题都很简单,能做的证明都能在几页纸内写完。
『我有一个绝妙的证明,但空白处太少,我写不下』
这句话用在不可判定问题上恰如其分。
李恒敲了敲桌子上的芝诺机道
“虽然无法窥探不可数无限集合中的无限元素,但有限的人类至少能研究可数无限集合中的有限元素,以此确定可数无限的某些性质。”
“图灵机就是这样一类假想的计算机器,它们的计算能力从有限次扩展到了无限次。”
阿基里斯凝神看去,只见那张纸上多出了一个标题【图灵度层级】。
她的那台芝诺机所在的位置与标题几乎重合在了一起,旁写着o1的字样。
“这里就是穷序数出场的时候了。”
“穷序数衡量的是无限序列的长度,也就是图灵机进行是、否判定的次数。”
“地球上普通的级计算机能做到每秒数百亿亿次的计算,这台芝诺机则能做到在1秒内完成无限次计算。”
“因此,这台芝诺机的算力就是。”
阿基里斯听得下意识点了两下脑袋,表示“我已经完全明白了”。
这比起刚刚那个名叫哥德尔的老头讲的连续统问题简单太多了。
那个老头说的话就跟天书似的,很难把这样一个老头与深度被害妄想症患者联系在一起。
在之前那段诊疗时间里,她所做的只是保持着尴尬且不失礼貌的微笑,装作自己正在观赏壁炉中跳动的火焰。
“既然它的算力是,那么旁边的那个o1又是什么意思?”
阿基里斯猜测道
“是不是表示这台芝诺机算力的另一种符号?”
李恒点头道
“没错。”
“最原始的图灵机模型是预言机,又称谕示机,它可以被视为多了个黑盒子的图灵机。”
“预言者能解答的问题可以是任何复杂度之内的问题,甚至可以使用不可判定问题,像是停机问题。”
“不过,当一台谕示机配备了一个能解答停机问题的预言者时,我更喜欢把它称作神谕机。”
谕示的原文orac1e的意思就是“神的宣布”,也就是神谕。
图灵是无神论者,他相信物理世界是可计算的,神是不存在的,所以神谕当然也不存在。
在图灵眼中,能解答不可判定问题的图灵机,宛如神谕。
“图灵机无法解决停机问题,但神谕机却可以解决停机问题,显然它的计算能力比图灵机更强。”
2o18王者荣耀文学大赛征文参赛作品莫小缇的菜鸟逆袭,从一场坑爹的游戏失败后开始。莫小缇,女!职业学生!王者智商低低级!莫小缇听着闪耀系统的播报,抽了抽嘴角,王者低低级,是个什么鬼?菜鸟逆袭之王者闪耀...
简介关于穿成荒年小农女,我有空间爽麻了程冉死在最后的任务里。再睁眼,穿越到一个架空朝代,成了个瘦弱的农家女。十年荒年,颗粒无收,人人都饿疯了。她正要被跟着进山的樵夫,杀了吃肉。程冉拼命回到家中,现没人问她为什么一身伤,亲娘还因为她没找到食物,要暴打她。这家人,不要也罢!程冉强势和家人断绝关系,一家人都等着她暴尸街头。不想程冉一个人也能把日子过得风生水起,食物吃不完,绸缎穿不完,还有了个气质卓绝对她极好的夫婿啃树皮的程家人坐不住了,纷纷来套近乎,程冉理都不理。程家人气急败坏,开始造夫婿的谣。别看那小白脸长得好看,就是个杀人犯!程冉还不把他举报到衙门,这是包庇罪!还带着里正冲到程冉家里,要把他们小两口就地正法。程冉呵呵一笑,给大家介绍一下,这小白脸,太子。我,太子妃。...
汉昭烈帝,玄幻,爽文,系统,剑道,双修,多女主本书又名合欢宗为什么不能是第一宗门?,女宗主跪着求我,我感觉你好香啊宋霆作为一名合欢宗杂役弟子,差点就死在妖女床上,好在他开启了修改器系统。把一品丹药改成九品丹药!把下等功法改成仙法!把死人改成活人!把这个改成名器,这个也改大一点温柔师姐隋满盈宋霆,今天我们一起做晚操吧。清纯少女姜清我已经是师兄的形状了。妖媚宗主6玉枝阳光进不去的地方,你可以进去。呆萌药师温月颀宋霆,棒棒糖真得好吃吗?多年之后,宋霆笑对天下合欢不仅仅是合男女之欢,更合天下之欢!...
两年前,父亲被人醉驾撞死,凶手逍遥法外,他亦被诬入狱,面对世间不公,他无力改变!两年后,他获得无上传承,医术济世,武道除魔!害我者,血债血偿!欺我者,求死不能!...
当灭霸带着他的外星大军侵入地球,他们即将面临的是,来自地狱的裁决。无意间穿越到漫威宇宙,陈启成为了第四代恶灵骑士,并觉醒了诸天裁决系统。至此他走上了在诸天万界惩戒恶人的道路。ps这本书讲的是恶灵骑士在各个世界里教训恶人的故事,本书是无限流,主宇宙是漫威。当前世界,已过哈利波特人皮灯笼(建议跳过)黑衣人恶灵骑士的诸天裁决...
大唐帝国与阿拉伯帝国的一场大战中成为敌方战俘的贵族纨绔子弟杜环,流落阿拉伯帝国东罗马帝国法兰克王国非洲等,亲历八世纪下半叶着名世界历史事件,与当时历史上的各色人物斗智斗勇。故事内容有时诙谐幽默,有时紧张严肃,有时神秘莫测,情节波澜起伏,涤荡激昂。浪子列国历险记...