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

predictions

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)

 191def predictions : List String := [

proof body

Definition body.

 192  "Super-horizon correlations (seen as 'CMB anomalies')",
 193  "e-folds related to φ: N ~ φ^k for some k",
 194  "Spectral index n_s constrained by J-cost",
 195  "Low CMB quadrupole from initial state selection"
 196]
 197
 198/-! ## Experimental Evidence -/
 199
 200/-- Current observations are consistent with RS:
 201
 202    1. CMB anomalies exist (axis of evil, low quadrupole)
 203    2. Super-horizon correlations detected
 204    3. n_s ~ 0.96 (close to but not exactly 1)
 205
 206    These "anomalies" might be predictions of RS! -/

depends on (11)

Lean names referenced from this declaration's body.