Euclid after Computer Proof-Checking

DOI10.1080/00029890.2022.2069985WikidataQ113853655 ScholiaQ113853655MaRDI QIDQ5094535

Michael J. Beeson

Publication date: 3 August 2022

Published in: The American Mathematical Monthly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2103.09623

Mathematics Subject Classification ID

51M05: Euclidean geometries (general) and generalizations

51-03: History of geometry

03A99: Philosophical aspects of logic and foundations