Ensuring Generality in Euclid’s Diagrammatic Arguments

DOI10.1007/978-3-540-87730-1_21zbMath1189.03018OpenAlexW1577387048MaRDI QIDQ3535659

John Mumma

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

Mathematics Subject Classification ID

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