`PageCurveFalsifier`

definition

show as: view math explainer →

module: IndisputableMonolith.Quantum.PageCurve
domain: Quantum
line: 202 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Quantum.PageCurve on GitHub at line 202.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

formal source

 199    1. Page curve is not observed (difficult to test!)
 200    2. Information loss is confirmed
 201    3. Ledger conservation violated -/
 202structure PageCurveFalsifier where
 203  page_curve_wrong : Prop
 204  information_lost : Prop
 205  ledger_violated : Prop
 206  falsified : page_curve_wrong ∨ information_lost → False
 207
 208end PageCurve
 209end Quantum
 210end IndisputableMonolith

papers checked against this theorem

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