走向几何的机械化——评Hilbert的名著《几何原理》 |
| |
引用本文: | 吴文俊.走向几何的机械化——评Hilbert的名著《几何原理》[J].数学物理学报(A辑),1982(2). |
| |
作者姓名: | 吴文俊 |
| |
作者单位: | 中国科学院系统科学研究所 |
| |
摘 要: | 1899年出版的Hilbert的名著《几何原理》(Grundlagen der Geometrie)的巨大功绩是普遍公认的,它是数学公理化的代表作,特别是奠定了Euclid几何的严密基础。然而,这一名著的另一巨大功绩(在作者看来,
|
本文献已被 CNKI 等数据库收录! |
|