Comment

Comment by thefringthing

> There's a Curry-Howard isomorphism [between] logic [and Bayesian statistical inference].

This is an odd way of putting it. I think it's better to say that, given some mostly uncontroversial assumptions, if one is willing to assign real number degrees of belief to uncertain claims, then Bayesian statistical inference is the only way of reasoning about those claims that's compatible with classical propositional logic.

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton