60Tagebuch 1. I. 1957 – 4. III. 1959 [Rudolf Carnap: Tagebücher], Eintrag Sa 13. IV. 1957

10 – 12 ½Matthews und Kuhns hier (zum ersten Mal seit 5 Wochen. Ich zeige ihnen meine Lösung von \(\lambda{}\) mit S, basiert auf ziemlich einfache \(\delta{}\)-Funktion; daher keine Prüfung von Quotient Theoreme nötig! Kuhns soll weiter daran arbeiten, es mit unserer allgemeinen Formel für dritten Grad vergleichen; er soll, wenn möglich, auch mehrteiliges Symbol bestimmen.) Wir sitzen draußen. Dann schnell drinnen gegessen. – Über \(\lambda{}\).