The following pages link to (Q4950491):
Displayed 5 items.
- Radical anti-realism, Wittgenstein and the length of proofs (Q2268776) (← links)
- Explanation by induction? (Q2441741) (← links)
- Checking Proofs (Q2950035) (← links)
- Mathematics as the Art of Abstraction (Q2950040) (← links)
- EARLY BOLZANO ON<i>GROUND-CONSEQUENCE</i>PROOFS (Q5346694) (← links)