Mittags 18 Minuten auf (dabei: ins Bad, später in die Küche, und Shades gezogen.) – 3:30-6 Putnam (ich sage Bedenken zu seinem kleinen Aufsatz: Erweiterung von Symbol für ML; aber er will nur kleine Hinzufügungen machen. Er hat selbständig gefunden: Ähnlichkeiten der Q müssen berücksichtigt werden; er schlägt m für Formel Produkt vor. Ich erkläre, dass 2- und n-Familien Problem; und das Pferd-Esel Problem. Ich will ihm nächstens über unsere Überlegungen dazu berichten; er scheint gut im Finden von Lösungen; kann auch allerhand Mathematik. – Auch über Typensystem; und Koordinatensprache.) – Abends 45 Minuten gesessen. – 10h Ina bei mir; lange Zärtlichkeit, aber vergebens; ich erzähle ihr dann von voriger Nacht und sie nimmt es sehr lieb auf. – 11h 3 Nembs, nach 2h viertes, 3:30 noch wach.
