在人类普遍接受的集合论公理体系中增加新的公理,将模型扩充,从而在更大的模型中解决那些原来不可判定的问题。
这一纲领的关键不仅在于集合论公理的扩张,更在于这种扩张的唯一性要求,认为连续统只有一个唯一确定的基数。
“除此之外,对连续统问题的解答还有另一种想法,连续统在不同的数学体系中有不同的基数。”
“这就是集合论多宇宙观的立场。”
“这一观点认为,集合论发展的现实表明,实在论者所期望的连续统问题的理想解决方案已经不可能了。”
“集合论更应该着眼于探求各种独立性命题在哪些集合论宇宙中是如何成立的,以及这些集合论宇宙之间的关系。”
李恒抛起手中的那块切片香肠,将它放到眼前,看着它上面如同恒星喷流的花纹笑了笑道:
“无论是哪一种观点,有限的人类所能真正看见的都只是一块切片香肠。”
“他们无法确定自己研究的到底是一块香肠,还是一颗看起来长得很像香肠的恒星。”
阿基里斯看着那块香喷喷的香肠切片,她发现这块香肠的确和恒星长得很像。
在研究不可数无限集合的时候,无法像是观察宇宙中的恒星一样,做到越来越精确的观察,得到更多的具体信息。
因此也就无法确定自己看到的到底是一块切片香肠,还是来自一颗宏伟恒星的遥远投影。
“你是什么想法?”
既然他的身体容纳着连续统,那么他应该可以做到判定连续统的基数大。
李恒转头看向阿基里斯。
“我的想法?”
“终极L具有种种良好的性质,它精确,完美,很符合人类眼中的优雅美丽。”
“但在我看来,这种完美就和经典力学中万物可计算的完美一样,太过确定了。”
“正如我一直跟你的,所有的可能性都发生了。”
“这种多元宇宙的世界观在物理世界中成立,在数学世界中也成立。”
“我并不赞同哥德尔的立场,认为连续统具有唯一确定的基数。”
罢,他伸手从阿基里斯的脖子上摘下那枚粉白色的螺旋状钥匙,将那看不到大的尖端指向了她脑袋上戴着的完美白色圆环。
“记得我一开始跟你过的吗?这个世界里没有人能追得上芝诺的龟。”
“就算是这个容纳了不可数无限集合,拥有着阿列夫一力量的圆环,同样也不校”
粉白色的螺旋钥匙尖端与完美的白色圆环碰撞到了一起。
咔嚓!
清脆的碎裂声在这片不可知的混沌世界中炸开,完美的白色圆环突然断裂,瞬间收缩成一个看不到大的点。
“在这个世界里,连续统的基数不是阿列夫一。”