Von der Grundlagenkrise der Mathematik zu den Gödelschen Unvollständigkeitssätzen

Die Gödelschen Unvollständigkeitssätze und deren Konsequenzen gelten bis heute als revolutionär für Mathematik, Logik, Informatik, Linguistik und die theoretische Philosophie. Mathematik und Logik stellen einen wichtigen Bereich unserer kognitiven Strukturen dar. Für die Philosophie ergibt sich daraus die Frage, welche Bedeutung die Unvollständigkeitssätze für unser logisches Denken haben. Hartmut W. Mayer erklärt – auch für Nichtmathematiker verständlich – die Hintergründe der Grundlagenkrise der Mathematik und die Rettungsversuche der Trias Logizismus, Intuitionismus und Formalismus, die zu den von Kurt Gödel 1931 publizierten Unvollständigkeitssätzen führten. Neben diesen mathematisch-logischen Entwicklungen analysiert er die philosophischen Implikationen, die sich dahinter verbergen. So werden Bezüge zu Aristoteles, Leibniz, Kant, Frege, Hilbert, Russell, Carnap und Quine deutlich.