...cũng có thể được nén trong một lỗi nhỏ (nhưng khác không) tùy ý bằng thuật toán nén không mất.Định lý lần đầu tiên được chứng minh bởi Claude Shannon vào năm 1948.
Định lý mã nguồn có một số ý nghĩa quan trọng.Đầu tiên, nó cho thấy rằng có thể truyền thông tin qua một kênh ồn ào mà không mất...