手机浏览器扫描二维码访问
第729章 人与神的界限（第1页）
连续统问题是希尔伯特第一问，另一个问题是关于可判定性的。
在有限的时间内，是否总有可能找到一个步步推进的程序，对一个给定的数学命题的真伪进行判断。
哥德尔不完备定理粉碎了这种可判定性。
它证明了在任何逻辑统一且大到能够包含所有算法规则的公理体系中，总有一些数学事实无法被证明。
但哥德尔不完备定理依旧给数学命题是否可证留下了一道门。
虽然每一个自洽的公理系统中都存在不可被证明的数学事实，但能否找到一系列的步骤或算法，来判定任何给定的数学命题是否可证。
就像是哥德尔在证明不完备定理时做的那样，证明一个数学命题的不可证明性。
关上这扇门的是图灵和图灵机的停机问题。
没有一种通用的算法可以判定所有的输入结果是否会出现停机，希尔伯特判定问题无法被解决。
无论一个程序多么巧妙，在任何情况下，它都无法计算出其他程序是否会终止。
许多数学事实不仅不可证明，甚至连它们是否可以被证明都无法确定。
这些问题就被称为不可判定问题。
在数学中，证明命题的难度分为几个等级。
有些命题有短的公理性证明，它们的证明简洁美丽。
在现代计算机出现之前得到证明的命题都是这一类，也是大部分人所熟知的证明。
有些命题没有短的公理性证明，但采用计算之后有短证明，比如四色定理。
有些命题就算用上了计算，也还是只有长证明，不可能在一块黑板上用粉笔写下完整的证明。
并不是所有的数学问题都很简单，能做的证明都能在几页纸内写完。
『我有一个绝妙的证明，但空白处太少，我写不下』
这句话用在不可判定问题上恰如其分。
李恒敲了敲桌子上的芝诺机道
“虽然无法窥探不可数无限集合中的无限元素，但有限的人类至少能研究可数无限集合中的有限元素，以此确定可数无限的某些性质。”
“图灵机就是这样一类假想的计算机器，它们的计算能力从有限次扩展到了无限次。”
阿基里斯凝神看去，只见那张纸上多出了一个标题【图灵度层级】。
她的那台芝诺机所在的位置与标题几乎重合在了一起，旁写着o1的字样。
“这里就是穷序数出场的时候了。”
“穷序数衡量的是无限序列的长度，也就是图灵机进行是、否判定的次数。”
“地球上普通的级计算机能做到每秒数百亿亿次的计算，这台芝诺机则能做到在1秒内完成无限次计算。”
“因此，这台芝诺机的算力就是。”
阿基里斯听得下意识点了两下脑袋，表示“我已经完全明白了”。
这比起刚刚那个名叫哥德尔的老头讲的连续统问题简单太多了。
那个老头说的话就跟天书似的，很难把这样一个老头与深度被害妄想症患者联系在一起。
在之前那段诊疗时间里，她所做的只是保持着尴尬且不失礼貌的微笑，装作自己正在观赏壁炉中跳动的火焰。
“既然它的算力是，那么旁边的那个o1又是什么意思？”
阿基里斯猜测道
“是不是表示这台芝诺机算力的另一种符号？”
李恒点头道
“没错。”
“最原始的图灵机模型是预言机，又称谕示机，它可以被视为多了个黑盒子的图灵机。”
“预言者能解答的问题可以是任何复杂度之内的问题，甚至可以使用不可判定问题，像是停机问题。”
“不过，当一台谕示机配备了一个能解答停机问题的预言者时，我更喜欢把它称作神谕机。”
谕示的原文orac1e的意思就是“神的宣布”，也就是神谕。
图灵是无神论者，他相信物理世界是可计算的，神是不存在的，所以神谕当然也不存在。
在图灵眼中，能解答不可判定问题的图灵机，宛如神谕。
“图灵机无法解决停机问题，但神谕机却可以解决停机问题，显然它的计算能力比图灵机更强。”
我在游戏异界肝属性
作品简介陈羽偶然间获得一枚游戏异界的钥匙，里面只有他一个玩家，现属性能带回现实后，从此开启了肝属性之路...
海贼开局一刀砍翻艾斯
意外转生海贼王世界，成为卡普手下四小鬼之一，蹭酒十四年，激活最强模板系统。解锁本体模板平砍之王更木剑八。刺客伍六七，虚白，佐佐木次郎，奇拉比，刽子手绯村一连串模板糅合在一起，最强的战斗狂人平砍之王诞生。艾斯我是艾斯，我真的没有被人一刀砍翻，我以白胡子干儿子的名义发誓。索隆听说护延十三队都是玩刀的强者，我罗罗亚索隆绝对会成为最强者。鹰眼我的刀从来没有断过，但今天开始我要封刀。凯多我是海陆空最强的生物，身上缠着的绷带，只是因为我太冷了。黑胡子他的刀一点都不重，只是加了两倍后，我有点腿麻走不动。这个世界本来便不平静，当白宇将本体模板解锁到百分之一百，诸多人物糅合在一起，这一方世界将会被他踏碎。世间没有我的刀砍不断的东西。海贼开局一刀砍翻艾斯...
六师姐内卷后，全宗闻鸡起舞了
她成了天衍宗的六师姐，天赋强，地位高，后台强，从人人喜欢的六师姐变成人人讨厌的大魔头，只因为多了一个小师妹。穿书之日便是生命还剩三天之时，她果断扛起生命的旗子自救。大师兄因为原主陷害小师妹去救人而中了魔族的魔炎掌，无法动用灵力，修为被封。六师妹拉来一个人大师兄，我请了魔族少主替你解魔炎掌，三日还你健康的身体。六师姐内卷后，全宗闻鸡起舞了...
女战神小宁传
得罪龙王被贬下界的女战神，落入凡间轮回的爱恨情仇异闻录，小宁之父乃轩辕武将军，其父为轩辕国人，传闻轩辕一氏族乃修仙道，短寿者达八百岁，外族权势者为求永世长生不老之秘而灭轩辕氏族，最后存活的轩辕宁被追杀…女战神小宁传...
身体互换后，将军手撕他的白月光
文案将军府众人发现，自家将军和夫人都变的十分反常惜字如金孝顺有加兄友弟恭手捧林姑娘的将军，现在变得出口成脏顶撞老母赶走长兄手撕林姑娘。而他们的主母就更奇怪了。以前唯唯诺诺谁人都能踩上两脚，现在一言不合就开打，对老夫人的态度更是成迷。一会孝顺有加，一会痛心疾首，害的老夫人差点将她当妖怪烧了。要说最奇怪的还是，两位主子的相处状态，发生了翻天覆地的变化。不信你瞧。表面众人看到的两年不曾同房的两人，不问对方尺码互送衣服尺码还正合身。在一块吃饭，给对方夹菜夹到碗冒尖，完全不顾旁边人的死活，这要说没奸情谁信。实际的楚慕沈昭，本将是个男人，你穿着花花绿绿的去军营，是想要本将被人笑死吗？沈昭我还是个女人呢，你穿一身男人的长袍，是想要你娘打死你吗？楚慕你多吃点，你看像什么样子，这样哪有力气替我去练兵。沈昭你也是，多吃点好好补补我的身体。要不然哪有力气替我应对你表面不一的娘，你色中饿鬼的兄长，还有你那赢弱不能自理却险些害死你的白月光。...
后悔？臣服？真千金虐渣全球跪服
简介关于后悔？臣服？真千金虐渣全球跪服前世，虞晚放弃一切荣光回到亲人身边，可豪门父母和五个哥哥都站在假千金那边，任由假千金把她当做对照组，疯狂打她脸。一场车祸，让虞晚彻底看清亲人们的嘴脸。重生后，虞晚表示摊牌了，我不装了，我是大佬！假千金在综艺节目里，拉她当大冤种，想踩着她一跃成为娱乐圈小花。虞晚在综艺大杀四方，直接爆红出圈！哥哥们为了假千金出头，各种蹦跶。虞晚直接在哥哥们擅长的领域，全方面碾压他们的自尊。当她惊艳世界，展露风华，各界大佬追着她身后喊爸爸后，假千金用谎言堆砌的美名遭到反噬。亲人们看清了假千金的真面目，一个个跑到虞晚面前跪求原谅。那立于帝圈顶端，又称之为娱乐圈神明的男人，一手揽住虞晚的腰，一脚将哥哥们踹开。要我家虞宝宝原谅？你们不配！...