60Tagebuch 1. I. 1957 – 4. III. 1959 [Rudolf Carnap: Tagebücher], Eintrag So 7. IX. 1958

So 7 10-1 Jeffrey und David Kaplan hier. David hat gestern abend angerufen, hat Lösung für das gleichseitige Dreieck von Prädikaten, gefunden; er hat gefunden, dass mein A5 unverträglich mit den anderen ist; er nimmt schwächeres A5’; aber damit findet er rekursive Formeln für Symbol-Wert für s+, aus denen für s. Aber ich habe Bedenken über 🕮 A5’ .) – David geht; Mia kommt. Sie und Jeffrey hier zum Essen, bis 2 ½. (Dann nimmt Mia ihn mit zu sich; Ruth Anna ist dort. Er soll ihnen Grünbaum erklären.) – Nachmittags Reply weiter durchgesehen. – (Nachmittags etwas tense, 2 mal ½ Miltown.)