自我指涉的悖论确定了理性的边界。

    在任何数学体系中，总有一些东西无法从自身体系内部证明或证伪。

    它揭示出在人类的逻辑中，全知全能的神不存在，绝对无限也不存在。

    如果强行设定一个包含一切的唯一神，创造一个能破除自指悖论的全能上帝，那这个体系就必定是不自洽的，充满了自相矛盾的东西。

    因为神是全知全能的，所以神可以创造自己举不出来的石头。

    因为神是全知全能的，所以从皮亚诺公理可以推出1=0。

    反正只要神认定的就是绝对的。

    一个自相矛盾的体系中，一切命题都可以为真，也都可以为假。

    在这种不自洽的体系里，所有的命题都没有真假对错可分，跟疯子的胡言乱语没什么差别。

    这种强行设定只会变成单纯的神学信仰。

    这也是数理逻辑和神学最大的区别。

    神学否定排中律与自指悖论，直接承认全知全能。

    成为信徒的第一步就是抛弃自己的逻辑思维，认可神是绝对正确的，可以做到人类逻辑中自相矛盾的事情。

    都已经承认全知全能，允许自相矛盾的东西存在，那也没什么继续讨论的必要了。

    信仰的力量很强大，宗教也在地球的人类史上留下了深刻的痕迹。

    但人类所在的无垠宇宙并不在乎地球上几十亿人的宗教信仰，它有自己的规则。

    允许自相矛盾的全知全能在宇宙的自然规律面前终究是无能为力，不过是自娱自乐。

    数理逻辑则肯定排中律，抛弃了数学的完备性，承认数理逻辑并非绝对真理，任何数学系统都存在着缺陷。

    以不自相矛盾作为讨论的前提条件，那就没有绝对无限。

    于是也就没有什么绝对无敌、绝对永恒、绝对永生之类能被冠以绝对之名的东西。

    无论是多强大的存在，总是存在不受掌控的外部世界，有着自己无法占据的未知可能性。

    “至大无外，谓之大一；至小无内，谓之小一。”

    “自指悖论否定了至大无外的绝对无穷，连续统问题则是对至小无内的研究。”

    “自然数集是第一个无限集合，集合中有无穷个元素，但其中的每一个元素都是一个有限的自然数。”

    “将它称为一阶算术，对应可数无限。”

    “实数集是自然数集的全体子集构成的集合，有不可数无限个元素，但每一个元素都是可数无限。”

    “将其称为二阶算术，对应不可数无限。”

    “连续统问题研究的是实数集的基数，实数集作为不可数无限，是更高层级的集合中的元素。”

    “因此它是一个三阶算术问题，人类使用的大多数算术系统对它都无能为力。”

    李恒总结了一遍连续统问题，接着用食指敲了敲桌子道：

    “复杂的数理逻辑暂时就到此为止，接下来讨论一些更简单的东西。”

    “虽然排中律的限制否定了绝对无限和宗教意义上全知全能的唯一神。”

    “但这个世界上确实存在着与有限的凡人位于两个世界，足以被称为神的领域。”

    “道可道，非常道；名可名，非常名。”

    “能用人类的语言表述出来的道并不是永恒常在的真正的道。”

    “在人类可以言及的宇宙之外，还有着更广阔的未知永恒世界。”

    “有限的人能掌握宇宙的物理规律，用短短的几行公式描述无限宇宙的规则，本质上是因为实无限比有限的状况更简单。”

    “无限的复杂度比有限的复杂度更低，因此无限宇宙的运转规律才可以被压缩在一张普通a4纸上的数学公式中。”

    “这些数学公式就是描述无限宇宙的最简算法。”

    “但是，所有的实无限复杂度都比有限的状况更简单吗？”

    “所有无限的实体都可以像是圆周率π一样被压缩、简化，变成一小段精确的数学公式，却不丢失自身的任何信息吗？”

    说到此处，李恒向着靠在壁炉旁的阿基里斯缓缓地伸出了右手。

    那散发着不祥气息的手掌慢慢靠近，带着阿基里斯此前从未感受过的压迫力，仿佛是来自某个黑暗不可见的深渊。

    无论是一念毁灭无尽星域的毕达哥拉斯，还是化作恢宏大日照耀着无穷小的无理数世界的牛顿和莱布尼茨两大天尊。

    这些强者在这不祥气息带来的恐怖压迫感面前完全是小巫见大巫，根本不在同一个层次。

    “…不祥气息是个什么鬼啊？”

    阿基里斯微微甩了甩脑袋，努力将这个突然冒出来的奇怪想法甩了出去。

    随着时间的推移，这些奇怪的想法越来越多，不停地从脑海深处冒出来。

    它们来的是如此的自然，让她感觉似乎就是自己的想法，却偏偏有着不合理的奇怪内容。

    这让她清晰地感觉到自己正在窥探某个位于人类智慧边界之外的诡异之物。

    并且，她正在逐渐被那个不可直视的庞然大物散逸出来的些许信息淹没、同化。

    阿基里斯压下身体的本能恐惧感，不闪不避地看着那只手掌抓住了她胸前挂着的粉白色螺旋状吊坠。

    她脸上做出若无其事的表情，开口问道：

    “超图灵机？”

    这个词她很早就听过了，只知道这种机器几乎可以和“实无穷”的力量划个等号。

    但每一台超图灵机的力量究竟有多强，与同样属于可数无限的自然数、有理数、代数数之间又有什么关系，那她就不太清楚了。

    “嗯，比起哥德尔不完备定理，超图灵机要更容易理解一些，是相对而言更为具体的东西。”

    李恒拿过那枚粉白色的螺旋状吊坠，将它放在了面前的那张报纸上。

    “解决了第三次数学危机以后，人类对于无穷的认知比康托尔的朴素集合论更清晰了。”

    “与哥德尔不完备定理很类似的问题是停机问题，即判定一台图灵机是否能正确地完成计算并停机的过程。”

    “这个问题是不可判定的，它同样涉及到自我指涉的悖论，也就是这台图灵机自己判定自己能否停机。”

    “但是，就像数理逻辑中那些不可证明的问题可以在更高阶的
『加入书签，方便阅读』
-->> 本章未完，点击下一页继续阅读(第1页/共2页)