几何之公理化体系的发展.pptVIP

第九章 几何基础之 9.4近代公理法的产生及希尔伯特公理体系 提 纲 希尔伯特(Hilbert，David)公理体系 9.4.1 接合公理的推论举例 1.接合公理 2.接合公理分析 3.接合公理的推论 9.4.2 接合公理和顺序公理的推论举例 1.顺序公理 2.顺序公理分析 3.接合公理与顺序公理的推论 在人类认识的长河中，无论怎样高明的前辈和名家，都不可能把问题全部解决。欧几里得的“几何公理体系”也并不另外。有人就曾经列举过《几何原本》至少存在的以下五个方面的不足： 第一，定义含糊不清，有时无法理解，所用的都是一些日常用语，而不是精准的数学语言，如“点是没有部分的”，“线是有长度但是没有宽度的”等等。 第二，证明过程常常依赖直观，这样可能由于作图的不精准或直观错觉，导致得出不正确的结论。 第三，公理系不完备，缺少顺序公理、合同公理和连续公理（事实上欧几里得在逻辑推理中曾经使用了“连续”的概念，但是在《几何原本》中从未提到过这个概念）。 第四，有些公理不独立，例如第四公设“所有直角都相等”，很容易从其它公理推导出来。 第五，利用图形移动不变性，用重合来证明全等，此法至少有两点不足： 一是移动、重合概念没有逻辑依据， 二是为什么会有图形的移动不变性？ 哪些几何性质在图形移动中不变都没有交代清楚，也不可能交代清楚等。 为了克服以上缺陷，后来者，从多方面展开了研究。从公