เพราะเกือบทุกคำถามเกี่ยวกับพฤติกรรมของโปรแกรมไม่สามารถตัดสินใจได้ จากทฤษฎีบทของไรซ์ปัญหาการตัดสินใจใด ๆ ของแบบฟอร์ม:
บางโปรแกรมคำนวณฟังก์ชันที่มีคุณสมบัตินี้โปรแกรมอื่น ๆ คำนวณฟังก์ชันที่ไม่มีคุณสมบัตินี้ รับโปรแกรม P ฟังก์ชั่นที่คำนวณโดย P มีคุณสมบัติข้างต้นหรือไม่?
ไม่สามารถตัดสินใจได้ ตัวอย่างเช่นคุณไม่สามารถแยกความแตกต่างของรหัสที่คำนวณกำลังสองของอินพุตจากรหัสที่ไม่ได้ แม้ว่าในกรณีง่าย ๆ ก็มักจะเป็นไปได้ที่จะพิสูจน์ว่าฟังก์ชั่นทำหรือไม่ทำเช่นนั้นไม่มีขั้นตอนทั่วไปที่ใช้งานได้สำหรับโปรแกรมทั้งหมด
เกือบคงที่พฤติกรรมที่น่าสนใจใด ๆ ตกอยู่ภายใต้ทฤษฎีบทของข้าวเนื่องจากงบเหล่านั้นไม่ค่อย (ถ้าเคย) พูดคุยเกี่ยวกับสิ่งที่วิธีการดูเหมือนว่าภายในเพียงสิ่งที่มันส่งกลับและสิ่งที่มีผลข้างเคียงมันทำให้เกิดการตอบสนอง