Registry · Definition VII.D59 tau-effective formalized

VII.D59 — Internal Randomness

Randomness is a feature of internal structural complexity, not imported from outside; Kolmogorov incompressibility.

Book VII Part 6 Ch. 68

Dependency Graph

Depended on by (2)

VII.P15 VII.T24

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.InternalRandomness