Kurt Gödel

Матеріал з Wikiquote
Gödels Grab in Princeton

Kurt Gödel (1906-1978)[ред.]

österreichischer Mathematiker und Logiker

Zitate mit Quellenangabe[ред.]

  • "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.[ред.]

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