12:30-3 Bohnert hier. (Es geht ihm besser. Er hat den Aufsatz über util. für Stanford beinahe fertig. – Ich erkläre ihm meine Lösung für k Punkte im logischen Raum, mit Distanzen. Ich sage, Helmer konnte das Integral für die einfache Glocks Kurve Symbol aus 2 ZeichenKlammerausdruck nicht allgemein lösen. Meine Idee: Man sollte die Rechenmaschine für symbolische Operationen verwenden, allgemein, differieren, integrieren, usw.; mit \(\lambda{}\)-Operator für Funktionen und Lukasiewicz Notation ohne Klammern. Er will sehen, ob die Leute in seiner Firma vielleicht daran interessiert sind. – Ich lese ihm vor aus Blacks Buch, dass die Hoffnungen für Semantik evaporiert sind. Er: Das ist nicht so falsch: nur wenige Philosophen verstehen die Wichtigkeit. Die meisten wissen nicht, wofür symbolische Logik gut ist; er sagt, dass er in meinem Kurs in Chicago einige wichtige Einsichten gewonnen hat, die die Studenten gewöhnlich nicht bekommen. Er möchte ein Buch über Logik für Collegestudenten schreiben, das diese Dinge betont; er hat aber keine Zeit.) – An Autobiographie geschrieben.
