Recommendations
Cites work
- scientific article; zbMATH DE number 5374957 (Why is no real title available?)
- scientific article; zbMATH DE number 5374958 (Why is no real title available?)
- scientific article; zbMATH DE number 5505771 (Why is no real title available?)
- scientific article; zbMATH DE number 5560595 (Why is no real title available?)
- scientific article; zbMATH DE number 5632146 (Why is no real title available?)
- scientific article; zbMATH DE number 4089488 (Why is no real title available?)
- scientific article; zbMATH DE number 3521895 (Why is no real title available?)
- scientific article; zbMATH DE number 1301813 (Why is no real title available?)
- scientific article; zbMATH DE number 1117975 (Why is no real title available?)
- scientific article; zbMATH DE number 2000106 (Why is no real title available?)
- scientific article; zbMATH DE number 2001186 (Why is no real title available?)
- scientific article; zbMATH DE number 755668 (Why is no real title available?)
- scientific article; zbMATH DE number 2108379 (Why is no real title available?)
- scientific article; zbMATH DE number 2113546 (Why is no real title available?)
- scientific article; zbMATH DE number 2204787 (Why is no real title available?)
- scientific article; zbMATH DE number 5218473 (Why is no real title available?)
- scientific article; zbMATH DE number 2243110 (Why is no real title available?)
- Confronting ideals of proof with the ways of proving of the research mathematician
- Diagrams and Proofs in Analysis
- Embodied strategies in mathematical cognition
- Explanation and Proof in Mathematics
- History and philosophy of modern mathematics. Proceedings of the conference, University of Minnesota, Minneapolis, MN, USA, May 17--19, 1985
- How and why mathematics is unique as a social practice
- Mathematical arguments in context
- On proof and progress in mathematics
- Perspectives on mathematical practices. Bringing together philosophy of mathematics, sociology of mathematics, and mathematics education. Based on the international conference on perspectives on mathematical practices (PMP2002), Vrije Universiteit Brussel, Brussel, Belgium, October 24--26, 2002
- Proof: some notes on a phenomenon between freedom and enforcement
- Proper Knot Theory in Open 3-Manifolds
- Representation and productive ambiguity in mathematics and the sciences
- The growth of mathematical knowledge
- The informal logic of mathematical proof
- Towards a new epistemology of mathematics
- Why Do Mathematicians Re-prove Theorems?
- Why Do We Believe Theorems?
- Why Do We Prove Theorems?
Cited in
(20)- Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics
- The informal logic of mathematical proof
- From Euclidean geometry to knots and nets
- Reshaping the metaphor of proof
- RIGOUR AND PROOF
- Managing Informal Mathematical Knowledge: Techniques from Informal Logic
- Proving Things About the Informal
- Envisioning transformations -- the practice of topology
- MATHEMATICAL RIGOR AND PROOF
- Informal proofs and mathematical rigour
- Mathematical inference and logical inference
- The material reasoning of folding paper
- The role of syntactic representations in set theory
- A problem with the dependence of informal proofs on formal proofs
- An inquiry into the practice of proving in low-dimensional topology
- Mathematical formalization and diagrammatic reasoning: the case study of the braid group between 1925 and 1950
- Rigour and intuition
- Formal ontology and mathematics. A case study on the identity of proofs
- Reliability of mathematical inference
- Introduction
This page was built for publication: How to think about informal proofs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q383052)
