手机浏览器扫描二维码访问
第729章 人与神的界限（第1页）
连续统问题是希尔伯特第一问，另一个问题是关于可判定性的。
在有限的时间内，是否总有可能找到一个步步推进的程序，对一个给定的数学命题的真伪进行判断。
哥德尔不完备定理粉碎了这种可判定性。
它证明了在任何逻辑统一且大到能够包含所有算法规则的公理体系中，总有一些数学事实无法被证明。
但哥德尔不完备定理依旧给数学命题是否可证留下了一道门。
虽然每一个自洽的公理系统中都存在不可被证明的数学事实，但能否找到一系列的步骤或算法，来判定任何给定的数学命题是否可证。
就像是哥德尔在证明不完备定理时做的那样，证明一个数学命题的不可证明性。
关上这扇门的是图灵和图灵机的停机问题。
没有一种通用的算法可以判定所有的输入结果是否会出现停机，希尔伯特判定问题无法被解决。
无论一个程序多么巧妙，在任何情况下，它都无法计算出其他程序是否会终止。
许多数学事实不仅不可证明，甚至连它们是否可以被证明都无法确定。
这些问题就被称为不可判定问题。
在数学中，证明命题的难度分为几个等级。
有些命题有短的公理性证明，它们的证明简洁美丽。
在现代计算机出现之前得到证明的命题都是这一类，也是大部分人所熟知的证明。
有些命题没有短的公理性证明，但采用计算之后有短证明，比如四色定理。
有些命题就算用上了计算，也还是只有长证明，不可能在一块黑板上用粉笔写下完整的证明。
并不是所有的数学问题都很简单，能做的证明都能在几页纸内写完。
『我有一个绝妙的证明，但空白处太少，我写不下』
这句话用在不可判定问题上恰如其分。
李恒敲了敲桌子上的芝诺机道
“虽然无法窥探不可数无限集合中的无限元素，但有限的人类至少能研究可数无限集合中的有限元素，以此确定可数无限的某些性质。”
“图灵机就是这样一类假想的计算机器，它们的计算能力从有限次扩展到了无限次。”
阿基里斯凝神看去，只见那张纸上多出了一个标题【图灵度层级】。
她的那台芝诺机所在的位置与标题几乎重合在了一起，旁写着o1的字样。
“这里就是穷序数出场的时候了。”
“穷序数衡量的是无限序列的长度，也就是图灵机进行是、否判定的次数。”
“地球上普通的级计算机能做到每秒数百亿亿次的计算，这台芝诺机则能做到在1秒内完成无限次计算。”
“因此，这台芝诺机的算力就是。”
阿基里斯听得下意识点了两下脑袋，表示“我已经完全明白了”。
这比起刚刚那个名叫哥德尔的老头讲的连续统问题简单太多了。
那个老头说的话就跟天书似的，很难把这样一个老头与深度被害妄想症患者联系在一起。
在之前那段诊疗时间里，她所做的只是保持着尴尬且不失礼貌的微笑，装作自己正在观赏壁炉中跳动的火焰。
“既然它的算力是，那么旁边的那个o1又是什么意思？”
阿基里斯猜测道
“是不是表示这台芝诺机算力的另一种符号？”
李恒点头道
“没错。”
“最原始的图灵机模型是预言机，又称谕示机，它可以被视为多了个黑盒子的图灵机。”
“预言者能解答的问题可以是任何复杂度之内的问题，甚至可以使用不可判定问题，像是停机问题。”
“不过，当一台谕示机配备了一个能解答停机问题的预言者时，我更喜欢把它称作神谕机。”
谕示的原文orac1e的意思就是“神的宣布”，也就是神谕。
图灵是无神论者，他相信物理世界是可计算的，神是不存在的，所以神谕当然也不存在。
在图灵眼中，能解答不可判定问题的图灵机，宛如神谕。
“图灵机无法解决停机问题，但神谕机却可以解决停机问题，显然它的计算能力比图灵机更强。”
重生后，被野痞男孩宠上天
女主，乖乖妈宝女，前世被渣男所害，重生后，勇敢反抗妈妈，朝男主奔赴。男主，早辍学小青年，暗恋女主多年，不敢靠近，外表痞气不好惹。姜柠死后，才知那个男孩爱她入骨。为她捐肝。为她报仇。为她而死。重生后，她不再做妈宝乖乖女。白天找林樾。半夜找林樾。再敢来找，老子就亲你！那你亲啊，你不亲就是怂包！啥情况？乖乖大小姐变野了？哦，原来是给肚子里的孩子找个爹。林樾我做孩子的爹，以后不准招惹别的男人！后来，他看着医院的检查单红着眼质问大夫。孩子呢？...
从拯救咖啡店开始
作品简介穿越到疑似二次元的世界，随身携带拯救系统做福利。 能够通过增加熟练度的方式提升等级？ 完成任务后的抽奖能够获得各种物品以及能力？ 还需要前往更多二次...
温锦怀王小说全文免费阅读
虐渣爽文男强女强团宠萌宝随身空间医学天才温锦，意外穿越到花痴丑女身上，醒来就是洞房花烛夜。王爷，你听我解释，我不是好疼！想哭！原主就是个颜狗舔狗，竟然招惹了暴躁症王爷，小命都作没了。好在她有医术在手，前世的胎记竟然跟她一起穿越，变成了随身灵泉空间！被弃六年后，华丽变身的温锦带着萌宝走出冷院，手撕白莲，痛扁绿茶。撩什么男人？独美做个富婆它不各位书友要是觉得温锦怀王小说全文免费阅读还不错的话请不要忘记向您QQ群和微博里的朋友推荐哦！...
盗墓，我被系统绑架了
（雷点1主线任务就是苟着苟着苟着苟着苟着，看不懂的转走，不要骂人2前面会提几嘴刘宇宁并不影响观看，完全是因为作者的自嗨，还有我是他的粉丝，不喜欢的转走，不要骂人。3作者三观没问题，不是为了虐而虐，如果你看不懂转走离开，不要骂人4专业打差评的，不要往我这里来了，我会一一举报5，我写的内容并不是按电视剧或者原着剧情写的，不喜欢的转走，不要骂人6内容情感真实，可能会影响你对嫩牛五方的滤镜，不喜欢的转走，不要骂人。）我穿越了，似乎…好像…吧？要不然得话我怎么会眼花看到了炸墓小分队？但我只是一个路人，纯路人…列车上…不幸的是我被主角包围了，不过还好他们根本不在意我（我自认为）...
九天神帝
登九天绝顶，斩恩怨情仇，我为帝尊，顺我者昌，逆我者亡！各位书友要是觉得九天神帝还不错的话请不要忘记向您QQ群和微博里的朋友推荐哦！...
和娇娇共梦，美强惨悍将失控了！
四年前，庾昭月父亲在朝堂遭人陷害，她在襄王府被堂姐栽赃。不久父亲被贬至琼州。谁料从那时起，她总梦见一陌生男子。他长得极合她心意，性情却极其冷淡，可后来却日渐荒唐，总爱将她扣在榻上。四年后，父亲政绩斐然，被圣人召回长安。襄王府再次设宴，为迎接刚寻回的长公子。庾昭月好奇看戏，却险些咬到舌头夭寿啊，梦里那美貌精怪修成人了！她慌忙抓住身边人胳膊，打定主意不认识，打死也不认！景珣本是襄王嫡长子，不满周岁被封世子，却在五岁时走失，历经坎坷。麟庆二十五年，他平定西戎，圣人召其回长安封爵赐婚，身世意外大白于天下。襄王府宴，他正欲离开，却瞥见日思夜寐的芙蓉面。然而还不等他欣喜，却见她对自己避如蛇蝎，亲昵的挽着芝兰玉树的竹马表兄。后来，景珣扣住她的腰昭昭，毁我清白，还想做女冠逍遥？ps架空，部分仿唐，勿考据～...