structure
definition
EmergenceFalsifier
show as:
view math explainer →
open explainer
Generate a durable explainer page for this declaration.
open lean source
IndisputableMonolith.Quantum.ClassicalEmergence on GitHub at line 225.
browse module
All declarations in this module, on Recognition.
explainer page
depends on
used by
formal source
222 2. Decoherence not depending on system size
223 3. Pointer states not being J-cost minima
224 4. Classical physics failing at large N -/
225structure EmergenceFalsifier where
226 /-- Type of potential falsification. -/
227 falsifier : String
228 /-- Status. -/
229 status : String
230
231/-- Current status supports RS picture. -/
232def experimentalStatus : List EmergenceFalsifier := [
233 ⟨"Macro superpositions", "Never observed"⟩,
234 ⟨"Decoherence scaling", "Confirmed in experiments"⟩,
235 ⟨"Classical at large N", "Universal observation"⟩
236]
237
238end ClassicalEmergence
239end Quantum
240end IndisputableMonolith