论文部分内容阅读
【摘 要】数学起源于计算。随着计算机作为数学研究工具地位的确立，算法思想将成为今后相当长一个时期数学的主要思想。“演算”反映了数学的经验性与演绎性及其辩证关系。
【关键词】数学演算；计算；算法
数学的本质是经验性与演绎性在实践基础上的辩证统一，数学是一门演算的科学。
首先，从理论上讲，数学本质是数学观的一个重要问题，而数学观与数学方法论是统一的，所以可以通过方法论来分析数学观。数学认识对象的特殊性决定了数学认识方法的特殊性。这种特殊性表现在，数学研究除了像自然科学那样仅仅采用观察、实验、归纳的方法外，还必须采用演绎法。因此，可以通过研究数学认识方法来反映数学认识的本质。
其次，从事实上看，数学知识的经验性表明数学是适应社会实践需要而产生的，是解决实际问题的经验积累。社会实践提出的数学问题都要求给出定量的回答，而要作出定量的回答就必须进行具体的计算，所以计算表征了数学经验知识的特点。而对于各种具体的计算方法及其一般概括的“算法”（包括公式、原理、法则），也都可以用“算”来概括、反映数学知识的经验性在方法论上的计算或算法特点。同时，数学知识的演绎性反映数学认识在方法论上的演绎特点，所以，可以用“演”来反映数学知识的演绎性。因此，我们可以用“演算”来反映数学本质的经验性与演绎性。
“演算”反映了数学研究的特点。
数学研究对象的特殊性产生了数学研究特有的问题：计算与证明。它们成为数学研究的两项主要工作。关于“证明”。数学对象的特殊性使得数学成果不能像自然科学成果那样通过实验来证实，而必须通过逻辑演绎来证明，否则数学家是不予承认的。所以，数学家如何把自己的成果表达成一系列的演绎推理（即证明）就成为重要工作。证明成为数学研究工作的重要特点。关于“计算”，数学本身就是起源于计算，即使数学发展到高度抽象理论的今天，也不能没有计算。数学家在证明一个定理之前，必须经过大量的具体计算，进行各种试验或实验，并加以分析、归纳，才能形成证明的思路和方法。只有在这时候，才能从逻辑上进行综合论证，表达为一系列的演绎推理过程，即证明。从应用数学来看，更是需要大量的计算，所以人们才发明各种计算机。在电子计算机广泛应用的今天，计算的规模更大了，以致在数学中出现数值实验。因此，计算成为数学研究的另一项重要工作。
既然“计算与证明”是数学研究的两项主要工作和特点，那么“数学是演算的科学”这一概括是否反映出这一特点？“证明”是从一定的前提（基本概念和公理）出发，按照逻辑规则所进行的一种演绎推理。而“演（绎）”正可以反映“证明”这一特点。而“算”显然更可以直接反映“计算”或“算法”及其特点。由此可见，“演算”反映了数学研究的计算和证明这两项基本工作及其特点。
“演”与“算”的对立统一反映数学性质的辩证性。
首先，从数学发展的宏观来看。数学史告诉我们，数学起源于“算”，即起源于物体个数、田亩面积、物体长度等的计算。要计算就要有计算方法，当各种计算方法积累到一定数量的时候，数学家就进行分类，概括出适用于某类问题的计算公式、法则、原理，统称为算法。所以数学的童年时期叫做算术，它表现为一种经验知识。当欧几里得建立数学史上第一个公理系统时，才出现“演绎法”。此后，“演”与“算”便构成了数学发展中的一对基本矛盾，推动着数学的发展。这在西方数学思想史中表现最为突出。大致说来，在欧几里得以前，数学思想主要是算法；欧几里得所处的亚历山大里亚前期，数学主要思想已由算法转向演绎法；从亚历山大里亚后期到18世纪，数学主要思想再次由演绎法转向算法；19世纪到20世纪上半叶，数学主要思想又由算法转向演绎法；电子计算机的应用促进了计算数学的发展及其与之交叉的诸如计算流体力学、计算几何等边缘学科的产生以及数学实验的出现。这一切又使算法思想重新得到发展，成为与演绎法并驾齐驱的思想。可以预言，随着计算机作为数学研究工具地位的确立，算法思想将成为今后相当长一个时期数学的主要思想。算法思想与演绎思想在数学发展过程中的这种更迭替代，从一个侧面体现了“演”与“算”这对矛盾在一定条件下的相互转化。所以，有的数学史工作者从方法论的角度把数学的发展概括为算法倾向与演绎倾向螺旋式交替上升的过程。
其次，从数学研究的微观来看。“演”中有“算”，这充分表明了我们上面所分析的“证明”中包含着“计算”，包含着“算”向“演”转化。“算”中有“演”，这充分表现在算术和代数中。算术和代数表现为“算”，但是，算术和代数的“算”，并不是自由地计算，而是要遵循基本的四则运算及其规律，即计算要按照一定的计算规则，就像证明要遵守推理规则一样。所以“算”中包含着“演”，包含着“演”向“算”的转化。“演”与“算”的这种对立统一更充分地体现在计算机的数值计算和定理证明中。这种“算”与“演”的对立统一关系，从一个侧面反映了数学的经验性与演绎性的辩证关系，反映了数学性质的辩证性。
综上所述，既然“演算”概括了数学研究的特点，反映了数学的经验性与演绎性及其辩证关系，我们就有理由把它作为对数学本质的概括，说“数学是一门演算的哲学”。
收稿日期：2013-03-19
【关键词】数学演算；计算；算法
数学的本质是经验性与演绎性在实践基础上的辩证统一，数学是一门演算的科学。
首先，从理论上讲，数学本质是数学观的一个重要问题，而数学观与数学方法论是统一的，所以可以通过方法论来分析数学观。数学认识对象的特殊性决定了数学认识方法的特殊性。这种特殊性表现在，数学研究除了像自然科学那样仅仅采用观察、实验、归纳的方法外，还必须采用演绎法。因此，可以通过研究数学认识方法来反映数学认识的本质。
其次，从事实上看，数学知识的经验性表明数学是适应社会实践需要而产生的，是解决实际问题的经验积累。社会实践提出的数学问题都要求给出定量的回答，而要作出定量的回答就必须进行具体的计算，所以计算表征了数学经验知识的特点。而对于各种具体的计算方法及其一般概括的“算法”（包括公式、原理、法则），也都可以用“算”来概括、反映数学知识的经验性在方法论上的计算或算法特点。同时，数学知识的演绎性反映数学认识在方法论上的演绎特点，所以，可以用“演”来反映数学知识的演绎性。因此，我们可以用“演算”来反映数学本质的经验性与演绎性。
“演算”反映了数学研究的特点。
数学研究对象的特殊性产生了数学研究特有的问题：计算与证明。它们成为数学研究的两项主要工作。关于“证明”。数学对象的特殊性使得数学成果不能像自然科学成果那样通过实验来证实，而必须通过逻辑演绎来证明，否则数学家是不予承认的。所以，数学家如何把自己的成果表达成一系列的演绎推理（即证明）就成为重要工作。证明成为数学研究工作的重要特点。关于“计算”，数学本身就是起源于计算，即使数学发展到高度抽象理论的今天，也不能没有计算。数学家在证明一个定理之前，必须经过大量的具体计算，进行各种试验或实验，并加以分析、归纳，才能形成证明的思路和方法。只有在这时候，才能从逻辑上进行综合论证，表达为一系列的演绎推理过程，即证明。从应用数学来看，更是需要大量的计算，所以人们才发明各种计算机。在电子计算机广泛应用的今天，计算的规模更大了，以致在数学中出现数值实验。因此，计算成为数学研究的另一项重要工作。
既然“计算与证明”是数学研究的两项主要工作和特点，那么“数学是演算的科学”这一概括是否反映出这一特点？“证明”是从一定的前提（基本概念和公理）出发，按照逻辑规则所进行的一种演绎推理。而“演（绎）”正可以反映“证明”这一特点。而“算”显然更可以直接反映“计算”或“算法”及其特点。由此可见，“演算”反映了数学研究的计算和证明这两项基本工作及其特点。
“演”与“算”的对立统一反映数学性质的辩证性。
首先，从数学发展的宏观来看。数学史告诉我们，数学起源于“算”，即起源于物体个数、田亩面积、物体长度等的计算。要计算就要有计算方法，当各种计算方法积累到一定数量的时候，数学家就进行分类，概括出适用于某类问题的计算公式、法则、原理，统称为算法。所以数学的童年时期叫做算术，它表现为一种经验知识。当欧几里得建立数学史上第一个公理系统时，才出现“演绎法”。此后，“演”与“算”便构成了数学发展中的一对基本矛盾，推动着数学的发展。这在西方数学思想史中表现最为突出。大致说来，在欧几里得以前，数学思想主要是算法；欧几里得所处的亚历山大里亚前期，数学主要思想已由算法转向演绎法；从亚历山大里亚后期到18世纪，数学主要思想再次由演绎法转向算法；19世纪到20世纪上半叶，数学主要思想又由算法转向演绎法；电子计算机的应用促进了计算数学的发展及其与之交叉的诸如计算流体力学、计算几何等边缘学科的产生以及数学实验的出现。这一切又使算法思想重新得到发展，成为与演绎法并驾齐驱的思想。可以预言，随着计算机作为数学研究工具地位的确立，算法思想将成为今后相当长一个时期数学的主要思想。算法思想与演绎思想在数学发展过程中的这种更迭替代，从一个侧面体现了“演”与“算”这对矛盾在一定条件下的相互转化。所以，有的数学史工作者从方法论的角度把数学的发展概括为算法倾向与演绎倾向螺旋式交替上升的过程。
其次，从数学研究的微观来看。“演”中有“算”，这充分表明了我们上面所分析的“证明”中包含着“计算”，包含着“算”向“演”转化。“算”中有“演”，这充分表现在算术和代数中。算术和代数表现为“算”，但是，算术和代数的“算”，并不是自由地计算，而是要遵循基本的四则运算及其规律，即计算要按照一定的计算规则，就像证明要遵守推理规则一样。所以“算”中包含着“演”，包含着“演”向“算”的转化。“演”与“算”的这种对立统一更充分地体现在计算机的数值计算和定理证明中。这种“算”与“演”的对立统一关系，从一个侧面反映了数学的经验性与演绎性的辩证关系，反映了数学性质的辩证性。
综上所述，既然“演算”概括了数学研究的特点，反映了数学的经验性与演绎性及其辩证关系，我们就有理由把它作为对数学本质的概括，说“数学是一门演算的哲学”。
收稿日期：2013-03-19