Pages that link to "Item:Q1062970"
From MaRDI portal
The following pages link to Against intuitionism: Constructive mathematics is part of classical mathematics (Q1062970):
Displayed 5 items.
- Against against intuitionism (Q813418) (← links)
- The meaning of pure mathematics (Q1123181) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography (Q2391944) (← links)
- Proof vs Provability: On Brouwer’s Time Problem (Q6043024) (← links)