Haben Sie besten Dank für Ihren Brief v. 1. XII. und für die Übersendung der Abhandlung über das Transfinite mit der Beilage über die EntscheidbarkeitB. Entschuldigen Sie bitte, daß ich Ihnen erst jetzt antworte. Ich wollte es erst tun, nachdem ich Ihre Arbeiten gründlich durchgelesen habe. Und dazu bin ich erst jetzt gekommen. Meine FamiliePCarnap, Elisabeth, 1895–1987, auch Cha oder Chacha, Grafologin, Tochter von Luisa und Heinrich Schöndube, von 1917 bis 1929 verh. mit Rudolf CarnapPCarnap, Annemarie Hedwig, 1918–2007, auch Töchterle, Tochter von Rudolf und Elisabeth CarnapPCarnap, Hanneliese, 1920–2016, Tochter von Rudolf und Elisabeth CarnapPCarnap, Johannes, 1922–2012, auch Brüderle, Pfarrer, Sohn von Rudolf und Elisabeth CarnapPCarnap, Eline Dorothea, *1926, verh. Angermann, auch Lini, Graphologin, Tochter von Elisabeth Carnap und Broder Christiansen war längere Zeit hier. Und dann war ich hauptsächlich damit beschäftigt, die KonstitutionstheorieB1928@Der logische Aufbau der Welt, Berlin-Schlachtensee, 1928 druckfertig zu machen; ich habe sie gekürzt und an manchen Stellen noch umgearbeitet. Jetzt endlich ist das MSB1928@Der logische Aufbau der Welt, Berlin-Schlachtensee, 1928 in der Druckerei. Das BuchB1928@Der logische Aufbau der Welt, Berlin-Schlachtensee, 1928 erscheint unter dem Titel: „Der logische Aufbau der Welt; Versuch einer Konstitutionstheorie der Begriffe“ im Weltkreis-VerlagIWeltkreis Verlag, Berlin (dem Verlag des „Symposion“ISymposion, Philosophische Zeitschrift, Dr. W. BenaryPBenary, Wilhelm, 1888-1955, dt. Psychologe und Verleger). Mein „Abriß der Logistik, mit besonderer Berücksichtigung der Relationstheorie und ihrer Anwendungen“B1929@Abriß der Logistik. Mit besonderer Berücksichtigung der Relationstheorie und ihrer Anwendungen, Wien, 1929 ist auch in MS fertig, sodaß ich hoffe, daß er auch bald erscheinen wird. Das MSB1929@Abriß der Logistik. Mit besonderer Berücksichtigung der Relationstheorie und ihrer Anwendungen, Wien, 1929 ist jetzt in Händen von SchlickPSchlick, Moritz, 1882–1936, dt.-öst. Philosoph, verh. mit Blanche Guy Schlick bezw. WaismannPWaismann, Friedrich, 1896–1959, öst.-brit. Philosoph, verh. mit Hermine Waismann.
Selbstverständlich bin ich damit einverstanden, daß Sie das BuchB von GeigerPGeiger, Moritz, 1880-1937, dt.-am. Philosoph haben. Sie können überhaupt meine Bücherei gern nach Belieben benutzen; nur möchte ich Sie bitten, mitgenommene Bücher auf einen Zettel zu notieren, den Sie auf oder in den Schreibtisch legen mögen, damit ich nach Rückkehr über den Verbleib der Bücher Bescheid weiß.
Gesundheitlich geht es mir befriedigend, sodaß ich im S.S. bestimmt wieder in Wien zu lesen gedenke.
Nun zu Ihren ArbeitenBB, die ich hiermit wieder zurückschicke. Bei beiden bin ich mit den Grundgedanken sehr einverstanden, halte aber die Durchführung nicht an allen Stellen für befriedigend.
Über das TransfiniteB. Ihre Auffassung, daß dieses nur als Abkürzung zu dienen hat für Aussagen über das Finite, teile ich durchaus. Doch halte ich die Durchführung dieses Postulates für recht schwierig; ich sehe, auch nach Durchlesen Ihrer Darlegungen, die verschiedene wertvolle Gedanken enthalten, doch noch nicht, wie die Eliminierung des Transfiniten, unter Rettung alles Rettenswerten in Mengenlehre und Analysis, genau durchgeführt werden kann.
Einige Einzelbemerkungen:
S. 3‚ Behauptung 2) „Zur Def. d[er]s[elben] Zahlbegr[iffe] bedarf es nicht des Begr[iffes] der Menge“. Das scheint mir durch Ihre Darlegungen nicht erwiesen. Im Gegenteil: Sie nehmen den Ausdruck „die vorliegenden“ (Elemente oder Dinge) als sinnvoll an; das aber besagt doch: für jedes Element soll als feststehend geltend, ob es eins der „vorliegenden“ ist oder nicht. Das aber ist ja der Begriff der Menge (Klasse). S. 3 unten: eine „Art“ \(A\) scheint mir nichts anderes 🕮 als eine Menge. Und wenn wir „die wohlunterschiedenen Arten \(A‚B‚C\)“ haben, so scheint mir das nichts anderes als die Menge der Mengen \(A‚B‚C\). Ausgeschaltet ist also zwar das Wort „Menge“ bezw. „Menge von Mengen“, aber nur ersetzt durch einen gleichartigenbedeutenden Ausdruck. Mir ist nicht ganz klar geworden, welche Konsequenzen die Ausschaltung des Mengenbegriffs für Ihre Theorie hat. M. a. W.: was ist damit gewonnen, wenn man die Wörter „Menge“ (oder „Klasse“) vermeidet? Nur die Wörter sind vermeidbar, die Klassen selbst nicht; denn nach der „Extensionalitäts“-Auffassung (die ich in der Konst[itutions] Th[eorie] näher begründet, aber freilich noch nicht bewiesen habe, und zu der auch RussellPRussell, Bertrand, 1872–1970, brit. Philosoph, in zweiter Ehe verh. mit Dora Russell, ab 1936 verh. mit Patricia Russell nach der 2. Aufl. der Princ[ipia] Math[ematica]BRussell, Bertrand, und Alfred North Whitehead!1910@Principia Mathematica, Cambridge UK, 1910–1913, 2. Aufl., 1925–1927, neigt, ohne sie jedoch bestimmt anzunehmen) sind Klasse und Aussagenfunktion dasselbe; die Klassenzeichen sind nur Zeichen besonderer Verwendungsart für die „entsprechenden“ Aussagenfunktionen. Da man nun Aussagenfunktionen auf keinen Fall vermeiden kann noch will, so scheint es mir eine bloße Frage der Symbolik, ob man für sie auch Klassenzeichen verwenden will oder nicht. (Ich weiß allerdings nicht, ob Sie der Extens.Ergänzung?-These zustimmen; andernfalls liegt die Sache allerdings für Sie anders).
S. 4 oben. Die Behauptungen: 1) daß die arithm[emtische] Sätze analyt[isch] aus der Def. des Zählenprozesses folgen, 2) daß diese Def. den Zeitbegriff enthalte, haben erst einen deutlichen Sinn, wenn Sie Ihre Axiome und Ihre Grundbegriffe genau angeben. (Das scheint mir überhaupt das wichtigste Erfordernis für die Abhandlung). (der 1. Behauptung möchte ich beipflichten, die 2. einstweilen bezweifeln). Nehmen Sie etwa die PeanoschenPPeano, Giuseppe, 1858–1932, ital. Mathematiker Axiome oder die Beilage (Entscheidb[arkeit]) S. 2 aufgeführten, so trifft die 1. Beh[auptung] zu, die zweite nicht, wie mir scheint.
S. 6. Ihre finite Interpretation einiger Äquivalenzsätze scheint mir richtig und interessant. Ich glaube übrigens, daß man sagen kann, daß die entsprechenden Sätze in den Princ[ipia] Math[ematica]BRussell, Bertrand, und Alfred North Whitehead!1910@Principia Mathematica, Cambridge UK, 1910–1913, 2. Aufl., 1925–1927 (hier, wo es sich um Abzählbares handelt; bei den höheren Mächtigkeiten wird die Sache problematisch) auch nur diesen finiten Sinn haben. Denn es ist ja eins der Hauptprinzipien bei RussellPRussell, Bertrand, 1872–1970, brit. Philosoph, in zweiter Ehe verh. mit Dora Russell, ab 1936 verh. mit Patricia Russell, daß jeder Klassensatz umgeformt werden kann in einen Satz ohne Klassenzeichen; wird diese Umformung im RussellschenPRussell, Bertrand, 1872–1970, brit. Philosoph, in zweiter Ehe verh. mit Dora Russell, ab 1936 verh. mit Patricia Russell Sinne vorgenommen, so heißt es dann ähnlich wie bei Ihnen: „es gibt eine Zuordnungsregel, die jeder (konkret anzugehenden) geraden Zahl eine natürl[iche] Zahl zuordnet und umgekehrt“.
S. 7. Ihre Deutung der Wohlordnung mit Hilfe des Begriffs der „unbestimmten Anzahl“ scheint mir ganz besonders bemerkenswert. Vielleicht ist dies wirklich der Weg, auf dem das Unendliche ausgeschaltet werden kann. Es wäre zu erwägen, ob sich der Begr[iff] „unbest[immte] Anz[ahl]“ als „Variable“ fassen läßt, da dieser Begriff ja ohnehin in der Logik erforderlich ist; eine bestimmte Ordnungszahl wäre dann als Funktion zu deuten.
S. 8. Ihre Verknüpfung der natürl[ichen] Zahlen mit der Zeit, der Brüche mit dem Raum erscheint mir noch problematisch. 🕮
S.10. Ihre Def. des (rationalen) Grenzwertes einer rationalen Folge ist zutreffend.
S. 10. Ihre Def. der Irrat[ional]zahl, vielmehr: der Aussagen über Irr[ational]Z[ahlen] durch Aussagen über Approx.Ergänzung? von rationalen Intervallen, erscheint mir gut und interessant. Bedingung II ist (dem Gedanken nach) richtig, sollte aber genauer so formuliert werden: „Es gibt zu einer beliebigen Rat[ional]Z[ahl] \(K\) stets eine Rat[ional]Z[ahl] \(R\), die größer ist als jede Zahl der Folge, und für die es eine Zahl \(z_{i}\) der Folge gibt, sodaß \(R-K\lt z_{i} \lt R\)“.
Die Beilage über Entscheidbarkeit.B
S. 2. Mitte. Ihre Erledigung des Prinz[ips] der vollst[ändigen] Induktion scheint mir in dieser Form nicht einwandfrei. Ihr Ausdruck: „nennt man nun diese Zahlen 1, 1f, 1ff‚…“ ist unstatthaft. Wenn man die Zahlen so bezeichnen kann, dann allerdings ist jede Zahl durch den Zählprozeß erreichbar. Aber das kann man eben nicht aus den genannten Axiomen beweisen, sondern dazu braucht man noch das Ind[uktions]Prinz[ip]. Denn die genannten 3 Axiome können auch durch eine überabzählbare Zahlmenge erfüllt werden. Und wenn Sie sich auf den Standpunkt stellen, daß Überabzählbares keinen Sinn hat, so hilft auch das nichts: es gibt abzählbare Zahlmengen, die die 3 Axiome erfüllen, aber nicht das Ind[uktions]Prinz[ip], sodaß nicht jede Zahl in endlich vielen Schritten von der ersten aus erreichbar ist. Beispiel: die Zahlen 1⁄\(2^n\) (wo \(n\) die Werte der nat[ürlichen] Zahlen annimmt), der Größe nach geordnet, also:
\(-1/2, -1/4, -1/8, … 1/8, 1/4 , 1/2 \). Die Axiome sind erfüllt: zu jeder dieser „Zahlen“ kann man einen und nur einen Vorgänger namhaft machen, und es gibt eine erste. Dies Beispiel zeigt, daß doch noch die beiden Axiome erforderlich sind: es gibt keine letzte Zahl; und: jede Zahl ist von der ersten aus erreichbar.
S. 2. letzter Satz stimmt zwar, wenn Sie „bestimmte Eigensch[aften]“ definieren wie Abh. S. 12 Mitte (die Formulierung dort ist übrigens nicht ganz klar; ich vermute, daß gemeint ist: „…, in deren Def. keine scheinbare Variable vorkommt“); es fehlt aber der Beweis für den Fall andrer Eigenschaften, und das ist gerade der wichtigere Fall (z. B. im FermatschenPFermat, Pierre de, 1601-1665, fr. Mathematiker Problem, wie mir scheint).
S. 3. Ihre „rationale Übersetzung“ des Satzes vom Grenzwert und der Beweis dazu scheinen mir sehr gut und bemerkenswert.
Daß ich mit dem Grundgedanken auch der Beilage übereinstimme: daß nämlich die arithmet[ischen] Fragen entscheidbar seien, wissen Sie ja. Meine kritischen Bemerkungen sollen also nur dazu dienen, zu helfen, Ihre interessanten Gedankengänge in einwandfreie Fassung zu bringen. An manchen Stellen wird das, glaube ich, leicht möglich sein; an andern Stellen dagegen bin ich nicht sicher, ob die Durchführung in der von Ihnen beabsichtigten Weise möglich ist.
Ich schicke Ihnen hiermit die Abhandlungen mit bestem Dank für die empfangenen Anregungen zurück, und verbleibe mit herzlichen Grüßen auch an Ihre Frau GemahlinPKaufmann, Else, verh. mit Felix Kaufmann
