`experimentalStatus`

definition

show as: view math explainer →

module: IndisputableMonolith.Quantum.BellInequality
domain: Quantum
line: 230 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Quantum.BellInequality on GitHub at line 230.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

BellFalsifier IndisputableMonolith.Quantum.BellInequality

formal source

 227  status : String
 228
 229/-- No falsification has occurred; all experiments confirm quantum prediction. -/
 230def experimentalStatus : List BellFalsifier := [
 231  ⟨"Local hidden variables", "Ruled out at >100σ"⟩,
 232  ⟨"FTL signaling", "Never observed"⟩,
 233  ⟨"Tsirelson violation", "Never observed"⟩
 234]
 235
 236end BellInequality
 237end Quantum
 238end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.