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:
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
- 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), www.emis.de/cgi-bin/zmen/ZMATH/en/quick.html?first=1&maxdocs=3&type=html&an=0724.03003&format=complete Zentralblatt MATH
Der Ursprungsartikel stammt von der deutschsprachigen Wiki pedia (siehe oben: "Original Artikel & Autoren Liste").
Der Text steht unter der GNU Freie Dokumentation Lizenz. |
Webtipps: Niederlande | Plattdeutsch