(Ina fährt Mia zum Augendoktor nach Beverly Hills. Gestern abend flog etwas Brennendes von einem Streichholz in Mias Auge; Frank fuhr sie zur UCLA-Klinik, und die machten eine Verabredung mit dem Augendoktor; und sie fuhren dahin. Heute sagt der Doktor, dass eine vernarbte Stelle wahrscheinlich sich glatt auswachsen wird, weil nur an äußerer Schicht der Hornhaut; es ist nicht vor der Pupille, also Sehen nicht gestört.) Mia zum Lunch hier. (Nachher fährt Ina sie nach Hause.) – 4h erstes Meeting des logischen Kolloquiums (organisiert von Montague, auf seine Initiative, zusammen mit dem Mathematiker C.C. Chang von USC, in Logik, vielleicht Schüler von Tarski); Vortrag von C.C. Chang: „Algebraische Analyse von unendlich-wertiger propositionaler Logik“. (In Humanities Gebäude UCLA, Ostflügel. Er beginnt mit Lukasiewicz System der unendlich wertigen Logik. Zum Glück hatte ich das im Tarski Band heute noch mal gelesen. Er gibt die Matrix an für Implikation und Negation, ohne irgendeine Andeutung von Motivierung oder Konsequenzen. Dann gibt er Lukasiewicz’ 5 Axiome an, von denen Luk. vermutete, dass sie hinreichen für das System. Er sagt, andere haben neuerdings einen Beweis gefunden, der wird 40 Druckseiten umfassen! Er hat eleganten Beweis gefunden mit Hilfe von abstrakter Algebra und Gruppentheorie. Fast der ganze Vortrag besteht aus der Darstellung dieses Beweises. Ziemlich bald wird es unverständlich für mich. Für Kalish und die Grad. Philosophiestudenten und Matheson sicherlich noch früher, weil er 🕮 am Anfang gar keine informalen Erläuterungen gegeben hat. – Am Ende fordert Montague auf, Fragen zu stellen. Zuerst sind keine ; dann Einiges von 2 Mathematikern, anscheinend Profs und Spezialisten in Algebra. 5:10 ist alles zu Ende. Ich sage Montague, das war schwere Kost; er sagt: ja, und bei der Geburt nicht leicht verdaulich. – Es waren ungefähr 15 Zuhörer, vielleicht zu ungefähr gleichen Teilen Mathematiker und Logiker. Für die Philosophen war diese Sitzung ein vollständiger failure!)
