Registry · Remark V.R21 tau-effective formalized

V.R21 — Finite but unbounded in tick count

The universe has finite proper time t_infinity but infinitely many alpha-ticks: the ticks grow shorter super-exponentially (each tick ell(Delta_k) = p_k^{-1} decreases), so infinitely many fit into a finite duration, analogous to the convergent series sum 2^{-k} = 2.

Book V Part 1 Ch. 4

Lean Formalization

Module: TauLib.BookV.Temporal.BaseCircle

Symbol: Tau.BookV.Temporal.FiniteButUnboundedInTickCount