‘CHASING’ THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING

DOI10.1017/S1755020316000277zbMath1417.00070MaRDI QIDQ5737966

Silvia De Toffoli

Publication date: 31 May 2017

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Foundations, relations to logic and deductive systems (18A15)

Related Items

Visual proofs as counterexamples to the \textit{standard view} of informal mathematical proofs?, Epistemic roles of diagrams in short proofs, ``Free rides in mathematics, Material representations in mathematical research practice, Reliability of mathematical inference, From Euclidean geometry to knots and nets, A Typology of Mathematical Diagrams

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Diagrammatic reasoning in Frege's \textit{Begriffsschrift}
• And so on \dots : reasoning with infinite diagrams
• Diagrams as sketches
• Forms and roles of diagrams in knot theory
• The genesis of Feynman diagrams.
• An Introduction to Category Theory
• Figures, Formulae, and Functors
• Formal Languages in Logic
• Epistemology of Visual Thinking in Elementary Real Analysis
• Heterogeneous Reasoning and Its Logic
• Part I. Topology and Abstract Algebra as Two Roads of Mathematical Comprehension
• Proof and Understanding in Mathematical Practice
• Seeing How It Goes: Paper-and-Pencil Reasoning in Mathematical Practice
• Diagrams and Proofs in Analysis
• An Inquiry into the Practice of Proving in Low-Dimensional Topology
• A FORMAL SYSTEM FOR EUCLID’SELEMENTS