从希尔伯特规划到数学的地图
外文标题：From Hilbert's Program to Map of Mathematics
文献类型：期刊
作者：裘江杰[1]
机构：[1]中国人民大学哲学院
年：2012
期刊名称：自然辩证法研究
期：1
页码范围：96-102
增刊：正刊
收录情况：中文核心期刊要目总览
所属部门：哲学院
语言：中文
人气指数：1
浏览次数：1
基金：基金项目：本文得到中国人民大学科学研究基金10XNF094、10XNL012和中国人民大学哲学院“985工程”三期建设项目的支持
关键词：希尔伯特规划#反推数学#数学的地图#hilbert's program#reverse mathematics#map of mathematics
摘要：希尔伯特规划的原初目的是为无穷数学辩护，然而为哥德尔不完全性定理所挫。反推数学的根本目标是为数学命题找寻能够证明它的下限公理，而其中相当一部分工作可以看作为对希尔伯特规划的部分实现。本文在梳理有关工作的基础上试图为希尔伯特规划提供一个新的视角，即在绕开哲学负担之后，希尔伯特规划或许可以推进为为数学绘制地图。
作者其他论文
Fine 有穷公理化定理的一个注记.裘江杰.哲学门.2014,335-344.
模态逻辑典范框架几个侧面.裘江杰.重庆理工大学学报（社会科学版）.2013,27(9),21-26.
有穷关系模型上的模态可定义.裘江杰.湖南科技大学学报（社会科学版）.2013,16(3),31-33.
(KAltn)的另一族正规扩张.裘江杰.逻辑学研究.2013,6(2),16-25.
Bull定理一个证明的注记.裘江杰.逻辑学研究.2011,04(4),15-23.
