The following pages link to (Q4508471):
Displaying 5 items.
- Informal proofs and mathematical rigour (Q603900) (← links)
- The word of others (Q1414575) (← links)
- Experimental mathematics, computers and the a priori (Q2441736) (← links)
- Bootstrapping our way to samesaying (Q2441802) (← links)
- Computers as a Source of A Posteriori Knowledge in Mathematics (Q5006632) (← links)