Reconciling \textit{Rigor and intuition}
From MaRDI portal
Publication:6651278
DOI10.1007/s10670-020-00280-xMaRDI QIDQ6651278
Publication date: 10 December 2024
Published in: Erkenntnis (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Forms and roles of diagrams in knot theory
- Intentional gaps in mathematical proofs
- Topological invariants of knots and links.
- A lemma on systems of knotted curves.
- Reliability of mathematical inference
- A Problem with the Dependence of Informal Proofs on Formal Proofs
- “Theoretical mathematics”: toward a cultural synthesis of mathematics and theoretical physics
- Mathematical Knowledge and the Interplay of Practices
- The Unreal Life of Oscar Zariski
- Why Do We Prove Theorems?
- The fundamental class of smooth Kuranishi atlases with trivial isotropy
- The Derivation-Indicator View of Mathematical Practice
- MATHEMATICAL RIGOR AND PROOF
- An Inquiry into the Practice of Proving in Low-Dimensional Topology
- Knot Invariants in Vienna and Princeton during the 1920s: Epistemic Configurations of Mathematical Research
- Mathematical formalization and diagrammatic reasoning: the case study of the braid group between 1925 and 1950
- ‘CHASING’ THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING
- Envisioning transformations -- the practice of topology
- Rigour and intuition
This page was built for publication: Reconciling \textit{Rigor and intuition}