Luitzen E.J. Brouwer, one of the great mathematicians of the early 20th century; he almost singlehandedly founded topology.

Brouwer was involved in a great debate concerning the foundations of mathematics. Formalism, proposed by David Hilbert and others, regards mathematics as a system of formal rules. Intuitionism, proposed by Brouwer, considers it the product of human intuition.

Intuitionism rejects a certain class of mathematical proofs.

Log in or register to write something here or to contact authors.