The following pages link to How to think about informal proofs (Q383052):
Displaying 12 items.
- From Euclidean geometry to knots and nets (Q2053353) (← links)
- Reliability of mathematical inference (Q2695405) (← links)
- MATHEMATICAL INFERENCE AND LOGICAL INFERENCE (Q4557165) (← links)
- MATHEMATICAL RIGOR AND PROOF (Q5078816) (← links)
- Reshaping the metaphor of proof (Q5204811) (← links)
- An Inquiry into the Practice of Proving in Low-Dimensional Topology (Q5213637) (← links)
- Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics (Q5213764) (← links)
- Mathematical formalization and diagrammatic reasoning: the case study of the braid group between 1925 and 1950 (Q5378563) (← links)
- Introduction (Q5892213) (← links)
- RIGOUR AND PROOF (Q6041347) (← links)
- The material reasoning of folding paper (Q6182766) (← links)
- The role of syntactic representations in set theory (Q6182768) (← links)
