构造性数学及其哲学意义论文.docVIP

构造性数学及其哲学意义论文 　　 　　摘要：本文在介绍了构造性数学的产生和发展的基础上重点阐述了它的数学原则和数学基础表明了可构造性的数学底蕴最后通过对构造性数学产生的原因和其所要达到的目的的分析论述了构造性数学的重大意义同时评析了我国学术界对它的一些认识 　　 　　关键词：构造性数学递归函数可靠性 　　 　　一构造性数学的产生与发展 　　 　　构造性数学是现代数学研究的一个重要领域它的根本特征就是对可构造性的强调所谓可构造性是指能具体地给出某一对象或者能给出某一对象的计算方法即当我们把能证实“存在一个Ｘ满足性质Ａ”的证明称为构造性的是指能从这个证明中具体地给出满足性质Ａ的一个ｘ；或者能从此证明中得到一个机械的方法使其经有限步骤后即能确定满足性质Ａ的这个ｘ来反之经典数学（非构造性数学）中的纯存在性证明被称之为非构造的非构造性证明主要是通过使用反证法来实现的人们一般把这种强调可构造性的数学称为构造性数学 　　 　　构造性数学最早起源于一种构造性哲学思想这种思想可以追溯到康德那里康德认为数学的最终真理性在于数学概念可以通过人的智慧构造出来他说：“数学必须根据纯粹直观在纯直观里它才能够具体地然而却是先天地把它的一切概念提供出来或者像人们所说的那样把这些概念构造出来”又说“数学知识是从概念的构造得出来的理性知识构造一个概念意即先天地提供出来与概念相对应的直观”（〔１〕第３９页）后