Registry · Proposition I.P47 conjectural planned

I.P47 — Bayesian Factorization

Every tau-Bayesian state factors: S = S_+ o e_+ + S_- o e_-, where S_+/S_- are classical probability distributions on {T,F}. Boolean recovery applies to each sector independently.

Book I Part 12 Ch. 48

Dependency Graph

Depends on (3)

Lean Formalization

Module:

Symbol: