From Euclidean geometry to knots and nets
From MaRDI portal
Publication:2053353
DOI10.1007/s11229-017-1558-xzbMath1475.00010OpenAlexW2750648893MaRDI QIDQ2053353
Publication date: 29 November 2021
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2299/21444
Related Items
On mathematical towers of Babel and ``translation as an epistemic category ⋮ RIGOUR AND PROOF ⋮ The material reasoning of folding paper ⋮ The role of syntactic representations in set theory ⋮ On fluidity of the textual transmission in Abraham bar Ḥiyya's \textit{Ḥibbur ha-Meshiḥah ve-ha-Tishboret} ⋮ Mathematical formalization and diagrammatic reasoning: the case study of the braid group between 1925 and 1950
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- And so on \dots : reasoning with infinite diagrams
- How to think about informal proofs
- Forms and roles of diagrams in knot theory
- Confronting ideals of proof with the ways of proving of the research mathematician
- Proofs, pictures, and Euclid
- Towards a new epistemology of mathematics
- Why do mathematicians need different ways of presenting mathematical objects? The case of Cayley graphs
- Why do informal proofs conform to formal norms?
- INFORMAL PROOF, FORMAL PROOF, FORMALISM
- A Problem with the Dependence of Informal Proofs on Formal Proofs
- Why the Naïve Derivation Recipe Model Cannot Explain How Mathematicians’ Proofs Secure Mathematical Knowledge
- Cutting up graphs revisited – a short proof of Stallings' structure theorem
- Why Do We Believe Theorems?
- Reuben Hersh. Experiencing Mathematics: What Do We Do, When We Do Mathematics?. Providence, Rhode Island: American Mathematical Society, 2014. ISBN 978-0-8218-9420-0. Pp. xvii + 291
- Mathematical Knowledge and the Interplay of Practices
- Why Do We Prove Theorems?
- Prove—Once More and Again
- The Derivation-Indicator View of Mathematical Practice
- Heterogeneous Reasoning and Its Logic
- Diagrams and Proofs in Analysis
- An Inquiry into the Practice of Proving in Low-Dimensional Topology
- A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
- The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof
- ‘CHASING’ THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING
- A FORMAL SYSTEM FOR EUCLID’SELEMENTS
This page was built for publication: From Euclidean geometry to knots and nets
