Luitzen Egbertus Jan Brouwer

Luitzen Egbertus Jan (Bertus) Brouwer (* 27. Februar 1881 in Overschie (heute zu Rotterdam); † 2. Dezember 1966 in Blaricum) 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.