Mathematics & the Nature of Reality
Intuitionism
Holds that mathematics is a construction of the human mind, not a description of an external reality or a formal symbol-game — so a mathematical statement is only true if a mental construction proving it actually exists, which leads intuitionists to reject some classical logical laws.
Proponents
L. E. J. Brouwer
Evidence For
Avoids commitment to a mysterious mind-independent abstract realm (unlike Platonism) while still treating mathematics as meaningful rather than an empty symbol-game (unlike formalism); anticipated some of the same limits Gödel later proved, since Brouwer argued mathematics could never be fully captured by any fixed formal system.
Evidence Against
Rejecting the law of excluded middle forces intuitionists to give up standard proof techniques (like reductio ad absurdum for existence claims) that most working mathematicians rely on constantly, making large parts of ordinary mathematics unprovable on intuitionistic terms.
Real Sources
Transmissions
Compare notes, add a source, or flag a contradiction — every reply is tagged with a stance.
Loading transmissions…