33Tagebuch 31. XII. 1929 – 6. I. 1931 [Rudolf Carnap: Tagebücher], Eintrag Do 16. X. 1930

Nachmittags mit GödelPGödel, Kurt, 1906–1978, öst.-am. Mathematiker. Er widerlegt BehmannsPBehmann, Heinrich, 1891–1970, dt. Mathematiker Beweis, dass jeder Existenzbeweis konstruktiv ist. Abends mit InaPCarnap, Ina (eig. Elisabeth Maria immacul[ata] Ignatia), 1904–1964, geb. Stöger, heiratete 1933 Rudolf Carnap in KrausPKraus, Karl, 1874–1936, öst. Schriftsteller Vorlesung; er singt die ganze OffenbachPOffenbach, Jacques, 1819-1880, fr. Komponist-Operette „Pariser Leben“, Stimme und Gesten schauspielerisch gut.