How to think about informal proofs
From MaRDI portal
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
- 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)
