Rigour and intuition
From MaRDI portal
Publication:6651277
DOI10.1007/s10670-019-00180-9MaRDI QIDQ6651277
Publication date: 10 December 2024
Published in: Erkenntnis (Search for Journal in Brave)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- How to think about informal proofs
- Informal proofs and mathematical rigour
- Confronting ideals of proof with the ways of proving of the research mathematician
- On types of knotted curves.
- Elementare Begründung der Knotentheorie.
- A lemma on systems of knotted curves.
- From Euclidean geometry to knots and nets
- Informal proof, formal proof, formalism
- Introduction to Smooth Manifolds
- Rigor and Structure
- Why Do We Believe Theorems?
- Why Proof? What is a Proof?
- Differential Topology
- Why Do We Prove Theorems?
- 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
- Envisioning transformations -- the practice of topology
Related Items (1)
This page was built for publication: Rigour and intuition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6651277)