吴怀宇
2.11、欧几里得(公元前330—前275):公理化的推理
2026-4-19 00:13
阅读:663

opendai_logo.gif

「AI哲学」让人类“为自身立命”与“为AI立心”。

欧几里得,古希腊数学家,“几何之父”。编写的《几何原本》,被用作教科书长达两千多年。

他从少数几个公理出发,运用逻辑推理证明了数百个几何定理和公式,成为构建任何严密知识体系的典范。

点击+号关注本账号,可获得更多精彩内容。

欧几里得(Euclid,约公元前330年—公元前275年),古希腊数学家,被称为“几何之父”。欧几里得曾就读于柏拉图学园,受到柏拉图数学思想的深刻影响。

欧几里得最著名的贡献是编写了《几何原本》(Elements),全书共13卷,从少数几个不证自明的公理和公设出发,运用逻辑推理的方法证明了数百个几何定理和公式,构建起了完整严密的欧氏几何体系。在《几何原本》中,欧几里得提出了著名的五大公设,并使用公理化的方法,这一方法后来成了构建任何严密知识体系的典范。

欧几里得的《几何原本》被用作教科书长达两千多年,它不仅在欧洲,也在伊斯兰世界和亚洲其他地区广泛传播。这部著作对数学的严密性和逻辑性有着深远的影响。他的工作为后来的数学家,如阿基米德和托勒密等,提供了坚实的基础。

更详细内容,请见本书的完整版。如果你有任何感想,请在评论区留言,一起讨论。

“AI哲学一吴怀宇”(中国科学院博士、北大博士后)作者主页:www.OpenDAI.org;邮件:huaiyuwu@sina.com

视频号/公众号:AI哲学一吴怀宇中国科学院(人工智能哲学)

转载本文请联系原作者获取授权,同时请注明本文来自吴怀宇科学网博客。

链接地址:https://wap.sciencenet.cn/blog-4099-1530993.html?mobile=1

收藏

当前推荐数:1
推荐人:
推荐到博客首页
网友评论0 条评论
确定删除指定的回复吗?
确定删除本博文吗?