Mittags mit InaPCarnap, Ina (eig. Elisabeth Maria immacul[ata] Ignatia), 1904–1964, geb. Stöger, heiratete 1933 Rudolf Carnap im Garten des DominikanerkellersLWien!Dominikanerkeller gegessen. Zu UngerLWien!Unger. 5 – 9 Café ReichsratLWien!Café Reichsrat. Zuerst erzählt mir GödelPGödel, Kurt, 1906–1978, öst.-am. Mathematiker von seinen Entdeckungen. Dann frage ich ihn wegen Verzicht auf verzweigte Typentheo483rie. FeiglPFeigl, Herbert, 1902–1988, öst.-am. Philosoph, seit 1931 verh. mit Maria Feigl kurz da; WaismannPWaismann, Friedrich, 1896–1959, öst.-brit. Philosoph, verh. mit Hermine Waismann und KasperPKasper, Maria, 1904–1989, auch Kasperle, heiratete 1931 Herbert Feigl. 🕮 WaismannPWaismann, Friedrich, 1896–1959, öst.-brit. Philosoph, verh. mit Hermine Waismann gibt uns den Inhalt seines KönigsbergerLKönigsbergITagung für Erkenntnislehre@2. Tagung für Erkenntnislehre der exakten Wissenschaften, Königsberg, 5.-7.IX.1930 Vortrags an.105Vgl. TB 7. IX. 1930R.