Proofs, pictures, and Euclid

DOI10.1007/S11229-009-9509-9zbMATH Open1198.03021OpenAlexW2081487758MaRDI QIDQ707897FDOQ707897

Authors: John Mumma 

Publication date: 8 October 2010

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-009-9509-9

Recommendations

• On Euclidean diagrams and geometrical knowledge
• Modes of Diagrammatic Reasoning in Euclid’s Elements
• Ensuring Generality in Euclid’s Diagrammatic Arguments
• From a particular diagram to a universal result: Euclid's Elements, book I
• Are Euclid’s Diagrams ‘Representations’? On an Argument by Ken Manders

zbMATH Keywords

diagramsEuclid's geometry

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 FORMAL SYSTEM FOR EUCLID’SELEMENTS
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Euclid and his twentieth century rivals. Diagrams in the logic of Euclidean geometry
• Why Do We Prove Theorems?
• Title not available (Why is that?)
• The Derivation-Indicator View of Mathematical Practice
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
• Visualization in Logic and Mathematics
• Title not available (Why is that?)
• Proofs and Pictures
• Title not available (Why is that?)
• The axiomatic method. With special reference to geometry and physics. Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957 -- January 4, 1958

Cited In (30)

• Logic of imagination. Echoes of Cartesian epistemology in contemporary philosophy of mathematics and beyond
• Pictures and proofs
• On the representational role of Euclidean diagrams: representing \textit{qua} samples
• Euclid and his twentieth century rivals. Diagrams in the logic of Euclidean geometry
• Diagrammatic reasoning in Euclid's Elements
• From Euclidean geometry to knots and nets
• Proof-checking Euclid
• Material representations in mathematical research practice
• On the inconsistency of Mumma's Eu
• The eco-cognitive model of abduction. Ἀπαγωγή now: naturalizing the logic of abduction
• Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams
• Modes of Diagrammatic Reasoning in Euclid’s Elements
• That we \textit{see} that some diagrammatic proofs are perfectly rigorous
• Operationalism: an interpretation of the philosophy of ancient Greek geometry
• On fluidity of the textual transmission in Abraham bar Ḥiyya's \textit{Ḥibbur ha-Meshiḥah ve-ha-Tishboret}
• Ensuring Generality in Euclid’s Diagrammatic Arguments
• What is a logical diagram?
• Schopenhauer on diagrammatic proof
• Prolegomena to a cognitive investigation of Euclidean diagrammatic reasoning
• The Eu approach to formalizing Euclid: a response to ``On the inconsistency of Mumma's Eu
• Carroll's infinite regress and the act of diagramming
• Cognitive artifacts for geometric reasoning
• Are Euclid’s Diagrams ‘Representations’? On an Argument by Ken Manders
• Can We “Show” the Correctness of Reasoning? On the Role of Diagrammatic Spatialization in Logical Justification
• Title not available (Why is that?)
• Title not available (Why is that?)
• The role of geometric content in the diagrammatic reasoning of Euclid
• Constructive geometrical reasoning and diagrams
• The twofold role of diagrams in Euclid's plane geometry
• From a particular diagram to a universal result: Euclid's Elements, book I

This page was built for publication: Proofs, pictures, and Euclid

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