Registry · Theorem III.T30 tau-effective formalized

III.T30 — TTM τ-Nativity

A TTM program IS a τ-address operating ON τ-addresses producing τ-addresses. Program = data type. Self-referential identity makes the TTM an E₂ object: code contains its own decoder.

Book III Part 9 Ch. 55

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIII.Computation.TowerMachine

Symbol: ttm_nativity_check