def
definition
def or abbrev
summary
show as:
view Lean formalization →
formal statement (Lean)
185def summary : List String := [
proof body
Definition body.
186 "Ledger conservation is fundamental",
187 "Quantum states encoded in ledger",
188 "Conservation implies norm preservation",
189 "Norm preservation requires unitarity",
190 "Unitarity implies reversibility",
191 "Collapse is effective, not fundamental"
192]
193
194/-! ## Falsification Criteria -/
195
196/-- The derivation would be falsified if:
197 1. Quantum evolution is found to be non-unitary
198 2. Information is fundamentally lost
199 3. Ledger conservation is violated -/