Registry · Remark IV.R130 tau-effective not_applicable

IV.R130 — Mass from nothing

The nucleon mass decomposition makes vivid E = mc^2: the nucleon's mass is overwhelmingly not the mass of its parts but the energy cost of confining them; in the tau-framework this is a structural consequence of the C-sector's non-truncating denominator (1 - iota_tau), whose infinite geometric series stores macroscopic energy.

Book IV Part 6 Ch. 48

Lean Formalization

Module:

Symbol: