On the inconsistency of Mumma's Eu
From MaRDI portal
Publication:424577
DOI10.1215/00294527-1626509zbMath1248.03022OpenAlexW2131516971MaRDI QIDQ424577
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
Geometric constructions in real or complex geometry (51M15) Foundations of classical theories (including reverse mathematics) (03B30) Euclidean geometries (general) and generalizations (51M05)
Related Items
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