Registry · Theorem VII.T15 tau-effective formalized

VII.T15 — Bayesian Exclusion of Solipsism

Under finite resources, solipsism is posterior-probability suppressed by C/K factor; structurally excluded.

Book VII Part 2 Ch. 31

Dependency Graph

Depends on (1)

VII.D39

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.bayesian_exclusion_of_solipsism