作者简介
郝兆宽，复旦大学 哲学 学院教授。* 自然 辩证法协会常务理事， 数学 哲学专业委员会主任。 中国 数学学会数理 逻辑 专业委员会理事。主要研究领域为数理逻辑、数学哲学。
内容简介
《哥德尔纲领》讨论哥德尔纲领的 历史 背景、对数学和哲学的影响以及数学家们为实现这一纲领的重要 工作 。 哥德尔纲领可以看作是为解决连续统问题而提出的一种研究方略。当数学家们知道了连续统假设的独立性之后，关于这个集合论命题的哲学地位就产生了争论。一派认为独立性就是对这个问题的优选解决，连续统假设既不是真的也不是假的，这就是很后的答案，因此，这个方向的工作已经完成。而哥德尔则认为独立性不是问题的解决，我们需要加强现有的公理 系统 以确定连续统假设的真值。这个方向上的工作才刚刚开始，其核心就是寻找集合论的新公理。在此之后，特别是 20世纪 80 年代 以来，集合论学家在这个方向上取得了一系列重要的成就。2010年之后，整个图景逐渐清晰起来。粗略地说，连续统问题的解决取决于我们是否能够构造一个包含超紧基数的类似于L的内模型。如果这种构造能够 成功 ，那就在某种意义上出现了一个优选的模等。
郝兆宽，复旦大学哲学学院教授。*自然辩证法协会常务理事，数学哲学专业委员会主任。中国数学学会数理逻辑专业委员会理事。主要研究领域为数理逻辑、数学哲学。
评论列表
发表评论