Pages that link to "Item:Q603906"
From MaRDI portal
The following pages link to Confronting ideals of proof with the ways of proving of the research mathematician (Q603906):
Displaying 8 items.
- How to think about informal proofs (Q383052) (← links)
- Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics (Q1942335) (← links)
- From Euclidean geometry to knots and nets (Q2053353) (← links)
- Definition in mathematics (Q2289711) (← links)
- INFORMAL PROOF, FORMAL PROOF, FORMALISM (Q2804472) (← links)
- MATHEMATICAL INFERENCE AND LOGICAL INFERENCE (Q4557165) (← links)
- Pluralism and “Bad” Mathematical Theories: Challenging our Prejudices (Q4912995) (← links)
- RIGOUR AND PROOF (Q6041347) (← links)
