An \(\lambda{}\) gearbeitet. – 12 ½ – 2 ½Bohnert hier. (Er hat die Behandlung von Dr. Hacker aufgegeben. Dieser hat ihm gesagt, dass bei seiner jetzigen Einstellung die Behandlung keine gute Aussicht hat. Ich sage ihm, dass ich bei Dr. Mott angefangen habe, und künftig zweimal wöchentlich gehen werde. – Er berichtet über interessanten Bericht, den 3 Leute bei RAND bei der Computer-Konferenz gegeben haben, über Verwendung des Computers zur Auffindung von gewissen lTheoremen im Satzkalkül. Das ist anscheinend nur als Vorstufe gemeint zu ähnlicher Anwendung für Theoreme von ASen, z.B. Geome.) – Nachmittags mit Ina spazieren, 20 Min. –
