Kurt Gödel

Kurt Friedrich Gödel (* 28. April 1906 in Brünn, Österreich-Ungarn, heute Tschechien; † 14. Januar 1978 in Princeton, New Jersey) war ein österreichisch-amerikanischer Mathematiker und einer der bedeutendsten Logiker des 20. Jahrhunderts. Er leistete maßgebliche Beiträge

zur Prädikatenlogik: Vollständigkeit und Entscheidungsproblem in der Arithmetik und der axiomatischen Mengenlehre,
zu den Beziehungen der intuitionistischen Logik sowohl zur klassischen Logik als auch zur Modallogik,
zur Relativitätstheorie in der Physik.





Jugend und Studium

Kurt Gödel stammte aus einer wohlhabenden großbürgerlichen Familie in Brünn in Mähren. Die Stadt hatte zur Geburtszeit Gödels eine deutschsprachige Bevölkerungsmehrheit[1] und lag bis 1918 in der österreichisch-ungarischen Monarchie (heute in Tschechien). Seine Eltern waren Marianne (geb. Handschuh) und Rudolf August Gödel. Sein Vater war ein zu Wohlstand gelangter Textilunternehmer. Der Vater war katholisch, die Mutter evangelisch, die Kinder der Familie wurden evangelisch erzogen. Paul Gödel senior und junior sind in Brünn schon im Jahre 1744 als „Lederer“, also Gerber erwähnt.

Gödel litt, verursacht durch rheumatisches Fieber, in seiner Kindheit oft unter einem schlechten Gesundheitszustand. Trotzdem zeigte er schulische Bestleistungen. 1912 trat Gödel in eine Privat-Volks- und Bürgerschule ein, vier Jahre später in das deutschsprachige k.k. Staatsrealgymnasium. Nach dem Ersten Weltkrieg wurde die Stadt Brünn 1918 / 1919 Teil der neu gegründeten Tschechoslowakischen Republik. Gödel, der nur schlecht Tschechisch sprach, fühlte sich in dem neu gegründeten Staat nicht heimisch.[A 1]

1923 nahm Gödel die österreichische Staatsbürgerschaft an, zog im Herbst 1924, nach Ablegung der Reifeprüfung am Gymnasium, nach Wien und schrieb sich an der Universität Wien zunächst im Studiengang für Theoretische Physik ein. Er beschäftigte sich im darauffolgenden Jahr hauptsächlich mit physikalischen Themen. Außerdem besuchte er die philosophische Vorlesung von Heinrich Gomperz sowie die Vorlesung über die Zahlentheorie von Philipp Furtwängler. Diese beiden Professoren gaben Gödel die entscheidenden Impulse, sich intensiv mit den Grundlagen der Mathematik auseinanderzusetzen, die auf der formalen Logik sowie der Mengenlehre beruhen.

Kurz nach Beginn seines Studiums begann er den Wiener Kreis zu besuchen, einen akademischen Zirkel, der von Moritz Schlick ins Leben gerufen worden war und sich mit den methodischen Grundlagen des Denkens und somit den Grundlagen jedweder Philosophie auseinandersetzte. Die Gespräche mit den anderen Mitgliedern der Gruppe, von denen insbesondere Hans Hahn, Karl Menger sowie Olga Taussky für Gödel von besonderer Bedeutung waren, führten ebenfalls zur Erweiterung seines mathematischen Wissens.

Auch was sein Privatleben betraf, waren die Treffen des Zirkels für ihn von Bedeutung, da er hier 1927 zum ersten Mal seine spätere Frau Adele Nimbursky, 1899 als Adele Porkert geboren, traf. Als er im Juli 1928 mit seinem Bruder in eine neue Wohnung im 8. Bezirk, Florianigasse 42 (Gedenktafel), zog, befand sich diese zufälligerweise direkt gegenüber der Wohnung von Adele Nimbursky. Auf Grund dieser Nachbarschaft gingen die beiden jetzt eine Beziehung ein. Adele stammte aus kleinbürgerlichen Verhältnissen, arbeitete als Kabaretttänzerin und war wenig gebildet. Sie war fast sieben Jahre älter als Gödel und bis 1933 mit dem Fotografen Nimbursky verheiratet, bevor sie sich von diesem scheiden ließ. Außerdem bestand ein Konfessionsunterschied – sie war katholisch und Gödel evangelisch. Gödels Eltern betrachteten die Beziehung als Mesalliance, was das Paar veranlasste, sie zunächst geheim zu halten.[2]
Gödels wissenschaftliche Leistungen (1929–1938)
Studium

Fasziniert von den Gesprächen im Wiener Kreis, besuchte Gödel das Mathematische Kolloquium von Karl Menger und wurde hier mit den Grundlagenproblemen der Mathematik und Logik seiner Zeit vertraut. Besonders lernte er Hilberts Programm kennen, das die Widerspruchsfreiheit der Mathematik erweisen sollte. Unter anderem deshalb gehörte die erste Auflage des Lehrbuchs Grundzüge der theoretischen Logik von David Hilbert und Wilhelm Ackermann zu seiner Lektüre, die die hauptsächliche Grundlage für seine eigene Dissertation über die Vollständigkeit des engeren Kalküls der Prädikatenlogik erster Stufe von 1929 werden sollte (genauer Titel: Über die Vollständigkeit des Logikkalküls). Für diese Arbeit wurde ihm am 6. Februar 1930 die Doktorwürde verliehen. Sein Doktorvater war Hans Hahn.[3]
Weitere Forschung zu Hilberts Programm

Die 1930er Jahre waren für Gödel hauptsächlich von wissenschaftlicher Arbeit geprägt, die zunächst auf die Durchführbarkeit des um 1920 formulierten Hilbertprogramms gerichtet war. Er beschäftigte sich mit der Kontinuumshypothese und der Frage, ob sich die Arithmetik (die Theorie der natürlichen Zahlen) vollständig und widerspruchsfrei axiomatisieren lasse. Diese beiden Fragen waren gleichzeitig die ersten beiden der berühmten 23 Probleme gewesen, deren erste zehn Hilbert bereits 1900 auf dem Zweiten Internationalen Mathematikerkongress in Paris dem anbrechenden neuen Jahrhundert aufgegeben hatte.

Die Kontinuumshypothese ist die mengentheoretische Aussage, dass jede Menge, die mächtiger als die Menge der natürlichen Zahlen ist, mindestens so mächtig wie die Menge der reellen Zahlen (das Kontinuum) ist. Hilbert war überzeugt, die Mathematik und damit auch Zahlentheorie (Arithmetik) und Mengenlehre sei vollständig in dem Sinne, dass sich schließlich feststellen lasse, ob eine mathematische Aussage wie die Kontinuumshypothese zutreffe oder nicht.
Die Unvollständigkeitssätze

Hatte Gödels erste Arbeit noch als ein Hinweis auf die Durchführbarkeit des Vorhabens gelten können, so war seine bedeutendste Arbeit, die er im Jahr 1931 veröffentlichte, das Ende des Traums von David Hilbert. In der Arbeit, die den Titel Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme trug, bewies Gödel den ersten Gödelschen Unvollständigkeitssatz. Dieser besagt, dass in einem widerspruchsfreien Axiomensystem, das genügend reichhaltig ist, um die Arithmetik (natürliche Zahlen) in der üblichen Weise aufzubauen, und das überdies hinreichend einfach ist, es immer Aussagen gibt, die aus diesem weder bewiesen noch widerlegt werden können. Hinreichend einfach bedeutet dabei, dass das Axiomensystem eine entscheidbare Menge ist. Als zweiter Gödelscher Unvollständigkeitssatz wird Gödels Korollar (Zusatz) zum ersten bezeichnet, wonach die Widerspruchsfreiheit eines solchen Axiomensystems nicht aus dem Axiomensystem selbst ableitbar ist.

Insbesondere sind allerlei Teiltheorien der gesamten Arithmetik – letztere wollte Hilbert vollständig und widerspruchsfrei axiomatisieren – mächtig genug, um ihre eigene Syntax und ihre Schlussregeln darzustellen. Entsprechende Axiomatisierungen sind daher entweder

nicht hinreichend einfach oder
nicht vollständig oder
widersprüchlich.

Insbesondere ist dann eine vollständige und widerspruchsfreie Arithmetik nicht hinreichend einfach. Hilbert bemühte zuletzt (um 1930)[4] tatsächlich eine ω-Regel, der zufolge (ungefähr) zutreffende Allaussagen Axiome sein sollten, offenbar um seine Überzeugung der vollständigen Axiomatisierbarkeit zu retten. So aber ist die Menge der Axiome nicht mehr hinreichend einfach.

Der Beweis der Unvollständigkeitssätze beruht auf einer Formalisierung von Antinomien der Form: „Ich spreche jetzt nicht die Wahrheit.“ Er formulierte dieses Paradoxon mathematisch präzise, indem er die mathematischen Aussagen für natürliche Zahlen betrachtete, und feststellte, dass man jede dieser Aussagen selbst als natürliche Zahl schreiben kann. Diese heißt Gödelnummer, und ihre Errechnung heißt Gödelisierung. Wenn man jedoch Aussagen über natürliche Zahlen selbst als natürliche Zahlen auffassen kann, dann kann man selbstbezügliche Aussagen genannter Art formulieren. Das ist eine Variante von Cantors Diagonalverfahren. Genauer konstruierte er ein Beweisbarkeitsprädikat als zahlentheoretische Formel Bew(x), die genau dann wahr wird, wenn man die Variable x überall durch eine formale Darstellung der Gödelnummer eines beweisbaren Satzes der untersuchten Theorie ersetzt. Er zeigte, dass es eine natürliche Zahl n mit formaler Darstellung N gibt, so dass n die Gödelnummer der Negation von Bew(N) ist. Die zugehörige negierte Formel ¬Bew(N) drückt also ihre eigene Unbeweisbarkeit aus und ist in der untersuchten Theorie weder beweisbar noch widerlegbar, falls diese widerspruchsfrei ist.

Der Zweite Unvollständigkeitssatz wird zumeist so aufgefasst, dass Hilberts Programm, die Widerspruchsfreiheit der Mathematik oder wenigstens der Arithmetik zu beweisen, nicht durchführbar und das zweite Problem aus Hilberts Liste von 23 mathematischen Problemen unlösbar sei. Allerdings bezieht sich diese Schlussfolgerung auf Gödels natürliche arithmetische Darstellung der Beweisbarkeit, dem Beweisbarkeitsprädikat Bew(x). Bei bestimmten künstlichen Modifikationen von Gödels Beweisbarkeitsprädikat gilt der Zweite Unvollständigkeitssatz nicht mehr. Eine solche Modifikation wurde zuerst von John Barkley Rosser bald nach Gödels Veröffentlichung vorgeschlagen; inzwischen versuchen Spezialisten zu klären, worin der Unterschied zwischen natürlich und künstlich eigentlich besteht.[5]
Intuitionistische Logik, Beweisbarkeitslogik

Hilberts Programm stand im Rahmen allgemeiner Versuche seiner Zeit, die Grundlagen der Mathematik zu klären. Dem als Formalismus bezeichneten Ansatz Hilberts hierzu stand Luitzen Egbertus Jan Brouwers Intuitionismus gegenüber. Der philosophische Ansatz des Intuitionismus schlug sich als intuitionistische Logik im Bereich der mathematischen Logik nieder, geschaffen von Arend Heyting. Für Gödel war der intuitionistische Ansatz kaum weniger interessant als Hilberts Programm. Vor allem das Verhältnis der intuitionistischen Logik zur klassischen Logik war für Gödel wie für andere Logiker seither ein fesselnder Untersuchungsgegenstand – unabhängig davon, ob man sich selbst philosophisch als Intuitionist ansah.

Zwischen solchen und klassisch geprägten Mathematikern besteht ein Verständigungsproblem. Aus klassischer Sicht verwenden intuitionistisch ausgerichtete Mathematiker dieselben Wörter wie klassisch geprägte Mathematiker – bloß in einer ganz anderen, rätselhaften Bedeutung. So scheint ein Intuitionist aus klassischer Sicht nur „A ist beweisbar“ zu meinen, wenn er A sagt. Gerade nach Gödels Entdeckungen bedeutet Wahrheit aber längst nicht Beweisbarkeit. Intuitionistische Mathematiker unterwerfen ihre Behauptungen demnach strengeren Anforderungen als klassisch geprägte. Ein Intuitionist glaubt nicht alles, was ein klassisch geprägter Mathematiker glaubt.[6]

Gödel widerlegte 1933 diese eingeschränkte Vorstellung von Heytings Arithmetik in gewisser Weise. Oberflächlich ist Heytings Arithmetik klassischen arithmetischen Theorien zwar unterlegen, dieser Anschein schwindet aber, wenn man auf die besondere Rolle der Negation achtet. Gödel gab eine Interpretation (Übersetzung) der klassischen Arithmetik in der Heyting-Arithmetik an, die davon ausging, jede atomare Formel in ihre doppelte Negation zu verwandeln. Gödel zeigte, dass die Ausgangsformel genau dann in der klassischen Peano-Arithmetik (beschränkt auf eine Variablensorte) herleitbar ist, wenn ihre Übersetzung in der Heyting-Arithmetik herleitbar ist. Modulo dieser Übersetzung kann man also alle Theoreme der klassischen Arithmetik auch in der Heyting-Arithmetik herleiten.

Gödel stützte auch die Vorstellung, dass von einem Intuitionisten geäußertes A von klassischen Logikern bloß als „A ist beweisbar“ zu deuten ist – in abgewandelter Weise. Beweisbarkeit kann formal durch eine Ergänzung prädikatenlogischer Systeme um Modaloperatoren dargestellt werden, wie sie sonst für die Logik von notwendig und möglich verwendet werden. Erst in jüngerer Zeit wurde dann der Gedanke gründlich verfolgt, Beweisbarkeit als Spielart von Notwendigkeit zu untersuchen (Beweisbarkeitslogik[7]). Gödel lieferte einen frühen Beitrag zu dieser Forschungsrichtung, indem er die Modallogiken zu verschiedenen Beweisbarkeitsprädikaten miteinander verglich. In diesem Zusammenhang gab er eine Interpretation der intuitionistischen Aussagenlogik in der Modallogik S4 an. Die Übersetzung findet im Wesentlichen durch Einfügen des Notwendigkeitsoperators vor jeder echten Teilformel statt. Theoreme der intuitionistischen Aussagenlogik werden so in Theoreme von S4 übersetzt. 1948 bestätigten McKinsey und Tarski Gödels bloße Vermutung, dass darüber hinaus nur Theoreme der intuitionistischen Aussagenlogik in S4-Theoreme übersetzt werden.

Diese beiden Ergebnisse wurden 1933 veröffentlicht, zwei andere zur intuitionistischen Logik 1932 und 1958.
Amerikareisen, gesundheitliche Schwierigkeiten, Kontinuumshypothese

Gödels bahnbrechende Arbeit und die verblüffenden Resultate, die aus ihr folgten, führten zu seiner Anerkennung als einer der führenden Logiker seiner Zeit. So wurde er von seinem amerikanischen Kollegen Oswald Veblen nach Princeton in das neu gegründete Institute for Advanced Study eingeladen. 1933 / 1934 reiste er zum ersten Mal nach Amerika und wurde dort gemeinsam mit James Alexander, John von Neumann und Oswald Veblen Gründungsmitglied der Fakultät. Allerdings begann sich in dieser Zeit seine psychische Erkrankung, die er wahrscheinlich seit seinen Kindheitstagen latent in sich trug, zum ersten Mal in der Form von depressiven Stimmungen und hypochondrischen Zwangsvorstellungen bemerkbar zu machen. Diese seelische Belastung war jedoch nur auf persönliche Einflüsse zurückzuführen. Für die aktuelle politische Situation in Europa interessierte sich Gödel nicht.

Als Gödel im Frühjahr 1934 in das nunmehr diktatorisch regierte Wien zurückkehrte, hatte er bereits die Einladung für die weitere Dozententätigkeit in Princeton erhalten. Der Tod seines Mentors Hans Hahn und der zunehmende Verfall seiner Gesundheit durch seine unvollständige Ernährung (er hatte krankhafte Angst davor, vergiftet zu werden, so dass Adele alle seine Speisen vor seinen Augen zubereiten und kosten musste) führten dazu, dass er sich stattdessen im Herbst 1934 für eine Woche in ein Sanatorium begeben musste. Nach diesem Aufenthalt, der ihm genügend Erholung brachte, begann sich Gödel mit der Kontinuumshypothese zu beschäftigen, wobei er unter anderem mit John von Neumann zusammenarbeitete. Er versuchte, die Unabhängigkeit der Kontinuumshypothese von den übrigen Axiomen der Mengenlehre zu beweisen. Hierzu arbeitete er eine axiomatische Mengenlehre mit Klassen aus, die Urfassung der Neumann-Bernays-Gödel-Mengenlehre, die im Mengenbereich mit der Zermelo-Fraenkel-Mengenlehre ZFC übereinstimmt.

Auf dieser Basis bewies er 1938[8] den 1940 publizierten Satz, dass man die Negation der Kontinuumshypothese nicht mit den ZFC-Axiomen beweisen kann, falls diese widerspruchsfrei sind (siehe „Konstruierbarkeitsaxiom“). 1963 vervollständigte der US-Amerikaner Paul Cohen diesen Unabhängigkeitssatz und zeigte, dass auch die Kontinuumshypothese selbst nicht bewiesen werden kann, falls ZFC widerspruchsfrei ist.

Damit wurde das erste mathematisch oder grundlagentheoretisch relevante Beispiel einer von ZFC (vermeintlich der ganzen Mathematik) unabhängigen Aussage bekannt, deren Existenz Gödel mit seinem Ersten Unvollständigkeitssatz unter allgemeineren Voraussetzungen bewiesen hatte (Gödels eigene unentscheidbare arithmetische Aussage war mathematisch uninteressant). Damit war zugleich gezeigt, dass das erste Hilbertsche Problem von 1900 unlösbar ist.

Gödels Gesundheit verschlechterte sich mit den Jahren immer mehr. Seit seiner Erkrankung an rheumatischem Fieber als Kind war er überzeugt, ein schwaches Herz zu haben, und entwickelte Misstrauen gegen die Ärzteschaft, die bei ihm nichts dergleichen finden konnte. Er mied Ärzte und wäre deshalb in den 1940er Jahren beinahe an einem unbehandelten Zwölffingerdarmgeschwür gestorben. Bereits 1935 verbrachte Gödel mehrere Monate in einer psychiatrischen Klinik. Als der von Gödel sehr geachtete Philosoph Moritz Schlick, einer der führenden Köpfe des Wiener Kreises, 1936 von einem ehemaligen Studenten in der Wiener Universität ermordet wurde, erlitt Gödel einen Nervenzusammenbruch.

Im März 1938 wurde Österreich an das Deutsche Reich „angeschlossen“; Gödel verlor aufgrund der Umstellung des Bildungssystems seine österreichische Dozentur. Er versuchte eine adäquate akademische Stelle im NS-Bildungssystem zu erhalten. Die entsprechenden Anträge wurden jedoch sehr schleppend bearbeitet, da Gödel als Vertreter einer stark verjudeten Mathematik galt.[9] Am 20. September 1938 heiratete Kurt Gödel schließlich Adele, geb. Porkert.[10] Die väterliche Erbschaft, die Gödel für seinen und Adeles Unterhalt verbrauchte, lief allmählich aus, sodass die beiden kein gesichertes Einkommen mehr hatten.

Als Gödel in Wien irrtümlich als Jude angepöbelt wurde und man ihn obendrein als kriegsverwendungsfähig einstufte, entschloss er sich endgültig, seine bisherige Heimat zu verlassen und in die USA auszuwandern. Dank seiner dortigen Unterstützer (wie Abraham Flexner und John von Neumann) und der Hilfe seiner Frau konnten die beiden im Januar 1940 das Dritte Reich mit der Transsibirischen Eisenbahn über die Sowjetunion und Japan verlassen.[11] (Die Vereinigten Staaten waren damals am Zweiten Weltkrieg noch nicht aktiv beteiligt.)

Nach seiner Einreise in die USA und der Weiterführung seiner Arbeit am Institute for Advanced Study und nach einer Einladung von P.A. Schilpp, zu seinem Band über Bertrand Russell einen Beitrag zu schreiben, beschäftigte sich Gödel mehr mit Philosophie, besonders mit Leibniz und später auch mit Husserl. Und so begann Gödel sich in Princeton immer mehr mit philosophischen Problemen zu beschäftigen und von der formalen Logik abzuwenden.
Ontologischer Gottesbeweis

In seinem Spätwerk unternahm Gödel 1941 eine Rekonstruktion des ontologischen Gottesbeweises mit Mitteln der Modallogik.[12] Das Anliegen Gödels „bestand […] im Nachweis, daß ein ontologischer Gottesbeweis auf eine Art und Weise geführt werden könne, die modernen logischen Maßstäben gerecht wird".[13] Eine Version dieses Beweises wurde mittlerweile durch maschinengestütze Verfahren auf Korrektheit überprüft.[14] Der Beweis wurde erst 1970 veröffentlicht.[15] Er schließt an die rationalistische Definition Gottes als ens realissimum, als Träger aller konsistenten realen Prädikate, an. Noch heute wird dieser Beweis gelegentlich als tatsächlicher Versuch, die Existenz Gottes nachzuweisen, missverstanden. Er zeigt aber nur die Herleitbarkeit der Behauptung der Existenz aus verschiedenen, selbst u.U. plausiblen, aber nicht notwendigerweise gültigen Annahmen. Es gelang Gödel jedoch, die Kritik Kants und Freges an jedem ontologischen Gottesbeweis zu unterlaufen: Existenz tritt nicht als „reales Prädikat" auf.
Siehe auch: Gottesbeweis
Kurt Gödels letzte Jahre

1942 lernte Gödel Albert Einstein näher kennen und begann mit ihm über physikalische Probleme wie die Relativitätstheorie und über philosophische Themen zu diskutieren.[16] Gödel gab die erste Lösung der allgemeinen Relativitätstheorie mit geschlossenen zeitartigen Weltlinien an, die also zeigt, dass Zeitreisen in dieser Theorie möglich wären.[17] Sein Beispiel eines rotierenden Universums war allerdings nicht sehr realistisch. Trotzdem war damit die Suche nach einem Chronology-protection-Mechanismus in der Physik eröffnet. 1950 hielt er einen Plenarvortrag auf dem Internationalen Mathematikerkongress in Cambridge (Massachusetts) über seine Kosmologie (Rotating universes in general relativity).

Im Jahr 1947 erhielt Gödel die Staatsbürgerschaft der USA. Für das Einbürgerungsverfahren war eine richterliche Anhörung erforderlich, in der er Kenntnisse des Landes und der Verfassung zeigen musste. Bei seinen Vorbereitungen dazu entdeckte Gödel, dass die Verfassung des Landes insoweit „unvollständig“ war, als es trotz ihrer die Demokratie schützenden Einzelbestimmungen möglich gewesen wäre, im Rahmen dieser Verfassung eine Diktatur zu errichten. Zwei Freunde, Albert Einstein[18] und der Wirtschaftswissenschaftler Oskar Morgenstern, begleiteten ihn bei dem Verfahren. Dank ihrer Hilfe und eines aufgeklärt denkenden Richters konnte vermieden werden, dass Gödel sich bei der Anhörung selbst in Schwierigkeiten brachte.[19]


Das Grab von Adele und Kurt Gödel in Princeton

Zwischen Einstein und Gödel entwickelte sich eine enge Freundschaft,[16] die bis zu Einsteins Tod 1955 anhielt. Gemeinsam pflegten sie zum Institut und nach Hause zu spazieren.[20] Neben wenigen weiteren Bekanntschaften vereinsamte Gödel aber in den 1940er und 1950er Jahren aufgrund seiner fortschreitenden psychischen Krankheit – vorwiegend Paranoia, vor allem die Angst, durch Essen vergiftet zu werden – immer mehr. Adele musste ihm alles vorkosten.

Erst 1953 erhielt er eine Professur in Princeton, da er vor allem von Hermann Weyl und Carl Ludwig Siegel wegen seines merkwürdigen Verhaltens als ungeeignet angesehen wurde. In den 1960er Jahren hörte er auf, Vorlesungen zu geben, und seine Krankheit ließ ihm immer weniger die Möglichkeit, zu arbeiten oder gesellschaftlich zu interagieren. Gleichwohl galt er weiterhin als einer der führenden Logiker, und man gewährte ihm entsprechende akademische Anerkennung in Form von Auszeichnungen; sein Zustand besserte sich jedoch nicht. 1970 versuchte er zum letzten Mal zu publizieren. Die Schrift musste jedoch zurückgenommen werden, da er aufgrund der Wirkung von Psychopharmaka viele Fehler einfach übersehen hatte.

Seine letzten Lebensjahre verbrachte Gödel zuhause in Princeton oder in verschiedenen Sanatorien, aus denen er einige Male flüchtete. Lediglich die Fürsorge seiner Frau, die dafür sorgte, dass er sich wenigstens halbwegs normal ernährte, hielt ihn am Leben. Als Adele Gödel 1977 aufgrund eines Schlaganfalls selbst in ein Krankenhaus eingeliefert wurde, musste sie hilflos zusehen, wie ihr Mann immer mehr abmagerte. Als sie nach sechs Monaten wieder entlassen wurde – inzwischen auf einen Rollstuhl angewiesen –, lieferte sie ihn bei einem Körpergewicht von unter 40 kg sofort in ein Krankenhaus ein. Kurt Gödel verstarb dennoch wenige Wochen später an Unterernährung und Entkräftung.[21] Seine Frau starb 1981.

Weiter geht es in Teil 2

Mathematisches Werk

Gödel hat folgende grundlegende Theoreme der mathematischen Logik bewiesen:

den Gödelschen Vollständigkeitssatz;
den Gödelschen Unvollständigkeitssatz;
ist die Zermelo-Fraenkel-Mengenlehre (ohne Auswahlaxiom) widerspruchsfrei, so ist auch ihre Erweiterung um das Auswahlaxiom und die (verallgemeinerte) Kontinuumshypothese widerspruchsfrei (kurz: AC+GCH, erst recht AC+CH ist widerspruchsfrei relativ zu ZF).[22]

Weniger bekannt im deutschsprachigen Raum ist seine mathematisch-physikalische Arbeit in Princeton zur allgemeinen Relativitätstheorie:

Gödel-Metrik bzw. Gödel-Universum[23]

Nach Gödel sind außerdem Gödelnummer und Gödelisierung benannt.

In den 1980er Jahren wurde bekannt, dass Gödel in einem Brief an John von Neumann 1956 bereits das P-NP-Problem formuliert und in seiner großen Bedeutung herausgestellt hat.[24][25]
Ehrungen

Der 1985 entdeckte Asteroid 3366 Gödel ist nach Kurt Gödel benannt.[26]
Gödel-Lecturer, eine Ehrung in mathematischer Logik der Association for Symbolic Logic.
1993 Gödel-Preis für herausragende Veröffentlichungen in der theoretischen Informatik. Der Preis ist nach Kurt Gödel benannt.
Im Jahr 2009 ist in Wien Favoriten (10. Bezirk) die Gödelgasse nach Kurt Gödel benannt worden.
Gödels Lebensstationen wurden im Herbst 2011 in dem Theaterstück Geister in Princeton des Autors Daniel Kehlmann gewürdigt; das Stück wurde im Schauspielhauses Graz als Uraufführung gespielt.

Sonstiges

2011 brachte der österreichische Autor Daniel Kehlmann in Salzburg und Graz sein Theaterstück Geister in Princeton heraus, das sich mit Kurt Gödel befasst. Er wurde 2012 in Wien mit dem Nestroy-Theaterpreis als Autor des besten Stücks ausgezeichnet.[27]

Anmerkungen

Laut John D. Dawson, fühlte sich Gödel wie ein „österreichischer Verbannter in Tschechoslowakien“. Dawson Logical Dilemmas, Springer Verlag 1997, S. 15. Er zitiert einen Brief von einem Mitschüler von Gödel, Harry Klepetar, an Dawson von 1983, der auch ausführt, er habe Gödel niemals ein Wort Tschechisch sprechen hören. Dawson fügt allerdings hinzu, dass Gödel wahrscheinlich Tschechisch sprechen konnte.


Quelle - literatur & Einzelnachweise