Constructive geometrical reasoning and diagrams

DOI10.1007/S11229-011-9981-XzbMATH Open1274.03017OpenAlexW2002112344MaRDI QIDQ375270FDOQ375270

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

Recommendations

• Euclid and his twentieth century rivals. Diagrams in the logic of Euclidean geometry
• The role of geometric content in the diagrammatic reasoning of Euclid
• scientific article; zbMATH DE number 972598
• On Euclidean diagrams and geometrical knowledge
• Human diagrammatic reasoning and seeing-as

Mathematics Subject Classification ID

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

Cites Work

• A common axiom set for classical and intuitionistic plane geometry
• The axioms of constructive geometry
• Title not available (Why is that?)
• A FORMAL SYSTEM FOR EUCLID’SELEMENTS
• Title not available (Why is that?)
• Formalization of Hilbert's geometry of incidence and parallelism
• Axiomatizing geometric constructions
• Constructivity in Geometry
• Title not available (Why is that?)
• Title not available (Why is that?)
• PASCH’S PHILOSOPHY OF MATHEMATICS
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proofs, pictures, and Euclid

Cited In (13)

• Logic of imagination. Echoes of Cartesian epistemology in contemporary philosophy of mathematics and beyond
• Euclid and his twentieth century rivals. Diagrams in the logic of Euclidean geometry
• On the inconsistency of Mumma's Eu
• Title not available (Why is that?)
• Diagrammatic Representation and Inference
• Title not available (Why is that?)
• Newton's experimental proofs
• On Euclidean diagrams and geometrical knowledge
• The Eu approach to formalizing Euclid: a response to ``On the inconsistency of Mumma's Eu
• Constructibility and Geometry
• Can We “Show” the Correctness of Reasoning? On the Role of Diagrammatic Spatialization in Logical Justification
• Title not available (Why is that?)
• Reliability of mathematical inference

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q375270)