灯下 登录
数学 / 非欧几何原作选 / 证明失败变成结构分析

平行公理的独立感

本单元对应《Appendix Scientiam Spatii absolute veram exhibens》中关于“平行公理的独立感”的选译导读;拉丁题名中的 absolute 指不预设欧氏平行公理的几何部分。

The failure to derive the parallel axiom becomes evidence for a structural split.

无法推出平行公理,反而提示几何结构出现分支。

读“平行公理的独立感”时,重点不是把鲍耶的拉丁文改写成现代教科书,而是看他怎样在短篇幅里压出一套分支逻辑。先保留绝对命题,再承认平行公理处有选择,非欧几何才不是反证法的副产品。

可与罗巴切夫斯基的 non-euclidean-originals/geom-02 对读;总线见 math-meta/topic-noneuclidean-history