希尔伯特整得很苦,后来的外尔和科尔莫戈罗夫整清楚了


所有跟贴·加跟贴·新语丝读书论坛

送交者: 猩猩人类 于 2007-01-22, 18:04:53:

回答: Xinku:在我们熟知的欧几里德几何中,是否存在“不完备”的例子? 由 Palmetto 于 2007-01-22, 17:53:58:

“希尔伯特公理体系使欧氏几何学完备化,但并没有在集合论的基础上建立起几何学的数学结构。希尔伯特几何学里所研究的对象——点、直线和平面是分别作为独立存在的基本概念,并没有把直线和平面看作是点的集合。希尔伯特公理体系有5组20条公理,其中不少公理叙述冗长而繁琐,用公理来推演其他几何定理既冗繁又无统一的方法。

外尔于1918年借用代数学中的向量空间作为辅助结构,建立了几何学的向量结构。科尔莫戈罗夫借助正实数系作为辅助结构,建立了几何学的度量结构。二者都建立在集合论之上。


——参看猩猩人类《帮辽河派《黎鸣四色猜想证明是错误的的根本原因》补充两个实例》




所有跟贴:


加跟贴

笔名: 密码: 注册笔名请按这里

标题:

内容: (BBCode使用说明)