Pages that link to "Item:Q2965651"
From MaRDI portal
The following pages link to Why the Naïve Derivation Recipe Model Cannot Explain How Mathematicians’ Proofs Secure Mathematical Knowledge (Q2965651):
Displaying 5 items.
- From Euclidean geometry to knots and nets (Q2053353) (← links)
- Reliability of mathematical inference (Q2695405) (← links)
- MATHEMATICAL RIGOR AND PROOF (Q5078816) (← links)
- Audience role in mathematical proof development (Q6182763) (← links)
- The role of syntactic representations in set theory (Q6182768) (← links)