Nachmittags QuinePQuine, Willard Van Orman, 1908–2000, am. Philosoph, verh. mit Naomi Quine (1932–1947) und Marjorie Boynton Quine (1948–1998) und Mac LanePMacLane, Saunders, 1909–2005, am. Mathematiker hier. Junger, 🕮 begabter Mann, diskutiert klar. Über Verhältnis von Objektsprache und Syntaxsprache; ob nicht immer die letzte Sprache verstanden und daher nicht-formalisiert sein müsste; ich versuche, das zu unterscheiden. Er war einige Jahre in Göttingen, ist daher etwas von BernaysPBernays, Paul, 1888–1977, dt.-schweiz. Mathematiker beeinflusst, kritisiert aber auch die Unbeständigkeit im Begriff „finit“. Er fordert mich im Auftrage von Prof. CurryPCurry, Haskell, 1900–1982, am. Mathematiker und Logiker auf, am 1. September hier einen allgemeinen Vortrag (40 min.) zu halten, für die Versammlung der neuen Association for Symbolic LogicIAssociation for Symbolic Logic (ASL).64Siehe TB 1. IX. 1936R. Ich sage zu. Es soll kein neuer Beitrag sein, sondern Übersicht; kann technisch sein; QuinePQuine, Willard Van Orman, 1908–2000, am. Philosoph, verh. mit Naomi Quine (1932–1947) und Marjorie Boynton Quine (1948–1998) meint: Vielleicht über Unterschied zwischen „analytisch“ und „beweisbar“ usw. – 8h wir mit QuinePQuine, Willard Van Orman, 1908–2000, am. Philosoph, verh. mit Naomi Quine (1932–1947) und Marjorie Boynton Quine (1948–1998) zu WhiteheadsPWhitehead, Alfred North, 1861–1947, brit.-am. Philosoph. Frau Henderson BirkhoffPBirkhoff, Margaret, verh. mit George David Birkhoff, später auch HendersonBirkhoffPBirkhoff, George David, 1884–1944, am. Mathematiker, verh. mit Margaret Birkhoff, Vater von Garrett Birkhoff. Diesmal ziemlich langweilig. Ina ist entsetzt über die alten, leblosen Leute. Frau Henderson BirkhoffPBirkhoff, Margaret, verh. mit George David Birkhoff ist zwar lebhaft, aber konventionell und markiert heiteres Interesse an allem. BirkhoffPBirkhoff, George David, 1884–1944, am. Mathematiker, verh. mit Margaret Birkhoff, Vater von Garrett Birkhoff selbst ist konventionell und eng. WhiteheadPWhitehead, Alfred North, 1861–1947, brit.-am. Philosoph alt und weise, den anderen sehr überlegen; schwer zu verstehen. Man macht allerhand Vorschläge für unsere Wohnung im Sommer.
