t_universe
plain-language theorem explainer
The definition supplies the numerical age of the universe as 4.4 × 10^17 seconds for scaling arguments that suppress the cosmological constant in Recognition Science. Researchers deriving the observed Λ from cosmic hierarchy ratios would cite this value when forming factors such as (τ₀ / t_universe)^2. The entry is a direct constant assignment with no reduction steps or lemmas applied.
Claim. The age of the universe is defined as $t_0 = 4.4 × 10^{17}$ seconds.
background
The module derives the cosmological constant from the J-cost ground state of the vacuum ledger rather than from empty-space fluctuations. Observed Λ is stated to be ~10^120 times smaller than naive QFT expectations, and the RS approach invokes φ-scaling plus the cosmic-to-Planck ratio to explain the smallness without fine-tuning. The upstream definition in DarkEnergy supplies the same quantity with value 4.3 × 10^17 s and is quoted as 'The age of the universe (in seconds).' The sibling cosmicRatio is formed as t_universe / t_planck and is shown to exceed 10^60.
proof idea
Direct numerical assignment of the universe age in seconds, taken from the upstream DarkEnergy definition with a minor rounding adjustment to 4.4e17.
why it matters
This constant is referenced by hypothesis2, lambda_order_of_magnitude, and lambda_smallness_natural. The last states that Λ / M_planck^4 ≈ (t_planck / t_universe)^2 ≈ 10^{-122} is the natural ratio set by cosmological evolution. It therefore supports the module's target of resolving the cosmological constant problem via RS ledger cost and φ-scaling, consistent with the eight-tick octave and D = 3 spatial dimensions.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.