自我指涉的悖论确定了理性的边界。
在任何数学体系中,总有一些东西无法从自身体系内部证明或证伪。
它揭示出在人类的逻辑中,全知全能的神不存在,绝对无限也不存在。
如果强行设定一个包含一切的唯一神,创造一个能破除自指悖论的全能上帝,那这个体系就必定是不自洽的,充满了自相矛盾的东西。
因为神是全知全能的,所以神可以创造自己举不出来的石头。
因为神是全知全能的,所以从皮亚诺公理可以推出1=0。
反正只要神认定的就是绝对的。
一个自相矛盾的体系中,一切命题都可以为真,也都可以为假。
在这种不自洽的体系里,所有的命题都没有真假对错可分,跟疯子的胡言乱语没什么差别。
这种强行设定只会变成单纯的神学信仰。
这也是数理逻辑和神学最大的区别。
神学否定排中律与自指悖论,直接承认全知全能。
成为信徒的第一步就是抛弃自己的逻辑思维,认可神是绝对正确的,可以做到人类逻辑中自相矛盾的事情。
都已经承认全知全能,允许自相矛盾的东西存在,那也没什么继续讨论的必要了。
信仰的力量很强大,宗教也在地球的人类史上留下了深刻的痕迹。
但人类所在的无垠宇宙并不在乎地球上几十亿饶宗教信仰,它有自己的规则。
允许自相矛盾的全知全能在宇宙的自然规律面前终究是无能为力,不过是自娱自乐。
数理逻辑则肯定排中律,抛弃了数学的完备性,承认数理逻辑并非绝对真理,任何数学系统都存在着缺陷。
以不自相矛盾作为讨论的前提条件,那就没有绝对无限。
于是也就没有什么绝对无耽绝对永恒、绝对永生之类能被冠以绝对之名的东西。
无论是多强大的存在,总是存在不受掌控的外部世界,有着自己无法占据的未知可能性。
“至大无外,谓之大一;至无内,谓之一。”
“自指悖论否定了至大无外的绝对无穷,连续统问题则是对至无内的研究。”
“自然数集是第一个无限集合,集合中有无穷个元素,但其中的每一个元素都是一个有限的自然数。”
“将它称为一阶算术,对应可数无限。”
“实数集是自然数集的全体子集构成的集合,有不可数无限个元素,但每一个元素都是可数无限。”
“将其称为二阶算术,对应不可数无限。”
“连续统问题研究的是实数集的基数,实数集作为不可数无限,是更高层级的集合中的元素。”
“因此它是一个三阶算术问题,人类使用的大多数算术系统对它都无能为力。”
李恒总结了一遍连续统问题,接着用食指敲了敲桌子道:
“复杂的数理逻辑暂时就到此为止,接下来讨论一些更简单的东西。”
“虽然排中律的限制否定了绝对无限和宗教意义上全知全能的唯一神。”
“但这个世界上确实存在着与有限的凡人位于两个世界,足以被称为神的领域。”
“道可道,非常道;名可名,非常名。”
“能用人类的语言表述出来的道并不是永恒常在的真正的道。”
“在人类可以言及的宇宙之外,还有着更广阔的未知永恒世界。”
“有限的人能掌握宇宙的物理规律,用短短的几行公式描述无限宇宙的规则,本质上是因为实无限比有限的状况更简单。”
“无限的复杂度比有限的复杂度更低,因此无限宇宙的运转规律才可以被压缩在一张普通a4纸上的数学公式郑”
“这些数学公式就是描述无限宇宙的最简算法。”
“但是,所有的实无限复杂度都比有限的状况更简单吗?”
“所有无限的实体都可以像是圆周率π一样被压缩、简化,变成一段精确的数学公式,却不丢失自身的任何信息吗?”
到此处,李恒向着靠在壁炉旁的阿基里斯缓缓地伸出了右手。
那散发着不祥气息的手掌慢慢靠近,带着阿基里斯此前从未感受过的压迫力,仿佛是来自某个黑暗不可见的深渊。
无论是一念毁灭无尽星域的毕达哥拉斯,还是化作恢宏大日照耀着无穷的无理数世界的牛顿和莱布尼茨两大尊。
这些强者在这不祥气息带来的恐怖压迫感面前完全是巫见大巫,根本不在同一个层次。
“…不祥气息是个什么鬼啊?”
阿基里斯微微甩了甩脑袋,努力将这个突然冒出来的奇怪想法甩了出去。