sx0709公理化方法.doc

专题9 公理化方法的四个发展阶段 每一科学理论包括一组概念和一组真的命题。当对某一概念的涵义有疑问时，我们就通过另外一些概念来刻划它，这就是定义。同样，当对某一命题的真实性有疑问时，我们就从其他一些已知为真的命题根据演绎推理的规则把它推演出来，这就是证明。在数学中，一般要求概念都要是明确定义了的，命题（定理）都要是经过证明的。但是，定义和证明必须有它们的出发点，否则就会发生“恶性循环”。因此，我们必须选出少数不加定义的概念和不加证明的命题作为出发点。这些不加定义的概念，称为原始概念；由原始概念定义的概念，称为定义概念。不加证明的命题，称为原始命题或公理；从公理推演出来的命题，称为定理。公理化方法就是运用严格的逻辑演绎规则，从原始概念和公理出发，定义其他一切概念，推演出其他一切定理，从而建立理论体系的方法。从历史上看，公理化方法的发展大体上经历了四个阶段：实质公理系统，从实质公理系统向形式公理系统的过渡，形式公理系统，以形式系统为研究对象的元数学。 一、实质公理系统 1．希腊：公理化方法的开端 希腊人建立公理化的演绎数学体系的主要历程 ⑴ 泰勒斯 (Thales，约 624～547 B.C.)，把“证明”引入数学 泰勒斯是古希腊哲学、科学鼻祖，他所创立的爱奥尼亚学派是古希腊哲学、科学思想的源头。他认识到数学需要证明，并最早给出一批数学命题的证明。这是使数学由经验上升到理论的最早努力，真正意义上的数学科学由此发端。 ⑵ 毕达哥拉斯 (Pythagoras，约 572─497 B.C.)，发展证明思想与方法 命题的逻辑证明。注意到数学证明的逻辑顺序。对数与图形的广泛研究。不可通约量的发现。 ⑶ 希波克拉底 (Hippocrates of Chios，公元前 5世纪)，引入“公理”的思想 ⑷ 柏拉图 ( Plato) 学派 (活跃于公元前 4世纪)，发展公理及证明方法 圆锥曲线：梅内克莫斯 (Menaechmus，公元前 4世纪) ，因研究倍立方体问题而引入，用三种圆锥 [直角，锐角，钝角的] 及垂直于锥面一母线的平面截割生成。 不可通约量的分类：泰阿泰德（Theaetetus），收入欧几里得《原本》第十卷。在二次幂中可通约的不可通约量；在二次幂中不可通约的不可通约量。 对五种正多面体的研究：收入欧几里得《原本》第13卷。 公理化方法及证明方法的发展。 ⑸ 攸多克色斯（ Eudoxus，约 408～355 B.C.），量的公理，用公理化方法重建比例理论 ① 借助于五条公理建立了量的概念。 ② 引入了对等公理（Eudoxus-Archimedes公理) ：如果能把两个量 a、b 的任一量倍增后超过另一个量，则 a、b 有一个比。 ⑹ 亚里士多德 ( Aristotle，384～322 B.C.)，逻辑学 对公理体系的进一步讨论。对无穷的讨论。创立逻辑学。 ⑺ 欧几里得 (Euclid，约 330～275 B.C.)，《原本》，实质公理系统 第 1篇中的部分定义：1.点是没有部分的那种东西。 2.线是没有宽度的长度。 3.一线的两端是点。4.直线是同其中各点看齐的线。 5.面是只有长度和宽度的那种东西。 6.面的边缘是线。 7.平面是与其上直线看齐的那种面。…… 15.圆是包含在一 (曲) 线里的那种平面图形，使从其内某一点联到该线的所有直线都彼此相等。 16.于是那个点便叫圆的中心。…… 23.平行直线是这样一些直线，它们在同一平面内，而且往两个方向无限延长后在两个方向上都不会相交。 公设。1.从任一点到任一点作直线 [是可能的] 。2.把 [有限] 直线不断循直线延长 [是可能的] 。3.以任一点为中心和任一距离 [为半径]作一圆 [是可能的] 。4.所有直角彼此相等。5.若一直线与两直线相交，且若同侧所交两内角之和小于两直角, 则两直线无限延长后必相交于该侧的一点。 公理。1.与同一个量相等的一些量, 它们彼此也是相等的。2.等量加等量, 总量仍相等。3.等量减等量，余量仍相等。4.彼此重合的东西是相等的。5.整体大于部分。 大多数古希腊数学家和哲学家把“公设”和“公理”加以区别。至少有三点区别是各方面都赞成的：①公理是关于某事物的自明的、假定的陈述；公设是某事物的自明的、假定的作图. 这样, 公理和公设之间的关系就很象定理和作图问题之间的关系。②公理是对于所有科学通用的假设; 公设是所研究的特殊科学所特有的假设。③公理是对于学习者既明显又可接受的假设; 公设是对于学习者既不一定明显又不一定可接受的假设。这一条实际上是亚里士多德 (Aristotle ) 所作的区别。 欧几里得《原本》的基本结构和大致内容