Diagonalizing Through the $\ddot{I}‰$-Chain: Iterated Self-Certification on Bounded Turing Machines and its Least Fixed Point

Miara Sung

Bounded self-certification in Turing machines fails because self-simulation necessarily incurs a strictly positive temporal overhead. We translate this operational constraint into…