On the inconsistency of Mumma's Eu

DOI10.1215/00294527-1626509MaRDI QIDQ424577zbMATHOpenAlexFDO

Authors Nathaniel Miller

Publication date 1 June 2012

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

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

zbMATH Keywords

geometrydiagramscase analysis

Mathematics Subject Classification ID

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

Recommendations

• Ensuring Generality in Euclid’s Diagrammatic Arguments
• The Eu approach to formalizing Euclid: a response to ``On the inconsistency of Mumma's Eu
• Constructive geometrical reasoning and diagrams
• A FORMAL SYSTEM FOR EUCLID’SELEMENTS
• Proofs, pictures, and Euclid
• scientific article; zbMATH DE number 2086737
• Diagrammatic reasoning in Euclid's Elements
• Prolegomena to a cognitive investigation of Euclidean diagrammatic reasoning

Cites work

• scientific article; zbMATH DE number 3119278 (Why is no real title available?)
• scientific article; zbMATH DE number 5505771 (Why is no real title available?)
• Computational complexity of diagram satisfaction in Euclidean geometry
• Ensuring Generality in Euclid’s Diagrammatic Arguments
• Euclid and his twentieth century rivals. Diagrams in the logic of Euclidean geometry
• Proofs, pictures, and Euclid

Cited in

(7)

• Ensuring Generality in Euclid’s Diagrammatic Arguments
• Operationalism: an interpretation of the philosophy of ancient Greek geometry
• The Eu approach to formalizing Euclid: a response to ``On the inconsistency of Mumma's Eu
• Logic of imagination. Echoes of Cartesian epistemology in contemporary philosophy of mathematics and beyond
• Prolegomena to a cognitive investigation of Euclidean diagrammatic reasoning
• Proof-checking Euclid
• Diagrams in mathematics

This page was built for publication: On the inconsistency of Mumma's Eu

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