欧几里得几何完善
公理化方法已经几乎渗透于数学的每一个领域,对数学的发展产生了不可估量的影响,公理化结构已成为现代数学的主要特征。而作为完成公理化结构的最早典范的《几何原本》,用现代的标准来衡量,在逻辑的严谨性上还存在着不少缺点。如一个公理系统都有若干原始概念(或称不定义概念),如点、线、面就属于这一类。欧几里德对这些都做了定义,但定义本身含混不清。另外,其公理系统也不完备,许多证明不得不借助于直观来完成。此外,个别公理不是独立的,即可以由其他公理推出。这些缺陷直到1899年德国数学家希尔伯特的在其《几何基础》出版时得到了完善。在这部名著中,希尔伯特成功地建立了欧几里德几何的完整、严谨的公理体系,即所谓的希尔伯特公理体系。这一体系的建立使欧氏几何成为一个逻辑结构非常完善而严谨的几何体系。也标志着欧氏几何完善工作的终结。
欧几里得几何意义
由于欧式几何具有鲜明的直观性和有着严密的逻辑演绎方法相结合的特点,在长期的实践中表明,它巳成为培养、提高青、少年逻辑思维能力的好教材。历史上不知有多少科学家从学习几何中得到益处,从而作出了伟大的贡献。
少年时代的牛顿在剑桥大学附近的夜店里买了一本《几何原本》,开始他认为这本书的内容没有超出常识范围,因而并没有认真地去读它,而对笛卡儿的“坐标几何”很感兴趣而专心攻读。后来,牛顿于1664年4月在参加特列台奖学金考试的时候遭到落选,当时的考官巴罗博士对他说:“因为你的几何基础知识太贫乏,无论怎样用功也是不行的。”这席谈话对牛顿的震动很大。于是,牛顿又重新把《几何原本》从头到尾地反复进行了深入钻研,为以后的科学工作打下了坚实的数学基础。
近代物理学的科学巨星爱因斯坦也是精通几何学,并且应用几何学的思想方法,开创自己研究工作的一位科学家。爱因斯坦在回忆自己曾走过的道路时,特别提到在十二岁的时候“几何学的这种明晰性和可靠性给我留下了一种难以形容的印象”。后来,几何学的思想方法对他的研究工作确实有很大的启示。他多次提出在物理学研究工作中也应当在逻辑上从少数几个所谓公理的基本假定开始。在狭义相对论中,爱因斯坦就是运用这种思想方法,把整个理论建立在两条公理上:相对原理和光速不变原理。
在几何学发展的历史中,欧几里得的《几何原本》起了重大的历史作用。这种作用归结到一点,就是提出了几何学的“根据”和它的逻辑结构的问题。在他写的《几何原本》中,就是用逻辑的链子由此及彼的展开全部几何学,这项工作,前人未曾作到。
但是,在人类认识的长河中,无论怎样高明的前辈和名家,都不可能把问题全部解决。由于历史条件的限制,欧几里得在《几何原本》中提出几何学的“根据”问题并没有得到彻底的解决,他的理论体系并不是完美无缺的。比如,对直线的定义实际上是用一个未知的定义来解释另一个未知的定义,这样的定义不可能在逻辑推理中起什么作用。又如,欧几里得在逻辑推理中使用了“连续”的概念,但是在《几何原本》中从未提到过这个概念。