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):
Displayed 4 items.
- How to think about informal proofs (Q383052) (← links)
- Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics (Q1942335) (← links)
- INFORMAL PROOF, FORMAL PROOF, FORMALISM (Q2804472) (← links)
- Pluralism and “Bad” Mathematical Theories: Challenging our Prejudices (Q4912995) (← links)