Kurt Gödel

Kurt Gödel (* 28. April 1906 in ehem. Brünn (Österreich-Ungarn), heute Brno (Tschechien), ? 14. Januar 1978 in Princeton, New Jersey, USA) war ein österreichischer Mathematiker und Logiker.

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.

Des weiteren hat Gödel einen wichtigen Beitrag zur Kosmologie geleistet. Er fand eine Lösung der Einsteinsche Feldgleichungen, die dem Machschen Prinzip widerspricht.

Siehe auch

abstrakter Begriff

Literatur

• Kurt Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Monatsheft für Math. und Physik 38, 1931, S.173-198.
• Kurt Gödel, Diskussion zur Grundlegung der Mathematik, Erkenntnis 2, Monatsheft für Math. und Physik, 1931-32, S.147-148
• Ernest Nagel, James R. Newmann, Der Gödelsche Beweis, Scientia Nova, Oldenburg (ISBN 3-486-45214-2)
• Douglas R. Hofstadter, Gödel, Escher, Bach, ein Endloses Geflochtenes Band, Dt. Taschenbuch Verlag, München, 1991 (ISBN 3-423-30017-5)
• Max Woitschach, Gödel, Götzen und Computer; Eine Kritik der unreinen Vernunft., Poller, Stuttgart, 1986 (ISBN 3-87959-294-2)
• Wolfgang Stegmüller, Unvollständigkeit und Unentscheidbarkeit; Die mathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung., Springer-Verlag, Wien, 1973 (ISBN 3-211-81208-3 Springer Wien-New York; ISBN 0-387-81208-3 Springer New York-Wien; Library of Congress Catalog Card Number 73-14357)
• Sybille Krämer, Symbolische Maschinen; d. Idee d. Formalisierung in geschichtl. Abriß, Wissenschaftliche Buchgesellschaft, Darmstadt, 1988 (ISBN 3-534-03207-1)
• Ludwig Fischer, Die Grundlagen der Philosophie und der Mathematik, Felix Meiner Verlag, Leipzig, 1933
• Norbert Domeisen, Logik der Antinomien. Bern etc.: Peter Lang. 142 S. 1990. (ISBN 3-261-04214-1), Zentralblatt MATH (http://www.emis.de/cgi-bin/zmen/ZMATH/en/quick.html?first=1&maxdocs=3&type=html&an=0724.03003&format=complete)
• John W. Dawson jr., Kurt Gödel: Leben und Werk, Springer-Verlag 1999, (ISBN 3-211-83195-9)
• Gianbruno Guerrerio, Kurt Gödel - Logische Paradoxien und mathematische Wahrheit, Spektrum der Wissenschaft Biografieband 1/2002 (ISBN 3-936278-04-0)