10-12 Department Meeting (über Einladung von Moody). 4-8:30 Raymond Smullyan hier. (Er war in Seattle und Berkeley für Vorträge, finanziert vom Lincoln Laboratory MIT. Dort hat er diesen Sommer für Rechenmaschine Leute Logik gelehrt, EiModelle. Das will er als kleines Buch veröffentlichen. Er zeigt mir die ersten 4 Kapitel. Es scheint besonders einfach und elegant dargestellt. Ich erzähle von meiner Analyse. Er ist bisher von seiner enttäuscht, will aber vielleicht in Princeton wieder anfangen, die empfehlen Dr. Wallis. Er ist geschieden; sie hat es beschlossen gegen seinen Wunsch; er möchte wieder heiraten, wenn er jemand findet. Er sagt, ich sähe jünger aus als früher. Abends kommt auch Bohnert. Smullyan zeigt Zauberei, zieht bunte Tücher aus Bohnert Tasche, die aber dann aus seiner Hand verschwinden.) Ich Ich gehe 8 ½ zu Bett. Ina ist inzwischen zum Hundetraining gegangen, kommt 9 ½ zurück. Sie hatte Smullyan eingeladen, hier zu übernachten. Aber Bohnert nimmt ihn mit zu sich, weil Smullyan morgen früh zum Flughafen muss. Sie gehen 10 ½.
