Registry · Theorem
III.T44
tau-effective
formalized
III.T44 — Incompleteness as VM Boundary
Gödel I, Gödel II, and the Halting Problem are E₂ boundary phenomena. They arise because E₂ has self-reference but not self-modelling (E₃). The VM boundary marks where E₂ ends and E₃ begins.