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

第一章 问题的由来：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