Registry · Remark V.R35 tau-effective formalized

V.R35 — The speed of light is not ``fast''

The speed of light c is not a speed but a unit conversion factor between temporal and spatial readouts. "Nothing travels faster than light" means in tau-language "no intertwiner has m^2 < 0": there are no tachyonic characters in H_partial[omega], which is a theorem following from positive-definiteness of the spectral mass operator.

Book V Part 1 Ch. 7

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Temporal.MacroReadout

Symbol: Tau.BookV.Temporal.TheSpeedOfLightIsNotFast