构造性数学及其哲学意义.docxVIP

[键入文字] 构造性数学及其哲学意义 构造性数学是现代数学研究的一个重要领域。它的根本特征就是对可构造性的强 调。以下就是由小编为您提供的构造性数学及其哲学意义。 ? ?所谓可构造性是指能具体地给出某一对象或者能给出某一对象的计算方法。即当我 们把能证实 存在一个 X 满足性质 A 的证明称为构造性的，是指能从这个证明中具体 地给出满足性质 A 的一个 x;或者能从此证明中得到一个机械的方法，使其经有限步骤 后即能确定满足性质 A 的这个 x 来。反之，经典数学(非构造性数学)中的纯存在性证 明被称之为非构造的。非构造性证明主要是通过使用反证法来实现的。人们一般把这 种强调可构造性的数学称为构造性数学。 ? ?构造性数学最早起源于一种构造性哲学思想，这种思想可以追溯到康德那里。康德 认为，数学的最终真理性在于数学概念可以通过人的智慧构造出来。他说： 数学必须 根据纯粹直观，在纯直观里它才能够具体地，然而却是先天地把它的一切概念提供出 来，或者像人们所说的那样，把这些概念构造出来 。又说 数学知识是从概念的构造 得出来的理性知识。构造一个概念，意即先天地提供出来与概念相对应的直观。 后 来，19 世纪德国的克罗内克进一步指出： 上帝创造了整数，其余都是人做的工作。 主张自然数与数学归纳法是数学最根本的和直观上最可信的出发点，其它一切数学对 象都必须能在有限步骤内从自然数中构造出来，否