Coding theory
Quanta informazione contiene un codice resistente agli errori?
La ridondanza aiuta a riconoscere messaggi danneggiati. Le parole del codice devono essere abbastanza diverse. Quanti messaggi distinguibili possono esistere con una distanza minima fissata?
Prova formale annunciata↗