thumb|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
Godel, Kurt Godel, Kurt Godel, Kurt Godel, Kurt Godel, Kurt G Godel, Kurt T Godel, Kurt !1978 Kategorie:Checked