Navigation:

Georg Cantor, ca. 1894.

Georg Cantor (1845-1918) und Kurt Gödel (1906-1978) sind die Wegbereiter der mathematischen Logik. Cantor begründete die Mengenlehre, zeigte, dass es mehr reelle Zahlen als algebraische Zahlen gibt, und er formulierte das Kontinuumsproblem, das nach wie vor eine der treibenden Kräfte mengentheoretischer Forschung ist.

Gödels bahnbrechende Arbeiten zur Vollständigkeit des Logikkalküls, der Unvollständigkeit der Arithmetik und der relativen Konsistenz der Kontinuumshypothese machen ihn zum Pionier der Teilgebiete der heutigen mathematischen Logik: Berechenbarkeitstheorie, Beweistheorie, Modelltheorie und Mengenlehre.

Kurt Gödel

Heinrich Scholz.

Heinrich Scholz gründete das Institut für Mathematische Logik und Grundlagenforschung. Zuvor hatte er einen Lehrstuhl für Philosophie inne, wurde dann aber fasziniert von der mathematischen Logik.


Der Nachlass von Heinrich Scholz wird aktuell aufbereitet und in einem im enstehen begriffenen Wiki erfasst.
Mehr zur Geschichte des Instituts gibt es hier.