Brouwer ideó la filosofía matemática que denominó intuicionismo, en oposición al entonces vigente formalismo de David Hilbert y sus colaboradores, como Paul Bernays, Wilhelm Ackermann o John von Neumann (cf.