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

vs_multiverse

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)

 183def vs_multiverse : List String := [

proof body

Definition body.

 184  "Multiverse: Anthropic selection from many universes",
 185  "RS: Single universe, Ω = 1 is necessary",
 186  "Multiverse is unfalsifiable",
 187  "RS makes specific predictions"
 188]
 189
 190/-! ## Observational Tests -/
 191
 192/-- Current and future observations:
 193
 194    1. CMB: Ω = 1.0000 ± 0.0002 (from Planck satellite)
 195    2. BAO: Confirms flatness to 0.1%
 196    3. Future: Even more precise tests
 197
 198    RS prediction: Ω = 1 exactly (any measured deviation is error) -/

depends on (8)

Lean names referenced from this declaration's body.