构造性数学及其哲学意义

构造性数学及其哲学意义

北大科学史与科学哲学 - 科学哲学 - 科学哲学分论 : 构造性数学及其哲学意义
文章来源: 自然辩证法通讯199703
加入时间: 2003-12-26
阅读次数： 2791 次
构造性数学及其哲学意义
郝宁湘

摘要：本文在介绍了构造性数学的产生和发展的基础上，重点阐述了它的数学原则和数学基础，表明了可构造性的数学底蕴。最后通过对构造性数学产生的原因和其所要达到的目的的分析，论述了构造性数学的重大意义，同时评析了我国学术界对它的一些认识。
关键词：　构造性数学　递归函数　可靠性
＊　　　　　　　　　　　　＊　　　　　　　　　　　　　　＊
　　　　一，构造性数学的产生与发展
构造性数学是现代数学研究的一个重要领域。它的根本特征就是对可构造性的强调。所谓可构造性是指能具体地给出某一对象或者能给出某一对象的计算方法。即当我们把能证实“存在一个Ｘ满足性质Ａ”的证明称为构造性的，是指能从这个证明中具体地给出满足性质Ａ的一个ｘ；或者能从此证明中得到一个机械的方法，使其经有限步骤后即能确定满足性质Ａ的这个ｘ来。反之，经典数学（非构造性数学）中的纯存在性证明被称之为非构造的。非构造性证明主要是通过使用反证法来实现的。人们一般把这种强调可构造性的数学称为构造性数学。
构造性数学最早起源于一种构造性哲学思想，这种思想可以追溯到康德那里。康德认为，数学的最终真理性在于数学概念可以通过人的智慧构造出来。他说：“数学必须根据纯粹直观，在纯直观里它才能够具体地，然而却是先天地把它的一切概念提供出来，或者像人们所说的那样，把这些概念构造出来”。又说“数学知识是从概念的构造得出来的理性知识。构造一个概念，意即先天地提供出来与概念相对应的直观。”（〔１〕，第３９页）后来，１９世纪德国的克罗内克进一步指出：“上帝创造了整数，其余都是人做的工作。”主张自然数与数学归纳法是数学最根本的和直观上最可信的出发点，其它一切数学对象都必须能在有限步骤内从自然数中构造出来，否则就不能作为数学对象。由此克罗内克把许多数学成果划到不合法的行列里，如无限集合、纯存在性证明等。但由于他批判的多建设的少，故其思想在当时并未产生很大影响。另外，彭加勒、勒贝格等大数学家也都是倡导构造性数学研究的有名人物。但是，所有这些人提倡的大都只是一种数学哲学的思想，他们实际的数学工作并未严格地遵循自己的哲学思想。因此，现代意义的构造性数学应以布劳威尔的直觉主义数学为开端，迄今，在构造

第1页下一页