Pages that link to "Item:Q1062970"
From MaRDI portal
The following pages link to Against intuitionism: Constructive mathematics is part of classical mathematics (Q1062970):
Displaying 7 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)
- Undetachability of Propositional Content and Its Process of Construction (Q3422422) (← links)
- (Q5741601) (← links)
- Proof vs Provability: On Brouwer’s Time Problem (Q6043024) (← links)