|
第三次数学危机 ——胡作玄
1、什么是数学危机 2、第一次数学危机 3、第一次数学危机的产物—古典逻辑与欧氏几何学 4、非欧几何学的诞生 5、第二次数学危机
1、数学符号化的扩充：数理逻辑的兴起
2、寻找数学的基础：集合论的创立 3、数学的公理化
1、一连串的悖论的出现 2、悖论动摇了整个数学的基础 3、罗素的类型论 4、策梅罗的公理集合论
1、哥德尔小传 2、1930年数理逻辑的状况 3、1930年哥德尔的两项主要贡献
1、证明论 2、递归论
3、模型论 4、公理集合论
1、逻辑主义 2、直觉主义 3、形式主义 4、数学与哲学
|