当前位置:首页 > 哲学宗教
当代哲学问题研读指针丛书  哥德尔纲领
当代哲学问题研读指针丛书  哥德尔纲领

当代哲学问题研读指针丛书 哥德尔纲领PDF电子书下载

哲学宗教

  • 电子书积分:9 积分如何计算积分?
  • 作 者:郝兆宽著;张志林,黄翔主编
  • 出 版 社:上海:复旦大学出版社
  • 出版年份:2018
  • ISBN:9787309134056
  • 页数:183 页
图书介绍:本书讨论哥德尔纲领的历史背景、对数学和哲学的影响以及数学家们为实现这一纲领的重要工作。哥德尔纲领可以看作是为解决连续统问题而提出的一种研究方略。当数学家们知道了连续统假设的独立性之后,关于这个集合论命题的哲学地位就产生了争论。一派认为独立性就是对这个问题的最好解决,连续统假设既不是真的也不是假的,这就是最后的答案,因此,这个方向的工作已经完成。而哥德尔则认为独立性不是问题的解决,我们需要加强现有的公理系统以确定连续统假设的真值。这个方向上的工作才刚刚开始,其核心就是寻找集合论的新公理。在此之后,特别是20世纪80年代以来,集合论学家在这个方向上取得了一系列重要的成就。2010年之后,整个图景逐渐清晰起来。粗略地说,连续统问题的解决取决于我们是否能够构造一个包含超紧基数的类似于L的内模型。如果这种构造能够成功,那就在某种意义上出现了一个终极的模型,在其中连续统假设是真的。这可以看作是哥德尔纲领的实现。
《当代哲学问题研读指针丛书 哥德尔纲领》目录

第一章 问题的由来:2No=N? 1

第一节 无穷的大小 2

第二节 连续统假设 8

第二章 证明“不可证” 19

第一节 证明、语言与编码 21

第二节 形式系统与独立性命题 25

第三章 CH的独立性 37

第一节 哥德尔的可构成集 38

第二节 科恩的力迫法 46

第三节 哲学上的分歧 56

第四章 哥德尔纲领 63

第一节 集合这个概念 64

第二节 早期大基数公理 71

第三节 哥德尔纲领 79

第五章 V=L? 87

第一节 可测基数 90

第二节 超积和超幂 95

第三节 初等嵌入与可测基数 103

第六章 大基数 110

第一节 可测基数之下 114

第二节 超紧基数 118

第三节 武丁基数 128

第七章 局部策略 131

第一节 H(ω0)与经验完全性 133

第二节 PD与二阶算术 138

第三节 Ω猜想和CH 145

第四节 多宇宙真理观与Ω猜想 149

第八章 终极L 155

第一节 内模型计划及其困难 156

第二节 弱扩张子模型与普遍性定理 161

第三节 HOD猜想与终极L 165

参考文献 173

相关图书
作者其它书籍
返回顶部