Constructive geometrical reasoning and diagrams

DOI10.1007/s11229-011-9981-xzbMath1274.03017OpenAlexW2002112344MaRDI QIDQ375270

John Mumma

Publication date: 29 October 2013

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-011-9981-x

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Foundations of classical theories (including reverse mathematics) (03B30) Euclidean geometries (general) and generalizations (51M05) History of Greek and Roman mathematics (01A20) History of geometry (51-03)

Related Items (6)

Can We “Show” the Correctness of Reasoning? On the Role of Diagrammatic Spatialization in Logical Justification ⋮ Reliability of mathematical inference ⋮ Logic of imagination. Echoes of Cartesian epistemology in contemporary philosophy of mathematics and beyond ⋮ Newton's experimental proofs ⋮ Constructibility and Geometry ⋮ The Eu approach to formalizing Euclid: a response to ``On the inconsistency of Mumma's Eu

Cites Work

• Proofs, pictures, and Euclid
• Formalization of Hilbert's geometry of incidence and parallelism
• A common axiom set for classical and intuitionistic plane geometry
• The axioms of constructive geometry
• Axiomatizing geometric constructions
• Constructivity in Geometry
• PASCH’S PHILOSOPHY OF MATHEMATICS
• A FORMAL SYSTEM FOR EUCLID’SELEMENTS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Constructive geometrical reasoning and diagrams