Registry · Theorem
V.T10
tau-effective
formalized
V.T10 — Bounded Time Theorem
The total proper time of the universe t_infinity = sum_{k=1}^{infinity} p_k^{-1} is finite (approximately 0.7052 in primorial units). The universe has finite temporal extent from alpha_1 (the beginning) to the accumulation point alpha_o (the temporal boundary at n -> infinity), where tau^1 is the profinite completion.
Book V
Part 1
Ch. 4