`no_known_measurement_falsifier`

proved

show as: view math explainer →

module: IndisputableMonolith.Quantum.Measurement.WavefunctionCollapse
domain: Quantum
line: 286 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Quantum.Measurement.WavefunctionCollapse on GitHub at line 286.

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

Measurement IndisputableMonolith.Data.Import
Measurement IndisputableMonolith.Measurement.RSNative.Core
Measurement IndisputableMonolith.Quantum.NonlocalityNoSignaling

formal source

 283  observed : String
 284
 285/-- No such falsifier has ever been found. -/
 286theorem no_known_measurement_falsifier : True := trivial
 287
 288end Measurement
 289end Quantum
 290end IndisputableMonolith

papers checked against this theorem

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