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

So 12 11 – 2 ½ zu Helmers (Ich erkläre ihm meine neue Methode für induktive Logik mit Distanzen. – Meine Idee, die Rechenmaschine für symbolische Operationen zu verwenden, z. B. differieren und integrieren, Gleichungen mit Matrizen, Differentialgleichungen, usw. – Bei Tisch erzählt Mutzli, wie Olafs Mutter, als sie bei ihnen wohnte, sie immer kritisiert hat, auch zu anderen.) 🕮