Visual proofs as counterexamples to the \textit{standard view} of informal mathematical proofs?

DOI10.1007/978-3-031-15146-0_3zbMath1524.00011OpenAlexW4294837559MaRDI QIDQ6108742

Simon Weisgerber

Publication date: 26 July 2023

Published in: Diagrammatic Representation and Inference (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-15146-0_3

zbMATH Keywords

visual proofsmathematical practicemathematical rigorstandard view

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Methodology of mathematics (00A35)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Euler's 1760 paper on divergent series
• Why do informal proofs conform to formal norms?
• Reliability of mathematical inference
• Rigor and Structure
• A Problem with the Dependence of Informal Proofs on Formal Proofs
• Visible Structures in Number Theory
• The Derivation-Indicator View of Mathematical Practice
• Diagrams and Proofs in Analysis
• MATHEMATICAL RIGOR AND PROOF
• An Inquiry into the Practice of Proving in Low-Dimensional Topology
• That We See That Some Diagrammatic Proofs Are Perfectly Rigorous
• ‘CHASING’ THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING

This page was built for publication: Visual proofs as counterexamples to the \textit{standard view} of informal mathematical proofs?