On the inconsistency of Mumma's Eu
From MaRDI portal
Publication:424577
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)