59Tagebuch 30. VIII. 1954 – 31. XII. 1956 [Rudolf Carnap: Tagebücher], Eintrag So 26. VIII. 1956

So 26 10:30-2:30 bei Kemenys. (Ich berichte, dass das Strukturaxiom zu stark scheint. Er vermutet, das die Schwäche der C-Axiome, die die Anzahl der Argumente von C beschränken, auch zur Aufspaltung in Faktoren führe und daher zu stark sein wird; er will es untersuchen. – Er zeigt mir das Ergebnis, das die Rechenmaschine 🕮 geliefert hat für seine Aufgabe: eine lange Formel des Satzkalküls aus gewöhnlicher Notation in die von Lukasiewicz zu übersetzen und dann auszuwerten.)