The following pages link to (Q4376878):
Displaying 5 items.
- How to think about informal proofs (Q383052) (← links)
- Objects and processes in mathematical practice (Q429823) (← links)
- Logic of imagination. Echoes of Cartesian epistemology in contemporary philosophy of mathematics and beyond (Q2219025) (← links)
- The surveyability of long proofs (Q2271073) (← links)
- Experimental Approaches to Theoretical Thinking: Artefacts and Proofs (Q2915844) (← links)
