2021/06/15 by Stephen Wolfram, Wolfram, Stephen
Mathematics · #FOS: Mathematics #History and Overview (math.HO) #History and Theory of Mathematics
paper · pdf · doi:10.48550/arxiv.2107.07337
openalex publication_date 2021/06/15 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
As an example of empirical metamathematics, we present a detailed study of the dependency structure of the 465 theorems in Euclid's Elements, finding empirical signatures of concepts such as the power of a theorem. We apply similar methods to a more exhaustive study of possible theorems in logic, as well as to the analysis of dependency structures in projects to formalize modern pure mathematics. We discuss the process of identifying both intrinsic features of metamathematical space, and features of its exploration through the historical progress of mathematics.