数学公理化方法的意义和作用.docVIP

数学公理化方法的意义和作用 2008-9-27 16:06:49 ???????????????????????????????????????????????????????????????????????????????? ?——摘自《徐利治谈数学哲学》 ??? 公理化方法在近代数学的发展中起过巨大的作用，可以说，它对各门现代数学都有极其深刻的影响．即使在数学教学中，公理化方法也是一个十分重要的方法． ????所谓公理化方法(或公理方法)，就是从尽可能少的无定义的原始概念(基本概念)和一组不证自明的命题(基本公理)出发，利用纯逻辑推理法则，把一门数学理论构造成为演绎系统的一种方法．所谓基本概念和公理，当然必须反映数学实体对象的最单纯的本质和客观关系而并非人们自由意志的随意创造． ??? 众所周知，Hilbert?l899年出版的《几何学基础》一书是近代数学公理化的典范著作．该书在问世后的二三十年间曾引起西方数学界的一阵公理热，足见其影响之大．Hilbert的几何公理系统实际上是在前人的一一系列工作成果基础上总结出来的，书中的公理条目也曾屡经修改．直到1930年出第七版时，还作了最后修改．这说明一门学科的公理化未必是一次完成的，公理化过程是可以包含着一些发展阶段的． ????谈到数学公理化的作用，至少可以举出如下四点： ????(1)这种方法具有分析、总结数学知识的