理念世界。

    人类的物理大脑是有限的，但心却是无限的，因此人类所能创造的有限的计算机器永远也不可能超越人心。

    “但这一点我不认可，以我现在的力量，并没有发现任何超越物理大脑限制的人心。”

    “人心就是大脑，人的意识就是物质构成的血肉细胞的复杂物理计算，除此之外别无他物。”

    李恒捏了捏自己的手掌，在这一点上，他的想法是站在图灵那一边的。

    人类是物理世界的一部分，人的认知不会超过物理世界的计算极限。

    这些精神病症也根本不是因为人类那不可见的无限心灵窥探到了无限的世界，单纯只是源于大脑的器质性病变而已。

    随手将哥德尔的病例记录用报纸盖上，李恒从临时精神科医生的身份上回归：

    “说回集合论的问题。”

    “康托尔在建立集合论的工作中就已经发现了康托尔悖论，或者将其称为最大基数悖论。”

    “任一集合的基数小于其幂集的基数，根据概括规则，可由一切集合组成集合S。”

    “S的基数小于其幂集p（S）的基数。但是，p（S）又是一切集合构成的集合S的一个子集，即p（S）的基数小于或等于S的基数，由此产生逻辑矛盾。”

    “第二个悖论，最大序数悖论，同样因为所有序数的集合而产生了类似的逻辑矛盾。”

    “最后一个，罗愫悖论。”

    “这个悖论比上面两个悖论更简单，但因此威力更强大，动摇了集合论的基础。”

    把所有集合分为两类，一类是正常集合，例如所有自然数组成的集合。

    这类集合的特点是，集合本身不能作为自己的一个元素。

    非正常集合，例如，所有集合所组成的集合。

    这类集合的特点是，集合本身可以作为自己的一个元素。

    现假设由所有正常集合组成一个集合S。

    如果S属于自身，则S是非正常集合，它不是由所有正常集合组成的集合，与假设矛盾。

    如果S不属于自身，则它是正常集合，所以它是由所有正常集合组成的集合S的一个元素，矛盾。

    写成符号形式就是：

    S∈S→S?S，S?S→S∈S。

    以上三个集合论中的悖论本质上都源于自我指涉问题。

    因为假定以自身为元素的集合存在，所以出现了不满足排中律的自我矛盾的命题。

    ZF公理系统解决这个矛盾的办法是使用正则性公理。

    它禁止将一个集合作为其自身的元素，禁止了诸如“所有集合的集合”和“所有序数的集合”这样的陈述。

    另一个NbG公理系统，这里的G就是哥德尔。

    它将“所有集合的集合”称为“真类”，将类与集合分离，从而避免出现自指悖论。

    “接下来是不是就是那个很着名的哥德尔不完备定理了？”

    阿基里斯靠在壁炉旁低声问道。

    房间里的温度已经被火焰加热到近似于炎炎夏日的温度，很难想象那个64岁的干瘦老人是如何在这样的环境中裹着厚厚的毛衣还会感到冷。

    “比起广为流传的哥德尔不完备定理，先要提起的是哥德尔完备性定理。”

    “从这个定理上，能看出自我指涉问题是如何与实无穷扯上联系的。”

    “哥德尔完全性定理研究的内容是一阶谓词逻辑，或者说是有限函数演算。”

    “它表明命题逻辑和一阶逻辑具有可靠性和完备性。”

    “其中可靠性指可以被证明的一定为真，完备性指一切为真的命题都可以被证明。”

    “简单来说就是，至少在有限的范围内，用公理和证明机制足以推导出所有普遍成立的命题。”

    “但是一阶谓词逻辑是很弱的，它无法处理无限的概念。”

    “最基本的一阶算术系统，用来描述自然数的皮亚诺公理就超出了这条定理的范围。”

    “在涉及到实无穷的时候，不完备性出现了。”

    哥德尔不完备定理有两条内容。

    第一条，任何一致的形式系统，只要蕴含皮亚诺算术公理，就存在一个在系统中不能被证明的真命题。

    如果一个命题为真，直觉上总是可以在系统内被证明出来，而不完备性定理否认了这一点。

    第二条，任何一致的形式系统，只要蕴涵皮亚诺算术公理，就不能证明其本身的一致性。

    也就是说，一个公理系统的自洽性是无法在自身体系内被证明的，必须依赖于更高阶的系统。

    在皮亚诺算术公理定义的自然数系统中，古德斯坦定理就是这样一个例子。

    它是一条有关于自然数的命题，但在定义这个命题的公理系统内部，却无法证明这个命题。

    该定理可以在更高阶的系统下证明为真，但在皮亚诺算术系统内是不可证的。

    连续统假设也是这样一个问题。

    连续统问题追问的是实数子集的大小，其相关命题以实数子集为概括对象。

    每个实数相当于一个自然数子集，连续统问题所谈论的对象就成了全体自然数子集所构成的集合的子集。

    将直接概括自然数的算术称为一阶算术，以自然数子集或者实数为概括对象的算术为二阶算术。

    那么连续统问题就属于三阶算术。

    康托尔是在由戴德金分割定义的实数系中发现的连续统假设，但这个问题在实数模型内部却是不可判定的。

    哥德尔形式证明了连续统假设的一般形式与ZFc公理是一致的。

    如果把连续统假设作为公理加入集合论的这些公理中，不会产生任何逻辑矛盾。

    科恩证明了一般的连续统假设的否定命题也可以加入ZFc中而不产生矛盾。

    因此，连续统假设与标准的集合论公理是互相独立的。

    它类似于平行公理相对于欧几里得几何的其他公理的地位，集合论的标准公理既不能证明也不能否定它。

    根据连续统假设是否成立，可以像是欧几里得几何与非欧几何一样，构造出不同的集合论系统。

    这就是康托尔失败的原因。

    连续统假设的逻辑独立性就意味着它既不为真又不为假。

    集合论中乱成一团的悖论和不可证性可以说是允许非构造的概念——尤其是实无穷，进入数学的自然后果。
『加入书签，方便阅读』