手机浏览器扫描二维码访问
第729章 人与神的界限（第1页）
连续统问题是希尔伯特第一问，另一个问题是关于可判定性的。
在有限的时间内，是否总有可能找到一个步步推进的程序，对一个给定的数学命题的真伪进行判断。
哥德尔不完备定理粉碎了这种可判定性。
它证明了在任何逻辑统一且大到能够包含所有算法规则的公理体系中，总有一些数学事实无法被证明。
但哥德尔不完备定理依旧给数学命题是否可证留下了一道门。
虽然每一个自洽的公理系统中都存在不可被证明的数学事实，但能否找到一系列的步骤或算法，来判定任何给定的数学命题是否可证。
就像是哥德尔在证明不完备定理时做的那样，证明一个数学命题的不可证明性。
关上这扇门的是图灵和图灵机的停机问题。
没有一种通用的算法可以判定所有的输入结果是否会出现停机，希尔伯特判定问题无法被解决。
无论一个程序多么巧妙，在任何情况下，它都无法计算出其他程序是否会终止。
许多数学事实不仅不可证明，甚至连它们是否可以被证明都无法确定。
这些问题就被称为不可判定问题。
在数学中，证明命题的难度分为几个等级。
有些命题有短的公理性证明，它们的证明简洁美丽。
在现代计算机出现之前得到证明的命题都是这一类，也是大部分人所熟知的证明。
有些命题没有短的公理性证明，但采用计算之后有短证明，比如四色定理。
有些命题就算用上了计算，也还是只有长证明，不可能在一块黑板上用粉笔写下完整的证明。
并不是所有的数学问题都很简单，能做的证明都能在几页纸内写完。
『我有一个绝妙的证明，但空白处太少，我写不下』
这句话用在不可判定问题上恰如其分。
李恒敲了敲桌子上的芝诺机道
“虽然无法窥探不可数无限集合中的无限元素，但有限的人类至少能研究可数无限集合中的有限元素，以此确定可数无限的某些性质。”
“图灵机就是这样一类假想的计算机器，它们的计算能力从有限次扩展到了无限次。”
阿基里斯凝神看去，只见那张纸上多出了一个标题【图灵度层级】。
她的那台芝诺机所在的位置与标题几乎重合在了一起，旁写着o1的字样。
“这里就是穷序数出场的时候了。”
“穷序数衡量的是无限序列的长度，也就是图灵机进行是、否判定的次数。”
“地球上普通的级计算机能做到每秒数百亿亿次的计算，这台芝诺机则能做到在1秒内完成无限次计算。”
“因此，这台芝诺机的算力就是。”
阿基里斯听得下意识点了两下脑袋，表示“我已经完全明白了”。
这比起刚刚那个名叫哥德尔的老头讲的连续统问题简单太多了。
那个老头说的话就跟天书似的，很难把这样一个老头与深度被害妄想症患者联系在一起。
在之前那段诊疗时间里，她所做的只是保持着尴尬且不失礼貌的微笑，装作自己正在观赏壁炉中跳动的火焰。
“既然它的算力是，那么旁边的那个o1又是什么意思？”
我在玄幻世界玩游戏
神剑宗弟子周逸，获得一个游戏头盔，能够将周围的一切游戏化，从此开始了自己的游戏（中二）人生。变态偷窥狂魔？诬蔑啊，我只是在寻找宝箱！和空气对话？瞎了你的钛合金狗眼，我的宠物大兄弟你竟然没看到！怼天怼地怼空气？我勒个去，我都快被大丫能不能有点良心？升级养宠兼打怪，副本刷得贼勤快。氪金就送大礼包，神丹妙药满背包。周逸我在玄幻世界玩游戏...
奋斗在洪武末年
驱逐北元，扫清天下，明太祖固有一死。书生当国，藩王虎视，削藩靖难，血火刀锋中，杀出凛凛新明朝。一个失业的锦衣卫，一个卑微的小人物，左持剑，右握锄，一剑平天下，一锄养万民。这是个小特工，奋斗成为盛世大...
异界之五种药剂当天才
一代天骄博士天问被杀穿越到一个类似古代的高武世界。这里有妖有魔，更有邪祟无穷无尽。看主角如何在这异界书写自己的传奇。...
无限巫道求索
作品简介关于无限巫道求索一只时空腕表，一段巫师旅程养几只小鬼，契约几只怪兽，玩玩元素魔法无尽的世界，无尽的知识，且看布兰德带领众位领略无限世界的无限风采国术，灵异，奇幻，怪兽，漫威...
女友骂我一无是处，反手娶白富美
简介关于女友骂我一无是处，反手娶白富美外卖员陈凡被女友骗走房子和彩礼，傍上富二代，设计录下视频告他强奸，还把父亲气进医院，天价医药费让陈凡走投无路，关键时刻获得天珠传承！从此一步登天，富豪和大佬们纷纷跪舔，美女总裁主动倒贴！前女友后悔了，傻眼了，想要复合已经晚了！前女友陈凡，我错了，我们重新在一起吧！陈凡滚！富二代陈先生，能不能放我一条生路？陈凡死！...
纪晚榕墨桀城
纪晚榕，药毒双绝的天才军医睁开眼，就穿越到了冷面王爷的喜床上。一响贪欢，她竟成了戴着人皮面具顶替妹妹出嫁的恶毒灾星。男人冷言冷语女人，看见你这张脸，本王就恶心的想吐！纪晚榕冷哼一声，妙手回春，成了名动天下的美人。因为灾星身份，被继妹陷害？被王爷误会？被渣爹嫌弃？纪晚榕手捏银针望闻问切你们印堂黑，马上就有血光之灾了，到时候别求我治病！众人不信，却天降大祸，惨遭打脸，哭着上门求她医治。背靠大佬，她脚踢渣渣，拳打绿茶，成为名动天下的灵医福星。冷面王爷终于看穿绿茶真面目，苦苦追妻，你能不能望闻问切，望出我命里缺一个你？纪晚榕高傲对不起，丑拒！各位书友要是觉得纪晚榕墨桀城还不错的话请不要忘记向您QQ群和微博里的朋友推荐哦！...