Cox’s theorem seems to reduce the gap between the formal and the informal, by deriving probability theory from axioms that seem easier to informally assess.
Yes, and that is to me one of the main attractions of Bayesianism; but nevertheless, there is still a jump there between our informal considerations and formal means, and that ineradicable jump is what Perlis is talking about.
--Alan Perlis, Epigrams in Programming
Cox’s theorem seems to reduce the gap between the formal and the informal, by deriving probability theory from axioms that seem easier to informally assess.
Yes, and that is to me one of the main attractions of Bayesianism; but nevertheless, there is still a jump there between our informal considerations and formal means, and that ineradicable jump is what Perlis is talking about.