`experimentalStatus`

definition

show as: view math explainer →

module: IndisputableMonolith.Quantum.HolographicBound
domain: Quantum
line: 218 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Quantum.HolographicBound on GitHub at line 218.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

formal source

 215  status : String
 216
 217/-- Current status: holography is very well-supported. -/
 218def experimentalStatus : List HolographicFalsifier := [
 219  ⟨"Entropy exceeding bound", "Never observed"⟩,
 220  ⟨"Black hole entropy mismatch", "All calculations match"⟩,
 221  ⟨"AdS/CFT failure", "Passes all tests (string theory)"⟩
 222]
 223
 224end HolographicBound
 225end Quantum
 226end IndisputableMonolith

papers checked against this theorem

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