Kurt Gödel
Kurt Gödel war ein österreichischer Mathematiker und Logiker (* 28. April 1906 in ehem. Brünn (Österreich-Ungarn), heute Brno (Tschechische Republik), † 14. Januar 1978 in Princeton, New Jersey, USA).
Gödel hat wichtige Beiträge im Bereich der Prädikatenlogik (Entscheidungsproblem) sowie zum klassischen und intuitionistischen Aussagenkalkül gemacht.
Gödel hat die folgenden grundlegenden Theoreme der Logik bewiesen:
- Gödelscher Vollständigkeitssatz
- Gödelscher Unvollständigkeitssatz
- das Auswahlaxiom und die Kontinuumshypothese sind zu den restlichen Axiomen der Mengenlehre widerspruchsfrei.
Literatur
- Douglas R. Hofstadter. Gödel, Escher, Bach. (Enthält eine populäre, kreative und etwas langfädige Darstellung des Gödelschen Unvollständigkeitssatzes)
- Ernest Nagel, James Newman. Der Gödelsche Beweis (Oldenbourg Verlag, München 1992), knapp und besser verständlich.