Nachmittags 3-5:20 Blackwell, Savage und Helmer. (Ich erkläre die neueren offenen Probleme in induktiver Logik, um ihre Mitarbeit anzuregen. Zu Kemenys Beweis meint Savage, dass De Finetti im Grunde dies Ergebnis schon habe; Blackwell meint, man könne „Wettsystem“ in verschiedener Weise abgrenzen; viele mehrere Sachen wären schon gemacht worden, und der entsprechende Beweis dafür. (nämlich in bezug auf Kolmogoroffs Axiome). – Ich erkläre das Problem des Analogieschlusses mit mehreren Familien, und unsere Lösung. Auch das prevailing von Symbol. Sie schwanken, ob das ein Einwand ist. Olaf: vielleicht nicht, weil bei großem Symbol die Zahlenhäufigkeiten schon ziemlich gesichert sind und s daher analoge wenig ankomme. 🕮 Aber Savage, nach Schwanken, meint schließlich, es sei ein Einwand. Ich frage nach dichten Funktionen für mehrere Familien. Savage denkt nach, findet aber keine Lösung; es sei aber verwandt mit einem Problem, über dem er und Blackwell arbeiten. – Quantitative Sprache. Blackwell ist nicht erstaunt, dass normale Funktion keine dip für Symbol-liefert; meint, dass Cauchy-Verteilung es liefern würde. Ich sage: Ja, das habe ich schon gefunden; aber Schwierigkeit mit Integral über über Produkt. Er sagt: Ja, kompliziert. Helmer arbeitet daran. Ich frage nach grammatische Charakterreihe; Savage: Das ist poisonous, wird zuweilen negativ! Savage sagt: Vielleicht sollte man dichte Funktion im Funktionsraum suchen, also für beliebige Verteilungsfunktion im Universe. Ich sage: dies, oder wohl richtiger m für altdeutsches Z, ist vermutlich eine Symmetriefunktion der Distanzen.) Sie müssen plötzlich gehen; wir wollten sie zum Abendessen behalten, hatten das vorher nicht gesagt. Savage kommt nach der Berkeley Konferenz möglicherweise zurück, falls er nicht nach London geht, zur Communicn. Konferenz.
