`experimentalStatus`

definition

show as: view math explainer →

module: IndisputableMonolith.Mathematics.ComplexNumbers
domain: Mathematics
line: 274 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Mathematics.ComplexNumbers on GitHub at line 274.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

depends on

formal source

 271  status : String
 272
 273/-- All evidence supports complex necessity. -/
 274def experimentalStatus : List ComplexFalsifier := [
 275  ⟨"Real QM", "Ruled out by Renou et al. (2021)"⟩,
 276  ⟨"Phase in experiments", "Ubiquitous and essential"⟩,
 277  ⟨"8-tick structure", "Appears in spin statistics"⟩
 278]
 279
 280end ComplexNumbers
 281end Mathematics
 282end IndisputableMonolith

papers checked against this theorem

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