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

comparisonTable

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)

 223def comparisonTable : List String := [

proof body

Definition body.

 224  "Dim. reg: No physical cutoff, just mathematical trick",
 225  "Pauli-Villars: Artificial heavy particles",
 226  "Lattice: Physical for computation, not fundamental",
 227  "Strings: Physical but requires extra dimensions",
 228  "RS: Physical from information-theoretic discreteness"
 229]
 230
 231/-! ## Falsification Criteria -/
 232
 233/-- The derivation would be falsified if:
 234    1. Spacetime is truly continuous at all scales
 235    2. UV effects are observed beyond the τ₀ cutoff
 236    3. Running couplings don't follow φ-ladder -/

depends on (12)

Lean names referenced from this declaration's body.