Registry · Proposition V.P33 tau-effective formalized

V.P33 — The arrow has an endpoint

The arrow of time has an endpoint: the arrow (the regime where S_def > 0 and irreversible processes occur) lasts for exactly n_coh orbit steps; beyond the coherence horizon, evolution is coherent circulation with no temporal asymmetry.

Book V Part 3 Ch. 23

Dependency Graph

Depends on (5)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.DefectExhaustion

Symbol: Tau.BookV.Thermodynamics.TheArrowHasAnEndpoint