Çünkü programların davranışlarıyla ilgili hemen hemen her soru kararsızdır. By Rice'ın teoremi , formun herhangi bir karar sorun:
Bazı programlar bu özelliğe sahip işlevleri hesaplarken, diğer programlar bu özelliğe sahip olmayan işlevleri hesaplar. Bir P programı verildiğinde, P tarafından hesaplanan fonksiyon yukarıda belirtilen özelliğe sahip mi, değil mi?
kararsız. Yani, örneğin, bir girdinin karesini hesaplayan kodu her zaman olmayan koddan ayırt edemezsiniz. Basit durumlarda, genellikle bir fonksiyonun bunu yaptığını ya da yapmadığını kanıtlamak mümkün olsa da, tüm program için çalışan genel bir prosedür yoktur.
Hemen hemen tüm ilginç davranışsal değişmezler Rice teoremi altındadır, çünkü bu ifadeler nadiren (eğer varsa) yöntemin dahili olarak neye benzediğini, sadece geri döndüğünü ve belirli girdilere yanıt olarak hangi yan etkilere neden olduğunu konuşur.