pith. machine review for the scientific record. sign in
def definition def or abbrev

renormalizationImplications

show as:
view Lean formalization →

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

generate prose now

formal statement (Lean)

 163def renormalizationImplications : List String := [

proof body

Definition body.

 164  "UV divergences are artifacts of continuum approximation",
 165  "The true theory is discrete and finite",
 166  "Renormalization is correct effective description",
 167  "Cutoff effects could be observable at high enough energies"
 168]
 169
 170/-! ## The Hierarchy Problem Revisited -/
 171
 172/-- The Standard Model has a hierarchy problem:
 173    Why is the Higgs mass (125 GeV) << Planck mass (10¹⁹ GeV)?
 174    Loop corrections want to push m_H up to the cutoff.
 175    In RS, the hierarchy becomes a φ-cascade, not fine-tuning. -/

depends on (12)

Lean names referenced from this declaration's body.