51Tagebuch 24. XII. 1946 – 21. XII. 1947 [Rudolf Carnap: Tagebücher], Eintrag Mo 21. IV. 1947

10:30 – 1:15 Diskussion mit HalmosPHalmos, Paul, 1916–2006, ung.-am. Mathematiker und SavagePSavage, Leonard, 1917–1971, am. Mathematiker im Eckhart Commons Room. Zunächst einige Bemerkungen zu meinem Kapitel „Estimation“.21Kapitel Estimation, Der Satz von Halmos-Savage ist ein Lehrsatz der mathematischen Statistik, der bei Vorliegen einer dominierten Verteilungsklasse ein notwendiges und hinreichendes Kriterium für die Suffizienz von \(\sigma \)-Algebren (und damit auch von Statistiken) liefert. Damit ist der Satz von Halmos-Savage ein Hilfsmittel, um zu überprüfen, ob gewisse Funktionen eine Datenkompression ohne Informationsverlust ermöglichen. Dann allgemein über Zweck und Anwendung von Schätzungen. Beide sind skeptisch über 🕮 induktive Logik, aber interessiert.