The following pages link to Why Do We Believe Theorems? (Q3182719):
Displaying 8 items.
- And so on \dots : reasoning with infinite diagrams (Q375286) (← links)
- How to think about informal proofs (Q383052) (← links)
- From Euclidean geometry to knots and nets (Q2053353) (← links)
- Acceptable gaps in mathematical proofs (Q2053999) (← links)
- Reliability of mathematical inference (Q2695405) (← links)
- On Formal Proofs (Q3654812) (← links)
- RIGOUR AND PROOF (Q6041347) (← links)
- The role of syntactic representations in set theory (Q6182768) (← links)
