AI哲学_吴怀宇(中国科学院)分享 http://blog.sciencenet.cn/u/wuhuaiyu 博士教授。中科院博士、北京大学博士后、中国3D科技创新产业联盟副理事长、三体科技研究院院长,受聘多家机构的高端领军人才/导师//教授/研究员

博文

2.11、欧几里得(公元前330—前275):公理化的推理

已有 654 次阅读 2026-4-19 00:13 |系统分类:观点评述

opendai_logo.gif

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

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

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

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

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

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

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

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

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

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



https://blog.sciencenet.cn/blog-4099-1530993.html

上一篇:5.9.20、AI(像咨询解答员、事不关己)与HI(自我意识、自私才能用心)
下一篇:2.13、朱熹(1130—1200):天理与格物致知
收藏 IP: 180.79.10.*| 热度|

1 许培扬

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2026-4-22 11:59

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部