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