Ensuring Generality in Euclid’s Diagrammatic Arguments
From MaRDI portal
Publication:3535659
DOI10.1007/978-3-540-87730-1_21zbMath1189.03018OpenAlexW1577387048MaRDI QIDQ3535659
Publication date: 13 November 2008
Published in: Diagrammatic Representation and Inference (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-87730-1_21
Foundations of classical theories (including reverse mathematics) (03B30) Euclidean geometries (general) and generalizations (51M05) History of Greek and Roman mathematics (01A20)
Related Items (3)
Diagrams in the theory of differential equations (eighteenth to nineteenth centuries) ⋮ On the inconsistency of Mumma's Eu ⋮ The Eu approach to formalizing Euclid: a response to ``On the inconsistency of Mumma's Eu
This page was built for publication: Ensuring Generality in Euclid’s Diagrammatic Arguments