公理化思想及构成公理化体系的要求.ppt

该【公理化思想及构成公理化体系的要求 】是由【相惜】上传分享，beplayapp体育下载一共【17】页，该beplayapp体育下载可以免费在线阅读，需要了解更多关于【公理化思想及构成公理化体系的要求 】的内容，可以使用beplayapp体育下载的站内搜索功能，选择自己适合的beplayapp体育下载，以下文字是截取该文章内的部分文字，如需要获得完整电子版，请下载此beplayapp体育下载到您的设备，方便您编辑和打印。欧几里得与《原本》Euclid〔about325BC-about265BC〕.?几何原本?欧几里得〔EuclidofAlexandria;约公元前330?公元前275〕欧几里得的?几何原本?是用公理方法建立演绎数学体系的最早典范。..公理化方法使数学丰富的理论建立在最简单明了的、不容疑心的事实根底之上,容易明辨是非。比方,几何学的正确性归结于诸如“等量加等量,总量仍相等〞等公理体系的正确性。公理化方法也是数学逻辑严密性的一种表现。在人类的每一个认识领域,当经验知识积累到相当数量时,就需要进行综合、整理,使之条理化、系列化,从而形成新的概念理论以更新系统,以实现认识从感性阶段到理性阶段的飞跃。从理性认识的初级水平开展到高级水平,又表现为抽象程度更高的公理化体系。.公理体系定义公设、〔DavidHilbert;1862?1943〕1899年发表著名的?几何根底?一书。引入了20条公理和6个不加解释的定义,建立起新的几何公理体系。.公理体系的完善6个不加解释的定义包括:「点」、「线」、「面」、「通过」、「在…之间」、「相等」20条公理分成5組:关联公理〔?8〕、順序公理〔?4〕、合同公理〔?5〕、平行公理〔IV.〕、联系公理〔?2〕希尔伯特同时提出选择公理体系的原則:相容性、独立性、?几何原本?的批评书中有局部的定义不清晰,阅读后反而令人更迷惘。在论证过程之中,欧几里得使用了一些公理系统未有提及的假設。对第5公设的疑心。.第五公设〔平行公设〕第五公设:假设一直线落在两直线上所构成的同旁内角和小于两直角,那么把两直线无限延长,它们将在同旁内角和小于两直角的一侧相交。在欧氏几何的所有公设中,唯独这条公设显得比较特殊,它的表达不像其它公设那样简洁、明了,当时就有人疑心它不像是一个公设而更像是一个定理,并产生了从其它公设和定理推出这条公设的想法。欧几里得本人对这条公设似乎也心存犹豫,并竭力推迟它的应用,一直到卷Ⅰ命题29才不得不使用它。.对第五公设的证明历史上第一个宣称证明了第五公设的是古希腊天文学家托勒密〔约公元150〕,后来普洛克鲁斯指出托勒密的“证明〞无意中假定了过直线外一点只能作一条直线与直线平行。替代公设:过直线外一点有且只有一条直线与直线平行。.