10-9 ganzen Tag Bar-Hillel hier (für eine Woche, mit Konsultationen bei RAND und Ramo-Wooldridge. – Er war schon bei MIT (hat aber Jeffrey nicht gesehen), und in Princeton (Hempel, Putnam, Gödel). – Er sagt, es geht jetzt gut mit Shulamith, sie hatten schöne Zeit in Europa; auch mit den Kindern ist er jetzt besser, nicht mehr so empfindlich und gereizt über Störungen. – Er erzählt, dass früher, als er Scheidung überlegte, Fraenkel verständnisvoll und tolerant war (aber mit seinen eigenen Kindern war Fraenkel tyrannisch), Frau Fraenkel ist religiös und moralisch strenger als er, auch in koscher essen. – Über Maschinenübersetzung; er sagt, man arbeitet jetzt allgemein ohne Pre-Editor. Er versucht, allen beizubringen, dass es nicht genug ist, wenn die Maschine in 90 oder 95 % richtig übersetzt; sondern wenn die Maschine nicht sicher ist, müsste sie die möglichen Alternativen angeben (was manche andere nicht wollen), sodass der Post-Editor das Richtige auswählen kann. – Er sagt, er hat immerzu Research Grant von ONR, auch während des Jahres; sie prüfen nicht nach, ob die Universität ihn teilweise vom Unterricht frei gibt; der Vertrag geht durch die Universität; und die bezieht einen großen Teil des Grants. – Über einige seiner Aufsätze. (Ich spreche dagegen, dass man nur von statements, d.h. Behauptungen, wahr und falsch sagen kann, nicht von Sätzen; er schränkt es ein: von Sätzen nur für besondere Klasse und nur derivativ.) Er möchte auch „Satz“ als nicht vollständig interpretierten Term, also theoretischen Term. – Ich frage, ob er nächsten Sommer vielleicht herkommen könnte für induktive Logik, auf meinen NSF Grant. Er: Er hat eigene Grants. Die Schwierigkeit ist, dass er für mehrere Monate nicht ohne Familie kommen möchte; 🕮 und das würde wohl zu teuer. – Rachel hat er seit 1 ½ Jahren nicht mehr gesprochen; er glaubt, die Trennung war schwerer für sie als für ihn; er sagt: es war gut, dass er es so gemacht hat, dass sie den Bruch ausgesprochen hat.)
