从希尔伯特规划到数学的地图
希尔伯特规划的原初目的是为无穷数学辩护，然而为哥德尔不完全性定理所挫。反推数学的根本目标是为数学命题找寻能够证明它的下限公理，而其中相当一部分工作可以看作为对希尔伯特规划的部分实现。本文在梳理有关工作的基础上试图为希尔伯特规划提供一个新的视角，即在绕开哲学负担之后，希尔伯特规划或许可以推进为为数学绘制地图。
希尔伯特规划、反推数学、数学的地图
28
N031(科学的方法论)
本文得到中国人民大学科学研究基金10XNF094;10XNL012;中国人民大学哲学院985工程三期建设项目的支持
2012-04-28（万方平台首次上网日期，不代表论文的发表时间）
96-102
