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

Dependency Graph

Depends on (3)

Depended on by (5)

Lean Formalization

Module: TauLib.BookV.Temporal.BaseCircle

Symbol: Tau.BookV.Temporal.BoundedTimeTheorem