Kurt Gödel
Kurt Gödel (1906-1978)
[Bearbeiten]österreichischer Mathematiker und Logiker
Zitate mit Quellenangabe
[Bearbeiten]- "Ich glaube nicht an Naturwissenschaft." - zu John Bahcall, der der Fakultät in Princeton seit 1970 angehörte, als er sich Gödel beim Fakultätsdinner als Physiker vorstellte. Zitiert bei Ed Regis: Einstein, Gödel & Co. / Genialität und Exzentrik - die Princeton-Geschichte. Aus dem Amerikanischen von Anita Ehlers. Berlin 1989.
- (Original englisch: "I don't believe in natural science" - zitiert bei Ed Regis: Who got Einstein's office? Eccentricity and Genius at the Institute for Advanced Study. Simon & Schuster 1988. p. 58)
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.
[Bearbeiten]Monatshefte für Mathematik und Physik, Band 38, Dezember 1931, Heft 1, S. 173–198,
hier zitiert nach Collected Works Volume I Publications 1929-1936, Oxford UP 1986, pp. 144-195
- Satz VI: Zu jeder ω-widerspruchsfreien rekursiven Klasse κ von FORMELN gibt es rekursive KLASSENZEICHEN r, so daß weder v Gen r noch Neg (v Gen r) zu Flg (κ) gehört (wobei v die FREIE VARIABLE aus r ist). - p. 172 books.google
- Satz XI: Sei κ eine beliebige rekursive widerspruchsfreie Klasse von FORMELN, dann gilt: Die SATZFORMEL, welche besagt, daß κ widerspruchsfrei ist, ist nicht κ-BEWEISBAR; insbesondere ist die Widerspruchsfreiheit von P in P unbeweisbar, vorausgesetzt, daß P widerspruchsfrei ist (im entgegengesetzten Fall ist natürlich jede Aussage beweisbar). - p. 192 books.google
 |
Wikipedia führt einen Artikel über Gödelscher Unvollständigkeitssatz. |