唯物主义和康托尔思想（二） (2-2)

某种形式的柏拉图主义是当今数学的主导哲学。如果能够得到构造性证明，数学家可能更喜欢构造性证明，但除此之外，他们愿意接受无法构造的对象的存在。构造主义仍然是少数人的追求，因为它禁止大多数人认为合理和正当的证明方法。例如，希尔伯特抱怨说“让数学家放弃排中律，就好比禁止天文学家使用望远镜或禁止拳击手使用拳头一样”。

此外，建构主义在某种程度上是一种以人为中心的数学哲学。它试图将存在简化为我们的认知或当前技术的有限能力。只有当你认为数学完全涉及发明而不是发现的对象时，这才真正有效。

因此，我们面临一个矛盾。一方面，康托的高等无限性表明我们的理性可以超越我们的物理限制，获得真实但实际上无法接近的物体的知识。另一方面，数学是一种语言，在其中完全可以谈论不存在的事物，说一些胡言乱语。正如维特根斯坦所说，“如果一个人可以将高等无限性视为数学家的天堂，那么为什么另一个人不能将其视为笑话呢？”

最后，我们需要承认这一切都是上帝的旨意。康托尔相信是上帝亲自向他揭示了无限。他在天主教会内宣传他的思想，包括写信给教皇。康托尔的对角线论证与安瑟伦关于上帝存在的本体论论证具有相似的逻辑结构。

当我们思考无限时，宗教和神学总是与我们息息相关。那么，数学家们是否真的发现了这个神秘外壳中的理性内核，还是他们只是再现了理想主义者对逃避常常令人痛苦和失望的物质现实的渴望？

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。