Registry · Lemma I.L05 established formalized

I.L05 — Growth Escape

Tetration escapes the primorial tower: for any tower depth d, there exists c such that 2^^c mod M_d != 2^^c. Quantitative shadow of saturation — the 4th hyperoperation level produces values that outrun any finite primorial approximation.

Book I Part 3 Ch. 12

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookI.Denotation.GrowthEscape

Symbol: Tau.Denotation.GrowthEscape.growth_escape