连续统问题与猜想.pdfVIP

逻辑学研究 2010 年第4 期，30–43 文章编号：1674-3202(2010)-04-0030-14 连续统问题与Ω 猜想 郝兆宽* 施翔晖 杨跃 复旦大学哲学学院 北京师范大学数学学院 新加坡国立大学数学系 zkhao@ shi.bnu@ matyangy@.sg 摘 要：自从哥德尔和科恩证明了康托连续统假设相对于集合论公理系统ZFC 的独 立性之后，围绕着连续统问题，形式主义者和柏拉图主义者展开了持久争论。我们在 本文中试图论证，武丁有关连续统假设所取得的最新进展有力地支持了柏拉图主义的 立场。另一方面，我们把这些新进展看作是在哥德尔纲领下进行的工作，因此，作为 一种哲学立场，柏拉图主义也推动着对集合宇宙的日益深刻的理解。 关键词：连续统假设；武丁；Ω 猜想；柏拉图主义；哥德尔 中图分类号：B81 文献标识码：A 一、历史 连续统问题由来已久。当康托证明了实数的基数严格大于自然数的基数后， 一个自然的问题就是：是否存在实