手机浏览器扫描二维码访问
连续统问题是希尔伯特第一问,另一个问题是关于可判定性的。
在有限的时间内,是否总有可能找到一个步步推进的程序,对一个给定的数学命题的真伪进行判断。
哥德尔不完备定理粉碎了这种可判定性。
它证明了在任何逻辑统一且大到能够包含所有算法规则的公理体系中,总有一些数学事实无法被证明。
但哥德尔不完备定理依旧给数学命题是否可证留下了一道门。
虽然每一个自洽的公理系统中都存在不可被证明的数学事实,但能否找到一系列的步骤或算法,来判定任何给定的数学命题是否可证。
就像是哥德尔在证明不完备定理时做的那样,证明一个数学命题的不可证明性。
关上这扇门的是图灵和图灵机的停机问题。
没有一种通用的算法可以判定所有的输入结果是否会出现停机,希尔伯特判定问题无法被解决。
无论一个程序多么巧妙,在任何情况下,它都无法计算出其他程序是否会终止。
许多数学事实不仅不可证明,甚至连它们是否可以被证明都无法确定。
这些问题就被称为不可判定问题。
在数学中,证明命题的难度分为几个等级。
有些命题有短的公理性证明,它们的证明简洁美丽。
在现代计算机出现之前得到证明的命题都是这一类,也是大部分人所熟知的证明。
有些命题没有短的公理性证明,但采用计算之后有短证明,比如四色定理。
有些命题就算用上了计算,也还是只有长证明,不可能在一块黑板上用粉笔写下完整的证明。
并不是所有的数学问题都很简单,能做的证明都能在几页纸内写完。
『我有一个绝妙的证明,但空白处太少,我写不下』
这句话用在不可判定问题上恰如其分。
李恒敲了敲桌子上的芝诺机道:
“虽然无法窥探不可数无限集合中的无限元素,但有限的人类至少能研究可数无限集合中的有限元素,以此确定可数无限的某些性质。”
“超图灵机就是这样一类假想的计算机器,它们的计算能力从有限次扩展到了无限次。”
阿基里斯凝神看去,只见那张纸上多出了一个标题【图灵度层级】。
她的那台芝诺机所在的位置与标题几乎重合在了一起,旁写着0(1)的字样。
“这里就是超穷序数出场的时候了。”
“超穷序数衡量的是无限序列的长度,也就是超图灵机进行是、否判定的次数。”
“地球上普通的超级计算机能做到每秒数百亿亿次的计算,这台芝诺机则能做到在1秒内完成无限次计算。”
“因此,这台芝诺机的算力就是ω。”
阿基里斯听得下意识点了两下脑袋,表示“我已经完全明白了”。
这比起刚刚那个名叫哥德尔的老头讲的连续统问题简单太多了。
那个老头说的话就跟天书似的,很难把这样一个老头与深度被害妄想症患者联系在一起。
在之前那段诊疗时间里,她所做的只是保持着尴尬且不失礼貌的微笑,装作自己正在观赏壁炉中跳动的火焰。
“既然它的算力是ω,那么旁边的那个0(1)又是什么意思?”
五浔之外 狙击战神 大梦王 游历万界的永生者 我媳妇是医圣传人 摘星手记 恶魔天使 分开后偏执大佬缠上我了 重生我的老婆是天后 七零之重组家庭的小女儿 开局人间体 大乾佛主 穿越之直上青云 殡葬异事录 奥特曼之黑暗星纹 我的室友不对劲 诡秘世界我能逢凶化吉 特种兵:我成了全球特战教父 我真不想修行啊 山村大闲人
作为一个无节操无底线无尺度的三无大龄少女,男人于她而言不过是解决生理需求的生活用品,所以她并不在意他们视她如玩物,将她介绍给别人,搂着名门千金假装不认识她,故意贬低她否认与她的情史,利用她欺骗她甚至当众羞辱她。她很懒,懒得跟无所谓的人计较太多。但,等她识趣地走人了还指望她乖乖躺回他们身下?他们以为全世界的男人只有他们才长了根能用的东西?她只想说,呵呵。Nph文,6个男主,有处有非处,伪骨科。已完结~感谢所有妹子们!...
炮灰是什么?雪兰告诉你,炮灰是用来打别人脸的。凭什么炮灰就要为男女主的感情添砖加瓦,凭什么炮灰就要任人践踏?凭什么炮灰就要为男女主献上膝盖?凭什么炮灰就要成为垫脚石?炮灰不哭,站起来撸!本文男女主身心干净,秉持着宠宠宠的打脸原则,男主始终是一个人哦!...
作为醉月楼唯一一个男人,杨辰觉得压力很大。通过我洗的衣服来判断,李姐姐胖了两斤,王姐姐瘦了点,还有,能不能别让马姐姐穿那么性感的衣服,我洗衣服压力很大的。杨辰需要每天像老鸨这样汇报着工作。除此之外,他还要严守自己的贞操。杨辰,今天晚上来侍寝!让姐姐亲一个!记住,别躲,今晚,你是我的。...
别被书名骗了,取名废,其实就是女强无CP,村姑背景系统逆袭流,也俗称慢穿泥石流,凶杀末世武侠仙侠魔法啥都有,还有,新书820不见不散。官方群满一千粉丝值进(五九零六五三四八三)后援群,满一万粉丝值进VIP群。PS本文无CP...
穿越成修真世界的一个废柴,那还修你妹的真?一道七彩霞光之后,杨真直接吊炸天了!他看过的功法,直接满品满级,学都学不完!他炼制的丹药,不但起死回生,还能青春永驻!他锻造的武器,上打神王大帝,下捅黄泉幽狱,每一件都让天地颤栗,让神魔退避!我杨真从不装逼,因为我真牛的一批!一群542062672(已满)二群...
新书从获得奇遇点开始宇宙深处飞来一座浩瀚无垠的大陆,从此整个世界都不一样了。同时陈荣火脑海里还突然出现了一本古书,按照古书的指引,他提前其他人三百年登陆到了新界。同样在书籍的指引下,在新界中,他的左手也变得不一样了。他从地下挖出一颗夜明珠,啪的一声,夜明珠被他捏碎,但是夜明珠的‘夜光属性’却留在了他手里。琢磨了...