Bởi vì hầu hết mọi câu hỏi về hành vi của các chương trình là không thể giải quyết được. Theo định lý của Rice , bất kỳ vấn đề quyết định nào của mẫu:
Một số chương trình tính toán các hàm có thuộc tính này, các chương trình khác tính toán các hàm không có thuộc tính này. Cho một chương trình P, hàm được tính bởi P có thuộc tính nói trên hay không?
là không thể giải quyết được Vì vậy, ví dụ, bạn không thể luôn phân biệt mã tính bình phương của đầu vào với mã không. Mặc dù trong các trường hợp đơn giản, thường có thể chứng minh rằng một hàm làm hoặc không làm như vậy, không có quy trình chung nào hoạt động cho tất cả chương trình.
Hầu như bất kỳ hành vi bất biến thú vị nào đều thuộc định lý của Rice, vì những câu nói đó hiếm khi (nếu có) nói về phương thức trông như thế nào trong nội bộ, chỉ những gì nó trả về và tác dụng phụ của nó khi phản ứng với những đầu vào nhất định.