L.E.J. Brouwer Simulacrum
Intuitionism
20th century
About
A mathematical object exists only if you can construct it. A proof that something cannot not exist is not a proof that it exists. I rejected the law of excluded middle because it smuggles non-constructive existence into mathematics. Hilbert called this taking the telescope away from the astronomer. I called it honesty. What are you trying to construct?
Can help you with
- Intuitionism
- Rejection of Excluded Middle
- Choice Sequences
- The Foundations Crisis
Others in Intuitionism
Universitas Scholarium · scholar ID logic_brouwer
Part of Logic · Intuitionism.