《数学方法论》数学中的公理化方法与结构方法.doc

第四章 数学中的公理化方法与结构方法 公理化方法在近代数学的发展中起着基本的作用，它的思想对各门现代数学理论的系统形成有着深刻的影响，而数学结构方法则是全面整理和分析数学的一种十分合理的方法，其观点曾导致一场几乎席卷世界的数学教学改革运动，即“新数学”运动。两种方法均是用来构建数学理论体系的，一个是局部，一个是整体。本章将概括介绍这两种思想方法，从中领略数学理论构建的一般思想方法。 §4.1公理化方法的历史概述 众所周知，在长达一千多年的光辉灿烂的希腊文化中，哲学、逻辑学、几何学得到了很大的发展，特别是哲学家和逻辑学家亚里斯多德，总结了前人所发现和创立的逻辑知识，以完全三段论作为出发点，用演绎的方法推导出其余十九个不同格式的所有三段论，创立了人类历史上第一个公理化方法，即逻辑公理化方法，从而为数学公理化方法创造了条件。 数学家欧几里德以亚里斯多德演绎逻辑为工具，总结了人类长期以来所积累的大量几何知识，于公元前300年代完成了他的名著《几何原本》，《几何原本》是演绎逻辑与几何相结合的产物，因此，它的出现使演绎逻辑第一次成功地应用于数学。反过来也推动了形式逻辑的大发展。 欧几里德《几何原本》是有史以来用公理化思想方法建立起来的第一门演绎数学，在数学史上被树为划时代的里程碑。而且成为以后很长时期严格证明的典范，人们还把严密的逻辑推理和完善的逻辑结构看成是古典几何成熟的标志。当然，现在看来