Registry · Proposition VII.P15 tau-effective formalized

VII.P15 — Randomness as Internal Complexity

All apparent randomness is internal complexity; quantum randomness as structural feature of τ³ fiber.

Book VII Part 6 Ch. 68

Dependency Graph

Depends on (1)

VII.D59

Depended on by (2)

VII.T24 VII.T25

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.randomness_as_internal_complexity