数学公理化方法在研究数学中的重要作用.docVIP

数学公理化方法在研究数学中的重要作用 　　【摘要】 数学公理化方法在近代数学的发展中起着基本的作用，它的思想对各门现代数学理论的系统形成有着深刻的影响，公理化方法对数学的发展起到了巨大作用，如在对公理化方法逻辑特征的研究中，产生了许多新的数学分支理论，非欧几何是由研究欧氏几何公理系统的独立性产生的，元数学理论或证明论是由研究公理系统相容性产生的等。本文主要就数学公理化方法在研究数学中的重要作用进行分析说明。 　　【关键词】 数学 公理化方法 研究数学 作用 　　【中图分类号】 G424 【文献标识码】 A 【文章编号】 1006-5962（2013）02（b）-0042-01 　　1 数学公理化方法概述 　　1.1 数学公理化方法的内涵 　　纯形式公理化方法的特征是具有高度的形式化和抽象化，系统的基本概念、基本关系用抽象的符号表示，命题由符号组成的公式表示，命题的证明用一个公式串表达。一个符号化的形式系统只有在解释之后才有意义。同时，作为一个符号化的形式系统，可以用来提供简洁精确的形式化语言；提供数量分析及计算的方法；提供逻辑推理的工具。 　　公理化方法的具体形态有三种：实体性公理化方法、形式公理化方法和纯形式公理化方法，用它们建构起来的理论体系分别为《几何原本》、《几何基础》和ZFC公理系统。 　　1.2 公理化方法的基本思想 　　数学是撇开现实世界的具体内容来研究其量性特征形式与关系的。其结果只有经过证明才可信，而数学证明采用的是逻辑推理方法，根据逻辑推理的规则，每步推理都要有个大前提，我们不难想象到，最初的那个大前提是不可能再由另外的大前提导出的，既是说，我们的逆推过程总有个“尽头”，同样，概念需要定义，新概念由前此概念定义，必也出现这样的情况最原始的概念无法定义。 　　因此，我们要想建立一门科学的严格的理论体系，只能采取如下方法：让该门学科的某些概念以及与之有关的某些关系作为不加定义的原始概念与公设或公理，而以后的全部概念及其性质要求均由原始概念与公设或公理经过精确定义与逻辑推理的方法演绎出来，这种从尽可能少的一组原始概念和公设或公理出发，运用逻辑推理原则，建立科学体系的方法叫做公理化方法。 　　2 数学公理化方法的逻辑特征 　　2.1 协调性 　　无矛盾性要求在一个公理系统中，公理之间不能自相矛盾，由公理系推出的结果也不能矛盾，即不能同时推出命题A与其否定命题，显然，这是对公理系统的最基本的要求。如何证明给定的公理系统的无矛盾性呢？若想通过“由这一公理系作出全部可能的推论并指出其中没有矛盾”来证明是不可能的。 　　2.2 独立性 　　独立性要求在一个公理系统中，被选定的公理组中任何一个公理都不能由其他公理推出。独立性其实要求的是公理组中公理之间不能有依从关系，若某一公理被其余公理推出，那它实质上就是一个定理，在公理组中就是多余的，所以，独立性要求公理组中公理数目最少。 　　2.3 完备性 　　完备性要求在一个公理系统中，公理组的选取能保证由公理组推出该系统的全部真命题，所以，公理不能过少，否则就推不出某些真命题，这是关于完备性的古典定义。现代数学常借助模型的同构给公理系的完备性下定义，即如果公理系T的所有模型或解释都彼此同构，就称这个公理系是完备的。 　　在上述公理化方法的三个特征中，无矛盾性是最重要而又是非有不可的。独立性从理论上讲，从完美简炼上讲，应该要求，因为公理和定理在整个系统中处的地位不同，公理是出发点，定理是推出的，不能混在一块。但是，独立性要求有时可降低。现行中学几何体系就放弃了这一要求。至于完备性，要求就大大放宽了；而且“从研究完备的公理系确定的对象转向研究其公理系不完备的对象”被认为是现代数学的特征之一。 　　3 数学公理化方法在研究数学中的作用和意义 　　3.1 表述和总结科学理论 　　公理化方法使有关的理论系统化，把它们按照某种逻辑顺序构建成一个系统，因而便于人们系统地理解知识体系，便于掌握理论的本质。它是应用演绎推理的基本方法，它为认识世界提供了演绎推理的模式，提供了一种理性证明的手段，它是表述科学理论一种比较完善的方法，它为各门科学提供了一种思想方法上的示范和有效的表述手段，有利于促进理论的完善和严格化。它赋与数学内在的统一性，有助于人们了解数学各分支、各部门之间的本质联系。 　　3.2 完善和创新理论 　　公理化方法的应用要求一门科学的充分成熟：积累了一定数量的基础知识，进行了一定的系统分析和研究，对该门学科知识结构有了较深入的理解。因此，实现公理化的过程也是深入研究理论体系的过程。采用公理化方法还可以发现和补充理论系统中的缺陷和漏洞。从而有利于完善已有理论，创建新的理论。 　　3.3 培养和熏陶人们的逻辑思维能力 　　数学学习，重