摘要：欧几里得通过一系列合理的证明步骤，开创了从公理出发发展数学理论的概念。从一开始就有批评者和改进者。在本世纪，使用计算机来检查证明的正确性，确立了一个新的严密标准。在这样的审查下，欧几里得的理论如何表现？这个练习对几何学、数学基础以及逻辑与真理的关系有何教益？
作者：Michael Beeson
论文ID：2103.09623
分类：History and Overview
分类简称：math.HO
提交时间：2022-07-28
PDF 下载： 英文版 中文版pdf翻译中