From Euclidean geometry to knots and nets
From MaRDI portal
Publication:2053353
DOI10.1007/S11229-017-1558-XzbMATH Open1475.00010OpenAlexW2750648893MaRDI QIDQ2053353FDOQ2053353
Authors: Brendan Larvor 
Publication date: 29 November 2021
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2299/21444
Recommendations
Cites Work
- Dense sphere packings. A blueprint for formal proofs
- A FORMAL SYSTEM FOR EUCLID’SELEMENTS
- Title not available (Why is that?)
- On formal and informal provability
- Title not available (Why is that?)
- Why Do We Believe Theorems?
- On proof and progress in mathematics
- And so on \dots : reasoning with infinite diagrams
- Title not available (Why is that?)
- How to think about informal proofs
- Why Do We Prove Theorems?
- Title not available (Why is that?)
- The Derivation-Indicator View of Mathematical Practice
- Diagrams and Proofs in Analysis
- A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
- Representation and productive ambiguity in mathematics and the sciences
- Confronting ideals of proof with the ways of proving of the research mathematician
- Proofs, pictures, and Euclid
- Towards a new epistemology of mathematics
- Forms and roles of diagrams in knot theory
- Title not available (Why is that?)
- Heterogeneous Reasoning and Its Logic
- Why do mathematicians need different ways of presenting mathematical objects? The case of Cayley graphs
- Informal proof, formal proof, formalism
- Title not available (Why is that?)
- Skills and mathematical knowledge
- Mathematical knowledge and the interplay of practices
- Cutting up graphs revisited -- a short proof of Stallings' structure theorem.
- Why do informal proofs conform to formal norms?
- 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
- 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
- Prove—Once More and Again
- Title not available (Why is that?)
- An inquiry into the practice of proving in low-dimensional topology
- The relationship of derivations in artificial languages to ordinary rigorous mathematical proof
- `Chasing' the diagram -- the use of visualizations in algebraic reasoning
Cited In (11)
- Title not available (Why is that?)
- RIGOUR AND PROOF
- The material reasoning of folding paper
- The role of syntactic representations in set theory
- That we \textit{see} that some diagrammatic proofs are perfectly rigorous
- On mathematical towers of Babel and ``translation as an epistemic category
- 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
- Reconciling \textit{Rigor and intuition}
- Rigour and intuition
- Geometry of Euclidean tetrahedra and knot invariants
Uses Software
This page was built for publication: From Euclidean geometry to knots and nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2053353)
