Euclid after Computer Proof-Checking

DOI10.1080/00029890.2022.2069985OpenAlexW3137909112WikidataQ113853655 ScholiaQ113853655MaRDI QIDQ5094535FDOQ5094535

Authors: Michael 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

Recommendations

• Proof-checking Euclid
• scientific article; zbMATH DE number 994744
• Euclid—The Creation of Mathematics
• scientific article; zbMATH DE number 3974927
• The Proof is in the Pudding

Mathematics Subject Classification ID

History of geometry (51-03) Euclidean geometries (general) and generalizations (51M05) Philosophical aspects of logic and foundations (03A99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The development of Euclidean axiomatics. The systems of principles and the foundations of mathematics in editions of the \textit{Elements} in the early modern age
• Title not available (Why is that?)
• Title not available (Why is that?)
• Tarski's System of Geometry
• Geography
• Finding proofs in Tarskian geometry
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formalization of the arithmetization of Euclidean plane geometry and applications
• A synthetic proof of Pappus' theorem in Tarski's geometry
• Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq
• Euclid's common notions and the theory of equivalence
• Leibniz on the continuity of space
• Proof-checking Euclid
• Euclid vindicated from every blemish. Edited and annotated by Vincenzo De Risi. Translated from the Italian by G. B. Halsted and L. Allegri
• Axioms for Absolute Geometry. III

Cited In (1)

• On the notion of equal figures in Euclid

This page was built for publication: Euclid after Computer Proof-Checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5094535)