Kurt Gödel war ein österreichischer Mathematiker und Logiker (* 28. April 1906 in ehem. Brünn (Österreich-Ungarn), heute Brno (Tschechien), † 14. Januar 1978 in Princeton, New Jersey, USA).
Gödel wird von vielen als der bedeutendste Logiker des 20. Jahrhunderts angesehen. Er hat maßgebliche Beiträge im Bereich der Prädikatenlogik (Entscheidungsproblem) sowie zum klassischen und intuitionistischen Aussagenkalkül geleistet.
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.