手机浏览器扫描二维码访问
没有什么特别的和不特别的,一切仅仅只是单纯的存在而已。
只要存在这种可能性,他就会占据这种可能性。
“任何数学体系都有不可证明的命题,即使是超图灵机,也无法判定自身的停机问题。”
“通过构造能解决图灵机停机问题的神谕机的停机问题,就能完成一次新的图灵跳跃。”
“每一次图灵跳跃都能得到一个新的图灵度,将经过n次图灵跳跃得到的图灵度称作0(n)。”
“所有图灵度组成了一个复杂有序的结构,并且在每个图灵度层级之间,显然还有更复杂的中间结构存在。”
“即使是在0(1)和0(2)之间,也有着无穷个中间层级。”
“图灵度层级根据问题的不可解度对计算能力进行了严格的分类,位于高层级的存在对于下层级是智力上的绝对碾压。”
“通俗的说法就是,高图灵度对于低图灵度而言是全知全能的。”
李恒的手指在报纸上轻轻敲击,从那台芝诺机所在的位置开始,刻画出一个无限绵延的层级。
这个层级是如此的复杂和稠密,在任意两个可见的图灵度之间,还有着无限数量的中间结构。
“0(ω),0(ω^2),0(ω^ω)…”
阿基里斯仔细观察着报纸上那复杂的图灵度层级不停地向下延伸。
就像是用构造幂集的方式构造阿列夫数一样,图灵度层级也使用图灵跳跃的次数描述,括号里的那些数是超穷序数。
当图表一直延伸到0(ε0)的时候,李恒停下了移动的手指,抬起手掌探入了虚空中的某个遥远世界。
下一刻,一座金光闪闪的佛像出现在了这里。
佛像身材瘦削,面目慈悲,双手合十在身前,身体周围有阵阵梵音飘荡。
“这是佛祖,来自一个叫做真实界的地方,冲击无限领域后死了。”
“在他们那个世界里,把这个占尽未来的境界叫做道果。”
李恒把这具金光闪闪的佛祖手办放在了写着0(ε0)的位置。
“自然数,整数,有理数,代数数,可计算数。”
“这些数构成的集合都是可数无限,基数大小相等,但它们的复杂度却是不一样的。”
“图灵度层级与这些可数无限集合的复杂度之间有着紧密的联系。”
“皮亚诺公理定义了自然数,根据哥德尔不完备定理,其中存在不可证明的命题,并且它的一致性也无法在自身体系内得到判定。”
“但是,这些问题可以在更大的体系内得到解决。”
“通过引入超穷序数最小不动点ε0,皮亚诺公理定义的自然数体系中不可证明的古德斯坦定理可以被证明。”
“同样的,皮亚诺公理的一致性也可以在超穷序数ε0中得到证明。”
每个数学系统都有一定的序数强度,决定了系统能够表达和不能表达的序数。
皮亚诺算术体系的序数强度为ε0。
这意味着皮亚诺算术体系可以表达ε0以下的任意序数,但不包括ε0本身。
在某些数学系统的内部,某些命题是不可判定的。
但更大、更包容的系统具有更大的序数强度,能以一个不同的系统来论证这些命题。
虽然这个容纳了ε0的新体系的一致性也需要借助一个比自身更大的系统才能进行判定。
李恒轻轻敲了敲伫立在面前的佛祖金身手办,让它发出一阵清脆的响声。
殡葬异事录 穿越之直上青云 我媳妇是医圣传人 我的室友不对劲 山村大闲人 我真不想修行啊 开局人间体 奥特曼之黑暗星纹 恶魔天使 狙击战神 分开后偏执大佬缠上我了 游历万界的永生者 重生我的老婆是天后 特种兵:我成了全球特战教父 诡秘世界我能逢凶化吉 大梦王 五浔之外 摘星手记 七零之重组家庭的小女儿 大乾佛主
吃货林思念重生到了八零年,面对这桩谋算来的婚姻,男人的冷漠,她却像打了鸡血似的,誓要把男主拿下。男人的冷漠与误会让她终于有了离开的想法,可军婚不好离,她不信邪的为离婚奋斗着。可这冷漠的男人从什么时候起,紧紧的追着她的脚步,还恬不知耻的要和她生儿子。呸,谁要和你生儿子?你有儿子了好不好,要生也是生一个像她一样漂亮可爱...
陈炎是一个混得极度没出息的大学生,阴差阳错的在阳台上喝着闷酒的时候被一个中年人吓得掉下楼下,醒来的时候却发现是在自己的高中时代。经历了惨败的婚姻和现实的残酷,陈炎决定好好的利用自己机会推倒所有的美女,清纯的学生妹,只知道埋头读书的校花MM,风骚无比的成熟美妇,饥渴了N多年的迷人寡妇。重生了,干那么多大事有什么用!手里掐着钱去糟蹋别人的闺女和老婆才是王道!...
已完结,新书求支持!小神医魂穿女尊王朝,原主臭名昭著,残暴不仁,身后留下一堆烂摊子。家徒四壁,茅屋漏雨,粮缸又已见了底。面对美貌的夫君,又瞅瞅丑不拉叽的自己,她狂奔在一条通往钢牙小白兔的康庄大道上!敢觊觎她夫君?揍,没有拳头解决不了的事情!如果有,那就接着揍!穷?医术,香粉,布艺,美食,酒庄,生意做起来,铺子开...
6远本是一个普通的学生,但有一天,他忽然成了龙,从此之后,他就开始牛逼起来本书已经上架,求订阅求评论求互动求推荐票求金钻求收藏!给我几分钟,让我们一起见证一个高中生的传奇!各位书友要是觉得潜龙还不错的话请不要忘记向您...
我是空间的旅人,时间的行者我追逐真理,寻觅起源我行走诸天,求真万界我是传道者,亦是冒险家。另外,我真的很凶,超凶(看封面)!声明1本书尽量走合理认知世界的路线,有自己的观点设定,不喜勿扰!声明2本书中的内容并不真科学,并不全合理,因为没有实际基础,纯属作者菌的蘑菇想法,作者也写不出全无bug的小说。...
一睁眼回到六零年,上一世是孤儿的明暖这一世拥有了父母家人,在成长的过程中,还有一个他,青梅竹马,咋这么腹黑呢!...