Kurt Gödel

österreichisch-amerikanischer Mathematiker und Logiker (1906-1978)
Gödels Grab in Princeton

ö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
Wikipedia führt einen Artikel über Gödelscher Unvollständigkeitssatz.