# Kurt Gödel an Rudolf Carnap, 28. November 1932 November 1932

Lieber Herr Carnap‚

Besten Dank für Ihre beiden Briefe und die Karte. Ich habe jetzt leider mit dem Bericht über die Grundlagenforschung viel zu tun gehabt u. bin daher bis heute nicht dazu gekommen, Ihnen zu schreiben. Auch der II. Teil meiner ArbeitB existiert erst im Reiche der Ideen. Meine Andeutungen über die Df. von „analytisch“ haben Sie, wie ich aus Ihrem zweiten Brief entnehme, ganz in meinem Sinn verstanden. Um die Sache allgemein d. h. für Funktionen beliebigen endlichen Typs durchführen zu können, braucht man eine Variable nächst höheren Typs (Typus \(\omega{}\)) d. h. eine solche, die alle endlichen Typen durchläuft, was a priori vorauszusehen ist, da man eben niemals „anal[ytisch]“ in demselben System definieren kann, sonst würden sich Widersprüche ergeben. Ich glaube übrigens, das Interesse dieser Df. liegt nicht in einer Klärung des Begriffs „analyt[isch]“, weil man in ihr die ebenso problematischen Begriffe „beliebige Menge“ etc. verwendet, sondern ich stelle sie 🕮 nur aus dem Grunde auf, weil man mit ihrer Hilfe zeigen kann, daß die unentsch[eidbaren] Sätze in Systemen, welche in der Reihe der Typen weiter hinaufsteigen, entscheidbar werden. Übrigens hat TarskiP Tarski, Alfred, 1901–1983, poln.-am. Mathematiker und Logiker, wie Sie vielleicht wissen, eine ähnliche Df. für „anal[ytisch]“ in einer in poln[ischer] Sprache erscheinenden AbhandlungB gegeben, worüber er im Anzeiger der Wiener Akad[emie] d[er] Wiss[enschaften]I B 1932 No 2 berichtet. – Die Frage, die Sie am Schluß Ihres Briefes vom 27./IX. stellen, ist mit ja zu beantworten, wenn das Red. Ax. oder ein Äquivalent (z. B. Ihre Df.-Regel für Funktionen) im System enthalten ist. – Wie hat Ihnen die Reise nach Schweden gefallen? Haben Sie SkolemP Skolem, Albert Thoralf, 1887–1963, norweg. Mathematiker kennengelernt? Hat ChwistekP Chwistek, Leon, 1884–1944, poln. Mathematiker sein ManuskriptB Chwistek, Leon!1932@„Die nominalistische Grundlegung der Mathematik“, Erkenntnis 3, 1932/33, 367-388 für die ErkenntnisI Erkenntnis, Zeitschrift abgeändert? Wenn ja, würde ich es gerne lesen! Der SchlickzirkelI Schlick-Zirkel, Wiener Kreis wurde zwar wieder aufgenommen, aber die Diskussion mit WaismannP Waismann, Friedrich, 1896–1959, öst.-brit. Philosoph, verh. mit Hermine Waismann wird nicht fortgesetzt, sondern Referate über RamseyP Ramsey, Frank Plumpton, 1903–1930, brit. Mathematiker und Philosoph u. a. gehalten. Wie ich hörte beabsichtigen Sie Mitte Dezember nach Wien zu kommen. Ich würde mich dann sehr freuen ausführlich über die logischen Fragen mit Ihnen zu sprechen, was brieflich schwer möglich ist. Mit den besten Grüßen

Ihr
Kurt Gödel

Brief, hsl., 2 Seiten, RC 102-43-02; Briefkopf: hsl. Wien 28./XI. 1932.

Processed with \(\mathsf{valep\TeX}\), Version 0.1, May 2024.