Sortiert und gekramt; alte mss durchgesehen. 🕮 12 ½ – 2 ½Karl Menger mit Frau Hilde und Tochter Eve hier. Er arbeitet für den Sommer bei Ramo-Wooldrige12https://en.wikipedia.org/wiki/TRW_Inc.. Sie wohnen in einem Motel am Ende von Sunset Boul., nahe am Meer. Er geht täglich schwimmen, im geheizten Schwimmteich. Er fährt zur Arbeit 20 Meilen durch Topanga Canyon; er hat Auto gemietet (Volkswagen, $ 190 monatlich!). Aus Spargründen sind sie mit Bahn gekommen, day coach! Sie wandern oft auf die nahen Berge, bis Höhe 1300‘. – Er hat in Wien Neider gesprochen, Thirring, dessen Sohn und jetzt Nachfolger, Frau Schlick, die besonders nett war, und Frau Hahn. Er hat Vorträge gehalten in Frankreich, Schweiz, und Italien. – Etwas über Mathematik gesprochen mit ihm und Tochter, die Chemie studiert. Ich erkläre ihm sein Missverständnis meiner Formulierung in Enc I/3, in seinem Aufsatz für Synthese Festschrift (siehe k dort). Er erklärt mir ein „interessantes neues Ergebnis: dass aufgrund des Sheffer-Striches die mathematische Implikation nicht wirklich definierbar sei! Ich lache ungläubig. Was er wirklich zeigt, ist aber nur, dass man nicht ‚\(C\)‘ (Lukasiewicz) allein definieren kann, sondern nur \(C_{pq}\); er gibt Verfahren an, mit zusätzlichem prim ‚\(I\)‘ derart, dass \(I(p‚q) = p\), um ‚\(C\)‘ allein zu definieren. Ich sage, die Entdeckung ist nicht neu; man hat mit definierbar immer das gemeint; also bestand kein Irrtum, wie er glaubt. – Seine Frau würde gern von Chicago weggehen, spätestens nach retirement. Aber er kann sich nicht von der großen Bibliothek und vielen Sachen in dem großen Haus trennen; sie aber sagt, dass ist durch das große Haus überlastet. – Es war nettes 🕮 angeregtes Gespräch; aber wir vermeiden, aufs Politische zu kommen; bei Erwähnung vondOriginal bei. Russell machte er eine abfällige Andeutung.)
