Nachmittags kommt Paul RuthlingPRuthling, Paul, 1897–1972, verh. mit Maria Ruthling; er bleibt über Nacht (zum ersten Mal seit Dezember 44). – 3 – 5:45 (!) hier: Norman MartinPMartin, Norman M., 1924–2016, am. Philosoph und Computerwissenschaftler, TennenbaumPTennenbaum, Stanley, 1927–2005, am. Logiker, Tracewell‚PTracewell StracheyPStrachey =? Christopher Strachey, 1916–1975, brit. Informatiker. (Diskussion über verzweigte Typentheorie, extensionale Sprache.) – BohnertPBohnert, Herbert G., am. Philosoph hier bis 8.
