Registry · Theorem III.T51 tau-effective not_applicable

III.T51 — Physical Admissibility Theorem

Every physically realizable Turing machine is τ-admissible. E₁ constraints (finite spatial extent, causal locality, bounded energy) block all Five Forbidden Moves. Combined with the Move-Bridge Correspondence (III.T43).

Book III Part 9 Ch. 78

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module:

Symbol: