Hamming codes
Statement
Error-detecting and error-correcting codes; Hamming distance. Proved in ZFC.
Source
ACM Turing Award 1968. Error-detecting and error-correcting codes; Hamming distance. Proved in ZFC.
Domains
computer-science
Error-detecting and error-correcting codes; Hamming distance. Proved in ZFC.
ACM Turing Award 1968. Error-detecting and error-correcting codes; Hamming distance. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/theorem/hamming-turing-1968/