Registry · Remark IV.R207 tau-effective not_applicable

IV.R207 — Why time ``flows'' and space does not

Time "flows" because rho has no inverse (one-way), while space is "static" because the involution sigma satisfies sigma^2 = id (reversible). This asymmetry is the algebraic origin of the Lorentzian signature (-,+,+,+): the minus sign for rho-irreversibility, plus signs for sigma-invertibility.

Book IV Part 1 Ch. 3

Lean Formalization

Module: