11-2 Kemenys hier (weil bei ihnen der Küchensink verstopft ist). Er hat diese Nacht bis 3h an Prob. gearbeitet. Er fand, dass meine Symbol-Methode D für zwei Familien, zusammen mit dem Irrelevanzaxiom für zwei Familien, zu negativer analoger Wirkung führt. Dies macht Methode D zweifelhaft. – Er sagt, er hat bei RAND viele und Maschine für symbolische Transformation nachgedacht; es geht, wenn man für jedes Symbol der Formel ein ganzes Wort im Maschinengedächtnis nimmt. Er will eine Umformungsaufgabe von jemandem programmieren lassen. Ich sage, dann wäre hierfür wohl eine Maschine gut, die kürzere Wörter nimmt. Vielleicht sollte sie dann ein multiples Operationsorgan für mehrere Wörter haben, die nicht notwendig die ganze Formel darstellen.) – Nachmittags über Prob. gearbeitet (allgemeine m-Werte für 1 und 2 Familien gleichzeitig, mit Irrelevanzaxiom für 2 Familien, aber ohne das Irrelevanzaxiom der \(\lambda{}\)-Methode.
