Euclid after Computer Proof-Checking

DOI10.1080/00029890.2022.2069985MaRDI QIDQ5094535zbMATH OpenOpenAlexWikidataFDO

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

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 3119278 (Why is no real title available?)
• scientific article; zbMATH DE number 3152667 (Why is no real title available?)
• scientific article; zbMATH DE number 3899653 (Why is no real title available?)
• scientific article; zbMATH DE number 3627123 (Why is no real title available?)
• scientific article; zbMATH DE number 1461211 (Why is no real title available?)
• scientific article; zbMATH DE number 3219315 (Why is no real title available?)
• scientific article; zbMATH DE number 3363463 (Why is no real title available?)
• A synthetic proof of Pappus' theorem in Tarski's geometry
• Axioms for Absolute Geometry. III
• Euclid vindicated from every blemish. Edited and annotated by Vincenzo De Risi. Translated from the Italian by G. B. Halsted and L. Allegri
• Euclid's common notions and the theory of equivalence
• Finding proofs in Tarskian geometry
• Formalization of the arithmetization of Euclidean plane geometry and applications
• Geography
• Leibniz on the continuity of space
• Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq
• Proof-checking Euclid
• Tarski's System of Geometry
• 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

Cited in

(3)

• Euclid After Computer Proof-checking
• On the notion of equal figures in Euclid
• Proof-checking 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)