The Eu approach to formalizing Euclid: a response to ``On the inconsistency of Mumma's Eu

DOI10.1215/00294527-2019-0012zbMath1441.03014OpenAlexW2953568414MaRDI QIDQ2330505

John Mumma

Publication date: 22 October 2019

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1562033114

zbMATH Keywords

proof systemsdiagramsformalizationelementary geometry

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Geometric constructions in real or complex geometry (51M15) Foundations of classical theories (including reverse mathematics) (03B30) Euclidean geometries (general) and generalizations (51M05)

Related Items (1)

Are Euclid’s Diagrams ‘Representations’? On an Argument by Ken Manders

Cites Work

• Constructive geometrical reasoning and diagrams
• On the inconsistency of Mumma's Eu
• Proofs, pictures, and Euclid
• Ensuring Generality in Euclid’s Diagrammatic Arguments
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The Eu approach to formalizing Euclid: a response to ``On the inconsistency of Mumma's Eu