10:30-2 Kemeny alleine hier. (Jean ist am Packen. – Er hat gefunden, dass auch das schwächste C-Axiom nur für die beiden extremen Lösungen erfüllt ist. Der Beweis ist zwar noch nicht ganz durchgeführt, aber er ist schon praktisch sicher. So haben wir jetzt nur das Axiom der Summierung über C für eine Reihe oder column übrig! Er meint die Symbol-Methode ist doch nicht schlecht; aufgrund der Reichenbach Forderung muss m12 schließlich überwiegen. Er gibt aber zu, dass die Form der Summe zweier m das csehr kompliziert macht. Wir wissen zwar jetzt, dass es von allen Q-Zahlen abhängen muss; dabei könnte es aber doch einfacher sein. – Ich sage ihm, dass das Department wahrscheinlich versuchen wird, mich ein Jahr länger zu behalten, bis 1959; dies würde den Plan für das Stanford Center ein Jahr weiter verschieben. Er sagt, so weit in die Zukunft macht er seine Pläne noch nicht. – Er sagt, Helmer ist meist mit Kreuzworträtseln und dergleichen beschäftigt, wenn er ihn sieht. Er bezweifelt, ob er viel leistet in RAND. Das Projekt, das Helmer seit einiger Zeit leitet und wohl selbst vorgeschlagen hat, scheint ihm ganz nutzlos (er sagt nicht, was es ist). – Dalkey ist fleißig und tüchtig; jetzt sehr beschäftigt mit dem neuen Modell für Weltsituation.) – Nachmittags Mutzli und Olaf hier. –
