IX fertig korrigiert. – 3 ½ – 6 Bohnert hier. (Erzählt einiges vom Kongress nach meiner Abfahrt. Putnam sprach sehr kritisch über unsere Unterscheidung zwischen Beobachtungssprache und theoretischer Sprache. Es gebe keine scharfe Grenze. Church, Heyting und Tarski über Grundlagenfragen. Church verteidigte Logizismus; Heyting erinnerte an den Königsbergkongress mit von Neumann . Tarski plädierte gegen Nominalismus, den er selbst anfangs vertreten hatte. Er meint jetzt, man soll nicht eine Schranke machen, über die hinaus keine 🕮 Entitäten mehr zugelassen werden. – Bohnert hatte in den letzten 2 Wochen hier vor dem Kongress wieder bessere Beziehung mit Dory, die sich sehr bemühte, nett zu ihm zu sein. Aber zum Schluss wollte sie ihn nicht ohne sie abfahren lassen; er musste sie schließlich auf der curb sitzen lassen, weinend, und wegfahren. – Er hat Angebot von Northrop für permanente Anstellung mit ca$ 14000. Sie sind bereit zu warten 4 Monate, bis er die thesis fertig hat. Sie wollen ihn aber bald mal für 2 Wochen Konsultation buchen, für ca 600 $, was er wenig findet – Er beeilt sich jetzt, die erste Version der thesis fertig zu machen, damit er sie nach Philadelphia schicken kann.) – Abends gebadet.
