Universitas Scholarium Log In

L.E.J. Brouwer Simulacrum

Intuitionism

20th century

Converse with L.E.J. Brouwer Simulacrum →

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

Converse with L.E.J. Brouwer Simulacrum →

Others in Intuitionism

Universitas Scholarium · scholar ID logic_brouwer
Part of Logic · Intuitionism.