手机浏览器扫描二维码访问
连续统问题是希尔伯特第一问,另一个问题是关于可判定性的。
在有限的时间内,是否总有可能找到一个步步推进的程序,对一个给定的数学命题的真伪进行判断。
哥德尔不完备定理粉碎了这种可判定性。
它证明了在任何逻辑统一且大到能够包含所有算法规则的公理体系中,总有一些数学事实无法被证明。
但哥德尔不完备定理依旧给数学命题是否可证留下了一道门。
虽然每一个自洽的公理系统中都存在不可被证明的数学事实,但能否找到一系列的步骤或算法,来判定任何给定的数学命题是否可证。
就像是哥德尔在证明不完备定理时做的那样,证明一个数学命题的不可证明性。
关上这扇门的是图灵和图灵机的停机问题。
没有一种通用的算法可以判定所有的输入结果是否会出现停机,希尔伯特判定问题无法被解决。
无论一个程序多么巧妙,在任何情况下,它都无法计算出其他程序是否会终止。
许多数学事实不仅不可证明,甚至连它们是否可以被证明都无法确定。
这些问题就被称为不可判定问题。
在数学中,证明命题的难度分为几个等级。
有些命题有短的公理性证明,它们的证明简洁美丽。
在现代计算机出现之前得到证明的命题都是这一类,也是大部分人所熟知的证明。
有些命题没有短的公理性证明,但采用计算之后有短证明,比如四色定理。
有些命题就算用上了计算,也还是只有长证明,不可能在一块黑板上用粉笔写下完整的证明。
并不是所有的数学问题都很简单,能做的证明都能在几页纸内写完。
『我有一个绝妙的证明,但空白处太少,我写不下』
这句话用在不可判定问题上恰如其分。
李恒敲了敲桌子上的芝诺机道:
“虽然无法窥探不可数无限集合中的无限元素,但有限的人类至少能研究可数无限集合中的有限元素,以此确定可数无限的某些性质。”
“超图灵机就是这样一类假想的计算机器,它们的计算能力从有限次扩展到了无限次。”
阿基里斯凝神看去,只见那张纸上多出了一个标题【图灵度层级】。
她的那台芝诺机所在的位置与标题几乎重合在了一起,旁写着0(1)的字样。
“这里就是超穷序数出场的时候了。”
“超穷序数衡量的是无限序列的长度,也就是超图灵机进行是、否判定的次数。”
“地球上普通的超级计算机能做到每秒数百亿亿次的计算,这台芝诺机则能做到在1秒内完成无限次计算。”
“因此,这台芝诺机的算力就是ω。”
阿基里斯听得下意识点了两下脑袋,表示“我已经完全明白了”。
这比起刚刚那个名叫哥德尔的老头讲的连续统问题简单太多了。
那个老头说的话就跟天书似的,很难把这样一个老头与深度被害妄想症患者联系在一起。
在之前那段诊疗时间里,她所做的只是保持着尴尬且不失礼貌的微笑,装作自己正在观赏壁炉中跳动的火焰。
“既然它的算力是ω,那么旁边的那个0(1)又是什么意思?”
开局人间体 诡秘世界我能逢凶化吉 重生我的老婆是天后 大梦王 山村大闲人 奥特曼之黑暗星纹 殡葬异事录 我真不想修行啊 七零之重组家庭的小女儿 五浔之外 狙击战神 摘星手记 我的室友不对劲 特种兵:我成了全球特战教父 游历万界的永生者 我媳妇是医圣传人 恶魔天使 穿越之直上青云 分开后偏执大佬缠上我了 大乾佛主
从农村考入大学的庾明毕业后因为成了老厂长的乘龙快婿,后随老厂长进京,成为中央某部后备干部,并被下派到蓟原市任市长。然而,官运亨通的他因为妻子的奸情发生了婚变,蓟原市急欲接班当权的少壮派势力以为他没有了后台,便扯住其年轻恋爱时与恋人的越轨行为作文章,将其赶下台,多亏老省长爱惜人才,推荐其参加跨国合资公司总裁竞聘,才东山再起然而,仕途一旦顺风,官运一发不可收拾由于庾明联合地方政府开展棚户区改造工程受到了中央领导和老百姓的赞誉。在省代会上,他又被推举到了省长的重要岗位。一介平民跃升为省长...
为了躲避一个美女疯狂的纠缠,叶权宇在好友的帮助下偷偷来到日本,光荣地成为了圣樱花女子高中的第一名男学生,原本只想平静读完高中的他,面对一群萌萌的少女,生活又怎么可能平静得了?交流群号2746792欢迎大家前来交流吐槽!...
被丈母娘为难,被女神老婆嫌弃!都说我是一无是处的上门女婿!突然,家族电话通知我继承亿万家财,其实我是一个级富二代...
他世袭罔替,却非王侯他出身世家,却非高门。作为六扇门中的一个牢头儿,他本想老老实实把祖上传下来的这只铁饭碗一代代传承下去,却不想被一个神棍忽悠出了那一方小天地,这一去,便是一个太岁横空出世。他自诩义薄云天,为人四海,是个可以托妻献子的好朋友,可他所到之处,却是家有佳妇贵女者统统藏之深闺不敢示人他自称秉性纯良,与...
一个无父无母的孤儿,一个被最有钱的女人领养的孤儿可是自卑彷徨的他却喜欢上了跟自己身份截然不同的人。可惜他却在跟最有钱的女董事长发生不能说的秘密之后一切都变了。各色各样的大小美人纷扰而至,围绕在他的身边!成熟美艳,清纯可爱,性感妩媚,柔情万千最后的最后,他凭借着自己的能力,在那多少美人美妇的陪伴之下,在这一片弱肉强食的世界之中创下了一个伟大的奇迹!...
人无耻则无畏,人至贱则无敌!谁说盖世枭雄必需得霸气十足?谁说无耻贱圣踏不得七彩祥云?谁说此般少年不能争天命,演修罗,替天行道?(QQ书友群313310371)...