第一部分 傅种孙与数学基础及数学教育
部分前辈学者与傅种孙先生的交往及回忆(摘录)
傅种孙、数学语录
部分现代数学家的对照语录
数学基础研究的一些新进展——纪念傅种孙先生百年诞辰
怀念傅种孙先生改革数学教育的几点感想
为傅种孙先生遗著《几何基础研究》所作序
第二部分 数学基础对现代数学的应用举例
小前言
1 关于Baire定理等的真假
2 空间基底、代数闭包等是否存在
3 模型论简单应用的例
4 Qp上Artin猜想的证明及其他
5 Suslin问题的独立性
6 Whitehead问题的独立性
7 代数整数环上的Hilbert第十问题
8 关于Burnside问题
9 Kaplansky问题的独立性
10 一个同调代数的独立性结果及应用
1l 关于域上的三角方阵环
12 非标准方法对广义函数的应用
13 拟Alexandroff问题的独立性
14 集论拓扑中的独立性结果举例
15 广义“高中代数问题”的否定解答
16 一个数学分析问题的独立性
17 Moore空间的Jones猜想
18 非标准方法对Banach空间应用的例
19 常微分方程的奇异摄动
20 Crawley问题的独立性
21 数学分析中几个常见定理的强弱
22 自由子群定理与选择公理
23 反推数学举例
24 实数三角恒等式的公理组
25 一个经典调和分析问题的解答
26 一个Banach空间问题
27 可换群1阶理论的计算复杂性
28 两个代数问题的量词消去算法
29 Hilbert第16问题的部分算法解
30 有限齐性环的完全分类
31 Hilbert零点定理的推广
32 数学分析中的递归可计算性(一)
33 数学分析中的递归可计算性(二)
34 实分析中的递归可计算性
35 数学物理方程中的递归可计算性
……
第三部分(附录) 献给傅老师的几篇习作