Error detection/correction codes
Minimum distance, dmin, of a code -- the minimum of the Hamming distances between all possible pairs of code words
Error-detection theorem -- A code C with minimum distance, dmin, can detect up to p errors if and only if p + 1 <= , dmin.
Error-correction theorem -- A code C with minimum distance, dmin, can correct up to t errors and detect an additional p errors if and only if 2t + p + 1 <= , dmin.