Pages that link to "Item:Q5860471"
From MaRDI portal
The following pages link to Varieties of mathematical understanding (Q5860471):
Displaying 7 items.
- Living with a new mathematical species (Q1075302) (← links)
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge (Q2663667) (← links)
- Understanding, formal verification, and the philosophy of mathematics (Q2851818) (← links)
- Conceptual and Computational Mathematics† (Q4968481) (← links)
- The Varieties of Mathematical Explanation (Q5465103) (← links)
- Some thoughts on automation and mathematical research (Q6130522) (← links)
- Proofs for a price: tomorrow's ultra-rigorous mathematical culture (Q6554711) (← links)