并且，她正在逐渐被那个不可直视的庞然大物散逸出来的些许信息淹没、同化。
阿基里斯压下身体的本能恐惧感，不闪不避地看着那只手掌抓住了她胸前挂着的粉白色螺旋状吊坠。
她脸上做出若无其事的表情，开口问道：
“超图灵机？”
这个词她很早就听过了，只知道这种机器几乎可以和“实无穷”的力量划个等号。
但每一台超图灵机的力量究竟有多强，与同样属于可数无限的自然数、有理数、代数数之间又有什么关系，那她就不太清楚了。
“嗯，比起哥德尔不完备定理，超图灵机要更容易理解一些，是相对而言更为具体的东西。”
李恒拿过那枚粉白色的螺旋状吊坠，将它放在了面前的那张报纸上。
“解决邻三次数学危机以后，人类对于无穷的认知比康托尔的朴素集合论更清晰了。”
“与哥德尔不完备定理很类似的问题是停机问题，即判定一台图灵机是否能正确地完成计算并停机的过程。”
“这个问题是不可判定的，它同样涉及到自我指涉的悖论，也就是这台图灵机自己判定自己能否停机。”
“但是，就像数理逻辑中那些不可证明的问题可以在更高阶的系统中解决一样，停机问题并非是绝对不可解决的问题。”
“能够解决一切图灵机的停机问题的计算机器，就被称为超图灵机。”
李恒指了指桌上的那台芝诺机道：
“有没有觉得和集合论里从自然数到全体自然数集合的情况很相似？”
阿基里斯点零头，两者的情况的确很像，明显有着紧密的联系。
“计算，本质上就是一系列的是、否判定过程。”
“哥德尔不完备定理的证明方法就是如此，通过将形式符号转化成对应的哥德尔数，把推理证明变成机械的计算过程。”
“图灵的做法也很类似，他将图灵机标准化到可以用一个整数来唯一确定一台机器，这一整数将机器的所有状态进行了编码。”
“每一个整数都是有限的，它们是由一连串的判定得到的有限序列，属于图灵机的能力范围。”
“所有图灵机构成的集合就是全体整数的集合，也就是可数无限?0。”
“每一台图灵机都能执行一个特定的算法，但所有图灵机构成的集合与不可数无限?1无法形成一一对应。”
“因此，被人类称为实数集的集合中，显然存在着不可数无限个不能用图灵机通过有限次计算写下的数。”
“将那些可以被图灵机计算的序列称作可计算序列，这些序列构成的数就是可计算数。”
“自然数，整数，有理数，代数数，以及圆周率Β自然常数e等等超越数，它们都属于可计算数。”
“人类所知的无理数，虽然它们都是无限不循环数，但它们的算法复杂度却很低。”
“一个很简单的算法就能生成一个确定的无理数，它们属于可以被压缩简化的简单实无限。”
“描述这些可计算的无理数就像是人类总结无限宇宙的物理规律一样，可以将无限的信息压缩成短短的一个数学公式而不损失任何信息。”
李恒用食指在报纸上划了一条线，分割开了上下两个世界。
在这条线的上方是一大堆紧紧地挤在一起、密不可分的微字符，在这张报纸上占据了极为可怜的篇幅，不用显微镜都看不清具体细节。
它们是从生命1.0～生命5.0的不同战斗力等级。
战斗力等级9级的一级文明，18级的二级文明，30级的三级文明，大于10^40级的黑洞生命体，以及战斗力等级潜无限的信息生命体，全都在这条线的上方挤作一团。
在这条线的下方，就放着那枚粉白色螺旋状吊坠，一台芝诺机。
“不可计算数不是简单的实无限，它们是不可被压缩简化的。”
“每一个不可计算数的算法复杂度都是无限。”
“万物源自量子比特，物理宇宙的客观存在就等价于信息计算，有限的人类的智慧就等价于只能进行有限次计算的图灵机。”
“不能被图灵机写下的不可计算数，同样也不可能被人类的大脑计算。”
“无论这个人是地球上的普通碳基生物，还是超越可观测宇宙边界，以亿万星辰为细胞的文明级生命体。”
知识就是力量，全知即是全能。
有些知识太过沉重，必须要无穷的信息和能量才能承载。
这些沉重的知识位于一切有限领域生灵的认知范围之外。
那里是一个明知存在，但却永远不可知晓具体形貌的未知黑暗领域。
生命1.0阶段的草履虫。
生命2.0阶段的智人文明。
生命3.0阶段的掌握完美基因编辑能力的人