Luitzen Egbertus Jan Brouwer war ein niederländischer Mathematiker. Er schuf grundlegende topologische Methoden und Begriffe und bewies bedeutende topologische Sätze. Nach ihm ist der Brouwersche Fixpunktsatz benannt. Durch seine Begründung des Intuitionismus wurde er Protagonist im sogenannten Grundlagenstreit der Mathematik, der in den 1920er und 1930er Jahren seinen Höhepunkt fand.
Brouwers spätere Arbeiten waren bahnbrechend für die Entwicklung der konstruktiven Mathematik. Formalisierungen seiner Anschauungen über die Natur der Logik brachten die Disziplin der intuitionistischen Logik hervor. In seinen Schriften zur Philosophie der Mathematik beschäftigte er sich mit den Beziehungen zwischen Logik und Mathematik, besonders mit der Rolle von Existenzaussagen und der Verwendung des Prinzips des ausgeschlossenen Dritten in mathematischen Beweisen. Wikipedia
as translated by Arnold Dresden from: Brouwer, L. E. J. (1913). Intuitionism and formalism. Bulletin of the American Mathematical Society, 20(2), 81–96. (quote on p. 84)
To C.S. Adama van Scheltema (1906); in Dirk van Dalen (ed.) The Selected Correspondence of L.E.J. Brouwer (2011), p. 23
