古希腊数学中的公理化思想及其历史发展

《古希腊数学中的公理化思想及其历史发展》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、古希腊数学中的公理化思想及其历史发展摘要:欧几里得几何是第一个公理化体系，非欧几何的出现促使人们对它的基础作了严格审视，其中希尔伯特公理化方法最为成功；但它的相容性问题一直没有解决，集合论悖论使得这个问题更加尖锐。虽然集合论的公理化一度时期曾化解了悖论给公理化方法所带来的危机，但不久哥德尔不完全性定理就深刻地揭露了公理化方法不可避免的局限性。尽管后来的布尔巴基学派的结构数学使公理化方法更上一层楼，但仍然无法克服公理化方法本身的局限性。关键词:欧几里得几何；公理化；相容性；历史发展；局限性1欧几里得以前的几何学人类最初的几何知识是从对形的直觉中萌发出来的，不过在不

2、同的地区，几何学的这种实践来源方向不尽相同。古埃及几何学产生于尼罗河泛滥后土地的重新丈量；古代中国几何学的起源更多地与天文观测相联系；古代印度几何学的起源则与宗教实践密切相关。当古代实用几何知识积累到一定阶段时，对它们进行系统整理与理论概括必然形成趋势。向理论数学的过渡，大约是公元前6世纪在地中海沿岸开始的，它带来了初等数学的第一个黄金时代，以论证几何为主的希腊数学时代。论证数学鼻祖的荣耀归于泰勒斯，据称他领导的爱奥尼亚学派首开希腊命题证明之先河，他自己证明了不少定理，其中包括那条至今仍被称作“泰勒斯定理”的命题:半圆上的圆周角是直角。论证数学的成长归功于毕达哥

3、拉斯及其在克洛托内创建的秘密会社，普遍的认识是欧几里得《原本》前两卷的大部分材料均来源于毕达哥拉斯学派。毕达哥拉斯学派另一项几何成就是正多面体作图，他们称正多面体为“宇宙形”。在三维空间仅有的五种正多面体中，毕达哥拉斯及其学派成员先后解决了它们的作图问题。在所有正多面体中,正十二面体最为引人注目，这是因为它的每个面都是五边形，其作图问题涉及到了所谓的“黄金分割”。毕达哥拉斯以后，在作为希腊民主政治与经济文化中心的雅典及其周边地区，先后涌现出了众多的学术派别。这些学派虽然主要从事哲学讨论，但他们的研究活动同时也极大地加快了希腊数学的理论化进程。雅典时期，数学中的演

4、绎化倾向有了实质性的进展，这主要应归功于柏拉图、亚里士多德和他们的学派。柏拉图开设的雅典学院，据说大门上写着“不懂几何者莫入”。柏拉图本人在数学上虽未取得什么具体成就，但对数学研究的方法却颇多贡献。分析法与归谬法即被认为是他的思想，他给出了许多几何定义，并坚持对数学知识作演绎整理。柏拉图的思想在他的学生与同事亚里士多德那里得到发展和完善。亚里士多德对定义作了精密的讨论，并指出需要有未加定义的名词，他也深入研究了作为数学推理出发点的基本原理，并将它们区分为公理和公设。亚里士多德最重大的贡献是将前人使用的数学推理规律规范化和系统化，从而创立了独立的逻辑学，其中的基本

5、逻辑原理矛盾律和排中律，成为数学间接证明的核心。亚里士多德的形式逻辑被后人奉为演绎推理的圣经，在当时则为欧几里得演绎几何体系的形成奠定了方法论的基础。2欧几里得《原本》与公理化在希腊数学史上，欧几里得具有承前启后的作用。他是希腊论证几何学的集大成者，更是亚历山大数学学派的奠基人。他对数学或者说整个人类文明史的贡献，主要体现在他的鸿篇巨著《原本》当中。这部杰作的出台亮相，使以前所有有关数学原理的书册黯然失色。“原本”的希腊文原意是指一个学科中最重要的定理，如同字母之于语言的作用一样，它们必须具有最一般最广泛的应用。《原本》所包含的正是这样一些数学定理，欧几里得在这

6、里运用公理法则对当时的数学知识进行了系统化、理论化的总结。全书共分13卷，包括5条公理、5条公设、119个定义和465条命题，构成了人类文明史上第一个演绎数学的公理化体系。其中5条公理为:1)等于等量的量彼此相等；2)等量加等量和相等；3)等量减等量差相等；4)彼此重合的图形是全等的；5)整体大于部分。5条公设为:1)从任意一点到任意一点可做一条直线；2)一条有限直线可不断延长；3)一任意中心和直径可以画圆；4)凡直角都彼此相等；5)若一直线落在两直线上所构成的同旁内角和小于两直角，那么把两直线无限延长，它们将在同旁内角和小于两直角的一侧相交。基本定义有:点是没

7、有部分的；线是没有宽度的长；面是只有长度和宽度的；直线是与其上的点相平齐的线；平面是与其上的线均匀平放着的面等等。3非欧几何及其对公理化的影响直到18世纪末，几何领域仍然是欧几里得一统天下。解析几何改变了几何研究的方法，但没有从实质上改变欧几里得几何本身的内容。解析方法的运用虽然在相当长的时间内冲淡了人们对综合几何的兴趣，但欧几里得几何作为数学严格性的典范始终保持着神圣的地位。许多学者都视欧几里得几何为绝对真理。然而，这种近乎科学“圣经”的几何学并非无懈可击。在对欧氏几何的疑惑中，第五公设或称平行公理首当其冲。在欧几里得的所有公理中，这条公理表述明显较其他公理复

8、杂，而且它在《原本》中出