欧几里得及后世理论的实证元数学
历史与综述
2021-07-16 v1
摘要
作为实证元数学的一个范例，我们针对《几何原本》中 465 个定理的依赖结构进行了详细研究，发现了诸如定理效力等概念的实证特征。我们将类似方法应用于对逻辑中可能的定理更为详尽的考察，以及现代纯数学形式化项目的依赖结构分析。我们讨论了识别元数学空间内在特征，以及通过数学历史进程对其探索之特征的过程。
引用
@article{arxiv.2107.07337,
title = {The Empirical Metamathematics of Euclid and Beyond},
author = {Stephen Wolfram},
journal= {arXiv preprint arXiv:2107.07337},
year = {2021}
}