12 zu Dr. Mott. (Mehr über Sorgen über das Herz; er spricht von dem starken Einfluss des Todes des Vaters, wodurch dem Kind auch die 🕮 Möglichkeit des eigenen Todes oder eines großen Verlustes auftauchte. Ich berichte über die früheren Besorgnisse um mein Herz in Chic 1951, wo dann Dr. Ortmayer nichts finden konnte. Er spricht von der Umwandlung der Sorge um den Rücken in die um das Herz, vielleicht weil die frühere analytisch aufgeklärt worden war.) Ich fahre zum Department Office, (unterschreibe die payroll, und gebe Doris die Einladung für meine Diskussion; ich spreche kurz mit Kalish, Pike, Sagler.) –
4-4:30 Mathews hier (er hat Versuche gemacht, die \(\delta{}\)-Funktion für gegebene M-Funktion durch Integration zu finden.) 4:30-8:30 Robert McNaughtonund Bohnert hier. (Ich sehe M. zum ersten Mal. Er hat bei Quine studiert, war jetzt ein Jahr in Stanford für , wird jetzt an die Universität von Pa gehen, Electrical Engin.; arbeitet an Logik für Rechenmaschinen, z.B. minimale Darstellungen wie Quine. Wir sprechen auch über Wahrscheinlichkeit; er ist sehr interessiert, war auch etwas von Burks beeinflußt, aber sagt, der müsse sein System genauer angeben. Ich sage: Ich glaube, dass Symbol existiert, weil das für Möglichkeit rationaler Entscheidung nötig ist; er stimmt lebhaft zu, dass es sich mehr um rationale Entscheidung als um rationalen Glauben handelt. Auch über AS der Mengenlehre. Ich sage: Für mich ist jedes Axiom eine teilweise Festlegung im Sinne von „Menge“. Er meint, die Typentheorie sei intuitiv sicherer gegen Widerspruch als Zermelo-Fraenkel, aber das ursprüngliche Zermelo System mindestens ebenso sicher. – Er hat blondes Haar, nettes Gesicht, ist ruhig und sehr verständnisvoll im Gespräch.)
