手机浏览器扫描二维码访问
第729章 人与神的界限（第1页）
连续统问题是希尔伯特第一问，另一个问题是关于可判定性的。
在有限的时间内，是否总有可能找到一个步步推进的程序，对一个给定的数学命题的真伪进行判断。
哥德尔不完备定理粉碎了这种可判定性。
它证明了在任何逻辑统一且大到能够包含所有算法规则的公理体系中，总有一些数学事实无法被证明。
但哥德尔不完备定理依旧给数学命题是否可证留下了一道门。
虽然每一个自洽的公理系统中都存在不可被证明的数学事实，但能否找到一系列的步骤或算法，来判定任何给定的数学命题是否可证。
就像是哥德尔在证明不完备定理时做的那样，证明一个数学命题的不可证明性。
关上这扇门的是图灵和图灵机的停机问题。
没有一种通用的算法可以判定所有的输入结果是否会出现停机，希尔伯特判定问题无法被解决。
无论一个程序多么巧妙，在任何情况下，它都无法计算出其他程序是否会终止。
许多数学事实不仅不可证明，甚至连它们是否可以被证明都无法确定。
这些问题就被称为不可判定问题。
在数学中，证明命题的难度分为几个等级。
有些命题有短的公理性证明，它们的证明简洁美丽。
在现代计算机出现之前得到证明的命题都是这一类，也是大部分人所熟知的证明。
有些命题没有短的公理性证明，但采用计算之后有短证明，比如四色定理。
有些命题就算用上了计算，也还是只有长证明，不可能在一块黑板上用粉笔写下完整的证明。
并不是所有的数学问题都很简单，能做的证明都能在几页纸内写完。
『我有一个绝妙的证明，但空白处太少，我写不下』
这句话用在不可判定问题上恰如其分。
李恒敲了敲桌子上的芝诺机道：
“虽然无法窥探不可数无限集合中的无限元素，但有限的人类至少能研究可数无限集合中的有限元素，以此确定可数无限的某些性质。”
“超图灵机就是这样一类假想的计算机器，它们的计算能力从有限次扩展到了无限次。”
阿基里斯凝神看去，只见那张纸上多出了一个标题【图灵度层级】。
她的那台芝诺机所在的位置与标题几乎重合在了一起，旁写着0（1）的字样。
“这里就是超穷序数出场的时候了。”
“超穷序数衡量的是无限序列的长度，也就是超图灵机进行是、否判定的次数。”
“地球上普通的超级计算机能做到每秒数百亿亿次的计算，这台芝诺机则能做到在1秒内完成无限次计算。”
“因此，这台芝诺机的算力就是ω。”
阿基里斯听得下意识点了两下脑袋，表示“我已经完全明白了”。
这比起刚刚那个名叫哥德尔的老头讲的连续统问题简单太多了。
那个老头说的话就跟天书似的，很难把这样一个老头与深度被害妄想症患者联系在一起。
在之前那段诊疗时间里，她所做的只是保持着尴尬且不失礼貌的微笑，装作自己正在观赏壁炉中跳动的火焰。
“既然它的算力是ω，那么旁边的那个0（1）又是什么意思？”
分开后偏执大佬缠上我了 诡秘世界我能逢凶化吉 五浔之外 山村大闲人 七零之重组家庭的小女儿 殡葬异事录 穿越之直上青云 摘星手记 大乾佛主 重生我的老婆是天后 恶魔天使 狙击战神 游历万界的永生者 大梦王 开局人间体 特种兵：我成了全球特战教父 我真不想修行啊 奥特曼之黑暗星纹 我的室友不对劲 我媳妇是医圣传人
【修真】男人就是鼎炉
前世黑莲花白蓁被人在车上动了手脚车祸去世，穿越成了合欢宗女修白千羽，开启了和前世开后宫没什么不同的修仙之路。这篇算是某某宗女修炼手札的同人，但是是否玩游戏对看文没啥影响，文不会收费，大家放心追，女主是自设的无心海王型号。挂是挂了修真的名头，其实本文没有着重写女主初期修炼，主要还是着重她成为女王之后的故事。全文分三部分，第一二部分女主一边双修一边把以前给她使绊子的人给除了，手段稍微有点粗暴残忍，结果奇奇怪怪自称系统的东西出现了，告诉她，她已成为了这条世界线的主人，同时她设计把自己也拱成了修真大陆的无冕之王。第三部分开幕，无冕之王并不是这么好当的，一边要均衡各大势力，挑对自己有用的掌握在手里，一边要处理情人们的修罗场。。。。偶尔，系统还会给她出难题，让她暴打外来入侵者。然而白蓁（千羽）对此表示，挺好玩的，再来点。本文可能微微有点女尊倾向，女主床上小淫娃，床下真女王，没心没肺，快乐加倍。有疑似正宫，但是基本不会出现1v1的情况，女主这么强，配一个男的太亏了（啥？）。预警，女主从目前的伦理道德来讲，确实是渣女，而且吸溜子也没想洗。...
修罗天帝
八年前，雷霆古城一夜惊变，少城主秦命押入青云宗为仆，二十万民众赶进大青山为奴。八年后，淬灵入武，修罗觉醒，不屈少年逆天崛起。给我一柄刀，可破苍穹，给我一柄剑，可指霄汉。金麟岂是池中物，一遇风云便化龙。当修罗子不死王雷霆战尊古海蛮皇等等一个个封号落在秦命身上，这个一身傲骨的少年踏天而行，带领一众挚友红颜，傲战八...
伪我独尊大雁捕蝉
一种能帮忙泡妞的异能会给主角的人生带来怎样的奇遇？很简单，进来一看便知！...
重生九二之商业大亨
新码的西南崛起已经上传，欢迎各位亲移驾亲临。这是一个令人发指的故事，这是一个令人发指的人。不说他其它的成就，大学刚毕业，他在纳斯达克，就已经有了两家上市公司，不对，他最近又收购了一家上市公司，哦，还在计划收购另一家。身后，还有一大堆投行追赶着，你的这家网站，什么时候上市？广大投资者也说，这样的网站，一定要接受公...
苏狂
下载客户端，查看完整作品简介。...
天才杂役
吕诚，十五岁之前一直没能修炼出内劲，只能当杂役。但他从小喜欢夜视星空，十年时间，让他的眉心处出现别人所没有的感应力，能让他感知周围的一切事务，并且修炼出内劲，踏入武者行列。从此，这个普通的杂役进阶为天才武者。学心法，进展神速练武技，无师能自通易容变声，惟妙惟肖。在这个武者为尊的世界，最终一步步成为睥睨天下的至尊...