pr (neue Idee für Zwischenreihe, mit proximity). 12-2 Kalish hier. (Das Kolloquium hat jetzt alle 2 Wochen eine Sitzung; er selbst wird sprechen nächste Woche über Prädikatenkalkül erster Ordnung : Dana Scotts neuer Beweis für Kompaktheit, ohne Gödels Vollständigkeitstheorem zu benutzen, direkt modelltheoretisch; er sagt aber, ich brauche nicht zu kommen, er wird bald einen Aufsatz darüber veröffentlichen. – Er sagt, Robinson sei persönlich sehr nett, tolerant und verstehend; auf meine Frage: Robinson sei wirklich sehr hervorragend, schreibe jetzt sein drittes Buch, habe wichtige Sachen gefunden.)
