50Tagebuch 21. XII. 1945 – 21. XII. 1946 [Rudolf Carnap: Tagebücher], Eintrag Do 13. VI. 1946

Letzte Klasse „Mathematik“ (GödelPGödel, Kurt, 1906–1978, öst.-am. Mathematiker, GentzenPGentzen, Gerhard, 1909–1945, dt. Mathematiker und Logiker). – Nachmittags MartinPMartin, Richard Milton, 1916–1985, am. Philosoph hier. Er geht nach PrincetonIPrinceton University, Princeton NJ. (Er hat meine letzten Vorlesungen mit angehört, rühmt meine Darstellung der Grundgedanken von GödelPGödel, Kurt, 1906–1978, öst.-am. Mathematiker; er sagt, Professor ShermanPSherman, Prof., der hierüber vorher bei ChurchPChurch, Alonzo, 1903–1995, am. Mathematiker und RosserPRosser, John Barkley, 1907–1989, am. Mathematiker gehört hat, habe dort die Hauptidee nicht verstanden, hat er ihm jetzt gesagt; erst jetzt bei mir verstanden.)