数学机械化视野中算法与公理法的辩证统一.pdfVIP

2014年 11月 中央 民族大学学报 (自然科学版) N0v．．2014 第23卷 第 4期 JournalofMUC(NaturalSciencesEdition) V0l_23 NO．4 数学机械化视野中算法与公理法的辩证统一 梁 芳 (中央民族大学 理学院，北京 100081) 摘 要 ： 算法与公理法是数学发展 中的一对基本矛盾 ，它们 的交互运动推动了人类数学的发展 ，也造成 了 东西方数学的不 同特点．历史上 曾一度被割裂地看待 ，然而在计算机高速发展的今天，二者正在趋于辩证统 一 ． 算法与公理法的辩证统一观有利于对数学和数学本质更全面、更理性的理解 ，有助于对算法意义的认识 ， 有助于促进构造性数学及其相关学科的发展，有助于数学成果由手工时代向机器时代的加速发展． 关键词 ： 算法 ；公理法 ；数学机械化 ；吴文俊 中图分类号 ：N031 文献标识码 ：A 文章编号 ：1005一g036(2014)04-033-05 数值计算与定理证明是数学领域中的两种主要活动．数值计算刻板、规律，可 以机械化、算法化，而 定理证明灵活、变化，以公理化形式表达不易机械化．相应地，算法与公理法就构成了数学发展 中的一对 基本矛盾，它们的交互运动推动了人类数学的发展，也造成了东西方数学的不同特点．正如吴文俊先生 指出的：“在历史长河 中，数学机械化算法体系与数学公理化体系曾多次反复互为消长 ，交替成为数学 发展 中的主流．”…但是历史上曾一度将二者割裂地看待 ，在数学机械化的背景下 ，二者正在趋于辩证 统一 ． 1 数学发展 中的公理法、公理化思想 公理法包括公理方法和公理体系．公理方法是从初始概念和初始命题 (公理)出发 ，按一定 的逻辑 规则，定义出其他有关的概念、推演出其他有关命题(定理)的一种演绎方法．由初始概念、公理、定义、 推理规则和定理等构成的演绎体系叫做公理体系．公理方法是构成公理体系的思想方法，公理体系是用 公理方法得到的数学理论体系． 公理化在西方数学史上长期处于主流地位．在古希腊 ，由于受当时哲学上唯理论倾向的影响 ，加上 毕达哥拉斯 (Pythagoras，约公元前 580～约前 500)学派对 于不可公度量 的发现 ，以及亚里士多德 (Aristotle，前 384～前322)建立的三段论法则等的影响，欧几里得 (Euclid，前325年 ～前265年)集前人 之大成和 自己创新 ，完成巨著 《几何原本》(前 300年)，第一个用公理法建立 了成为后人典范的数学公 理化体系．《几何原本》的建立不仅对于几何学 ，甚至对于数学科学的其他分支和科学的发展 ，以及西方 人的整个思维都产生了极大的影响．如西方近代哲学史上重要的理性主义者斯宾诺莎 (Baruchde Spinoza，1632～1677)的 《伦理学》就是以欧几里得成书 《几何原本》的方式写成的纵观这种体系，由公理 法组织起来 的学科体系的严谨 、简单 、和谐、对称等大家公认 的数学美尽显其 中，这种数学美驱使无数数 学家醉心于数学的研究． 收稿 日期 ：2014—06—30 基金项 目：国家社科规划基金项 目(No．05CZXO06)． 作者简介 ：梁芳 (1970一)，女 (汉族)，山西朔州人 ，中央 民族大学理学院副教授 ，哲学博士，主要研究方 向：数学哲 学 ，数学教育． 34 中央民族大学学报 (自然科学版) 第 23卷 非欧几何、无理数理论等的建立，都有力地促进了数学公理化方法在数学中的深入发展 ，而 1899年 德国数学家希尔伯特 (DavidHilbert，1862～1943)发表的 《几何学基础》一书 ，更是让公理化方法深入到 了数学越来越多的分支中．1908年 ，集合论完成了公理化 ；20世纪 20年代 ，代数也实现了公理化 ；可 以 说 ，l9世纪末 20世纪初 ，公理化对于数学的影响前所未有．从而导致有相 当一部分数学家认为 ，数学就 是 由定义 、公理 、定理和推理证 明组成的，并且 以此作为衡量什么是数学的标准．其状况正如英 国数学家 F．F．