|
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)
|
