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