pith. machine review for the scientific record. sign in
def definition def or abbrev

complementarityPrinciple

show as:
view Lean formalization →

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

generate prose now

formal statement (Lean)

 156def complementarityPrinciple : String :=

proof body

Definition body.

 157  "No single observer experiences both descriptions"
 158
 159/-! ## Information Preservation -/
 160
 161/-- How does information get out?
 162
 163    1. Hawking radiation is entangled with interior
 164    2. As BH evaporates, entanglement is transferred
 165    3. Late radiation becomes entangled with early (via BH mediation)
 166    4. Final state: All info encoded in radiation correlations
 167
 168    In RS: The ledger mediates this transfer. Ledger is conserved. -/

depends on (6)

Lean names referenced from this declaration's body.