The following pages link to Why Do We Believe Theorems? (Q3182719):
Displaying 12 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)
- A Problem with the Dependence of Informal Proofs on Formal Proofs (Q2965627) (← links)
- On Formal Proofs (Q3654812) (← links)
- How do Beliefs Simplify Reasoning? (Q5067028) (← links)
- WE HOLD THESE TRUTHS TO BE SELF-EVIDENT: BUT WHAT DO WE MEAN BY THAT? (Q5323797) (← links)
- RIGOUR AND PROOF (Q6041347) (← links)
- The role of syntactic representations in set theory (Q6182768) (← links)
- Rigour and intuition (Q6651277) (← links)