论数学大厦的基础：欧几里得——希尔伯特公
理化思想方法的发展
班级：13级626数学班 姓名：徐影红 学号：11607262616
摘要：公理化思想方法是数学研究的一种基本方法，在近代数学的发展及中起过巨大的作用，对各门现代数学理论系统形成有着深刻的影响。数学是一门演绎的科学，其体系是一种演绎的体系。那么，这个演绎体系的基础是什么？整个数学大厦的基础是怎样建立起来的？这个基础就是数学公理系统，整个数学知识的大厦就是按照公理化体系建立起来的。没有公理化，就没有数学体系的严谨性。本文将从公理化思想方法的产生、发展和完善三方面来阐述公理化思想的发展进程。 关键字：公理化思想方法、演绎体系、公理化系统
一、公理化思想方法的含义
公理化是一种数学方法，最早出现在2000多年前的欧几里得几何学中，当时认为“公理”是一种不需要证明的自明之理，18世纪，德国哲学家康德认为，欧几里得几何的公理使人们生来就有的先验知识，19世纪末，德国数学家希尔伯特在他的几何基础上系统地提出数学的形式公理化方法。他认为每一种数学理论都应以“基本概念-公理-定理”的模式来建立：这里的公里时作为理论出发点的科学假设，它们要求具有完备性、独立性和相容性。20世纪以来，整个数学几乎都已按希尔伯特的模式都到公理化处理。
在一个数学理论系统中，公理化方法就是从原始概念和公理出发，按
照一定的规定定义出其他所有的概念，推导出其他一切命题的一种演绎方法。
二、公理化思想方法的发展历程
公理化思想方法的历史发展大致可分成如下三个阶段：
（一）公理化方法的产生阶段
1、亚里士多德和逻辑公理化方法
众所周知，在长达一千多年的光辉灿烂的希腊文化中，哲学、逻辑学、几何学得到了很大的发展。大约在公元前3世纪，希腊哲学家和逻辑学家亚里士多德总结了前任所发现和创立的逻辑知识，以完全三段论作为出发点，用演绎的方法推导出其余十九个不同格式的所有三段论，创立了人类历史上第一个公理化方法，即逻辑公理化方法，从而为数学公理化方法创造了条件。
2、欧几里得和《几何原本》
亚里士多德的思想方法深深影响了公元前3世纪的希腊数学家欧几里得。欧几里得以亚里士多德演绎逻辑为工具，总结了人类长期以来所积累的大量几何知识，于公元前300年完成了他的名著《几何原本》。欧几里得从古代的量地术和关于几何形体的原始直观中，用抽象分析方法提炼出一系列基本概念和公理。其中包括14个基本命题，5个公设和9条公理。欧几里得的《几何原本》是有史以来用公理化思想方法建立起来的第一门演绎数学 ，在数学史上被称为划时代的里程碑。而且成为以后很长时期
严格证明的典范，人们还把严密的逻辑推理和完善的逻辑结构看成是古典几何成熟的标志。当然，现在看来由于受当时整个科学水平的限制，这种功利化方法还是很原始的。所以后来称它为公理化思想方法的初级阶段。
（二）、公理化方法的完善阶段
1、对第五公设的质疑之声
欧式几何的公理系统是不够完善的，其主要的不足之处可以概括为： （1）有些定义是不自足的，即往往使用一些未加定义的概念去对别的概念下定义。
（2）有些定义是多余的，略去它毫不影响往后的演绎和发展。 （3）有些定理的证明过程往往依赖于图形的直观。
在公理化方法的初级阶段，它的“严格性”也只是相对当时的情况而言的。事实上，原本的不足之处早已为古代学者所觉察，譬如，有学者就质疑欧几里得对有些基本概念的定义不够妥当，有些证明只不过是借助于直观，等等。特别是第五公设的陈述从字面上很不子明，所以人们从两个方面对他产生了怀疑：
第一：第五公设是否正确的反映了空间的性质； 第二：它本身很可能是一个定理。
对于这两个问题，人们从以下几个方面进行了探讨：一是他能否从其他公理推出；二是换一个与它等价而本身却又是很自明的公设；三十换一个与他相反的公设。通过很多第一流的数学家近两千年的大量工作，第一个方案尚未成功。据说在欧几里得以后得2000多年时间里几乎难以发现