`ErrorCorrectionFalsifier`

definition

show as: view math explainer →

module: IndisputableMonolith.Information.ErrorCorrectionBounds
domain: Information
line: 231 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Information.ErrorCorrectionBounds on GitHub at line 231.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

formal source

 228    1. Error correction exceeds Shannon limit
 229    2. 8-tick doesn't support redundancy
 230    3. Majority voting doesn't work in quantum regime -/
 231structure ErrorCorrectionFalsifier where
 232  exceeds_shannon : Prop
 233  no_8tick_redundancy : Prop
 234  qec_fails : Prop
 235  falsified : exceeds_shannon → False
 236
 237end ErrorCorrectionBounds
 238end Information
 239end IndisputableMonolith

papers checked against this theorem

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