An Inquiry into the Practice of Proving in Low-Dimensional Topology

DOI10.1007/978-3-319-10434-8_15zbMath1429.00008OpenAlexW1011640384MaRDI QIDQ5213637

Silvia De Toffoli, Valeria Giardino

Publication date: 4 February 2020

Published in: Boston Studies in the Philosophy and History of Science (Search for Journal in Brave)

Full work available at URL: https://philarchive.org/rec/DETAII

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) General low-dimensional topology (57Mxx)

Related Items

Visual proofs as counterexamples to the \textit{standard view} of informal mathematical proofs? ⋮ The role of syntactic representations in set theory ⋮ Why `scaffolding' is the wrong metaphor: the cognitive usefulness of mathematical representations ⋮ Reliability of mathematical inference ⋮ ‘CHASING’ THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING ⋮ Exploring the fruitfulness of diagrams in mathematics ⋮ From Euclidean geometry to knots and nets

Cites Work

• How to think about informal proofs
• Forms and roles of diagrams in knot theory
• Mathematical symbols as epistemic actions
• On proof and progress in mathematics
• Heterogeneous Reasoning and Its Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An Inquiry into the Practice of Proving in Low-Dimensional Topology