Ina holt Gusti Kalmus am Flugplatz ab. (Wir sprechen vormittags und mittags zusammen. Sie berichtet mit Tränen über ihre Selbstvorwürfe; wir versuchen, sie zu beruhigen. Kalmus wollte gern nach Wien übersiedeln; Musik und Freunde. Aber Gusti fand die Menschen dort unerträglich, im Grunde noch Nazis. Sie will einstweilen in Los Alamos bleiben.) – Nachmittags über Modalitätslogik (Burks hat mich auf den Aufsatz von Kripke, JSL März 591Kripke, Saul A. „A Completeness Theorem in Modal Logic.“ The Journal of Symbolic Logic, vol. 24, no. 1, 1959, pp. 1–14., www.jstor.org/stable/2964568. Accessed 28 June 2021., aufmerksam gemacht, der die Vollständigkeit seines Modalfunktionskalküls beweist. Mir scheint das nicht verträglich damit, dass die Klasse der nicht-beweisbaren Sätze im gewöhnlichen Funktionskalküls, nicht rekursiv abzählbar ist, also auch nicht die entsprechende Klasse der Sätze \(\sim \!\square \alpha \). Siehe meine Blätter.)
