灯下 登录
数学 / 非欧几何原作选 / 一致性的计算证据

解析公式的角色

本单元对应《平行线理论的几何研究》中关于“解析公式的角色”的选译导读;据 1840 德译本和 1887 facsimile 校读术语。

Analytic formulae help show that the new geometry is not collapsing into contradiction.

解析公式帮助说明新几何并没有立即走向矛盾。

严格的一致性模型后来才更清楚出现,但原作中的公式已经在提供稳定证据:如果推演能反复闭合,体系就不是一时悖论。

math-meta/topic-noneuclidean-history 对读;第五公设原句见 euclid-elements/book1-postulates,现代公理化回看见 hilbert-grundlagen/overview