不需证明的常识认知公理,经受逻辑限制的证明真的陈述定理。
欧几十条公理推导465条定理,465条定理构造了整经典几何世界。
各国中生所习的几何母版,其实就是欧几著两千年前的《几何原本》。
《几何原本》在世界范围内的版行数量仅次《圣经》,我依旧在习两千年前的几何教材,或许将继续习两千年。就是“经典教材”的定义。
欧几先设定公理再证明定理,从推导整经典几何世界的严谨思维令人惊叹。即便在今,逻辑推理思维与整体构筑力堪称变态。
唯一的疑点是,“欧几五公设”的常识认知值商榷。
欧几最早设定的10常识认知,其实是5公理+5公设。
近代数将公设与公理合并,常识的认知统称公理。
“欧几五公设”所描述的常识认知,等价表示:已知直线外一点,且仅一条直线与已知直线平行。
“五公设不难理解,并社数人的常识。”沈奇在黑板随手画了一条长达一米八的直线,非常的直,像是拿尺子比的。
“我问山姆,嘿山姆,已知直线外一点几条直线与已知直线平行?”
“山姆告诉我,……(内容加载失败!)
(ò﹏ò)
抱歉,章节内容不支持该浏览器显示~
【为了使用完整的阅读功能】
请考虑使用〔Chrome 谷歌浏览器〕、〔Safari 苹果浏览器〕或者〔Edge 微软浏览器〕等原生浏览器阅读!
谢谢!!!