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