On the inconsistency of Mumma's Eu

DOI10.1215/00294527-1626509zbMath1248.03022OpenAlexW2131516971MaRDI QIDQ424577

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

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

Related Items (6)

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

Cites Work

• Proofs, pictures, and Euclid
• Computational complexity of diagram satisfaction in Euclidean geometry
• Ensuring Generality in Euclid’s Diagrammatic Arguments
• Unnamed Item
• Unnamed Item
• Unnamed Item

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