第1章 数学景观 1
1.1 数学是什么 1
1.2 数学在哪里 3
1.3 数学社会 3
1.4 这个行业的工具 7
1.5 已知的数学知识有多少 10
1.6 乌拉姆的困境 13
1.7 可能有多少数学知识 16
附录A 1910年前大事年表 17
附录B 数学分类，1868年和1979年的比较 19
作业与问题 21
建议读物 22
第2章 数学经验种种 24
2.1 当代的个体和集体意识 24
2.2 理想的数学家 25
2.3 一个物理学家看数学 35
2.4 沙法列维奇和新的新柏拉图主义 41
2.5 异端 43
2.6 个人与文化 48
作业与问题 52
建议读物 55
第3章 外部问题 57
3.1 数学为什么有效——约定论的回答 57
3.2 数学模型 64
3.3 数学的效用 65
3.4 并非“正统”的应用 72
3.5 抽象和经院神学 94
作业与问题 99
建议读物 103
第4章 内部问题 107
4.1 符号 107
4.2 抽象 110
4.3 推广 116
4.4 形式化 118
4.5 数学对象和结构；存在 122
4.6 证明 127
4.7 无限——数学的超凡容器 132
4.8 伸长的线 137
4.9 命运之神的硬币 141
4.10 美学成分 145
4.11 模式、秩序和混沌 148
4.12 算法数学和论理数学 156
4.13 普遍性和抽象的倾向——中国剩余定理的案例研究 161
4.14 数学之谜 168
4.15 多样性中的统一 171
作业与问题 172
建议读物 178
第5章 数学专题选述 179
5.1 群论和有限单群分类 180
5.2 质数定理 184
5.3 非欧几何 191
5.4 非康托尔集合论 197
附录 康托尔的对角线方法 208
5.5 非标准分析 209
5.6 傅里叶分析 222
作业与问题 237
建议读物 242
第6章 数学教学 244
6.1 一个预科学校数学教师的自白 244
6.2 传统教学法的危机 246
6.3 波利亚的发现技巧 255
6.4 新数学的创造：拉卡托斯启发法的应用 262
6.5 比较美学 268
6.6 数学的非解析方面 270
作业与问题 284
建议读物 287
第7章 从确实性到易谬性 288
7.1 柏拉图主义、形式主义和构造主义 288
7.2 正在工作的数学家的哲学困境 290
7.3 欧几里得神话 291
7.4 基础的发现和丧失 298
7.5 形式主义的数学哲学 305
7.6 拉卡托斯与可疑性哲学 310
作业与问题 322
建议读物 325
第8章 数学实在 327
8.1 黎曼假设 327
8.2 π和？ 332
8.3 数学模型，计算机和柏拉图主义 337
8.4 为什么我应当相信计算机 341
8.5 有限单群的分类 347
8.6 直觉 350
8.7 四维直觉 357
8.8 关于假想对象的真正事实 362
作业与问题 366
建议读物 368
术语汇编 370
参考文献 376
索引 393
人名索引 393
专有名词索引 397
跋 401
译后记 412