On the inconsistency of Mumma's Eu
From MaRDI portal
Publication:424577
DOI10.1215/00294527-1626509zbMATH Open1248.03022OpenAlexW2131516971MaRDI QIDQ424577FDOQ424577
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
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
Foundations of classical theories (including reverse mathematics) (03B30) Euclidean geometries (general) and generalizations (51M05) Geometric constructions in real or complex geometry (51M15)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Euclid and his twentieth century rivals. Diagrams in the logic of Euclidean geometry
- Ensuring Generality in Euclid’s Diagrammatic Arguments
- Proofs, pictures, and Euclid
- Computational complexity of diagram satisfaction in Euclidean geometry
Cited In (7)
- Logic of imagination. Echoes of Cartesian epistemology in contemporary philosophy of mathematics and beyond
- Diagrams in mathematics
- Proof-checking Euclid
- Operationalism: an interpretation of the philosophy of ancient Greek geometry
- Ensuring Generality in Euclid’s Diagrammatic Arguments
- Prolegomena to a cognitive investigation of Euclidean diagrammatic reasoning
- The Eu approach to formalizing Euclid: a response to ``On the inconsistency of Mumma's Eu
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)
