কারণ প্রোগ্রামগুলির আচরণ সম্পর্কে প্রায় প্রতিটি প্রশ্নই অনস্বীকার্য। দ্বারা চাল এর উপপাদ্য , ফর্ম যাবতীয় সিদ্ধান্ত সমস্যা:
কিছু প্রোগ্রাম গুনে ফাংশন যা এই সম্পত্তি আছে, অন্যান্য প্রোগ্রাম গণনা ফাংশন যে এই সম্পত্তি নেই। একটি প্রোগ্রাম পি দেওয়া, পি দ্বারা গণনা করা ফাংশন কি পূর্বোক্ত সম্পত্তি আছে বা না?
অনস্বীকার্য। সুতরাং, উদাহরণস্বরূপ, আপনি সর্বদা কোডটি আলাদা করতে পারবেন না যা কোড থেকে কোনও ইনপুটটির বর্গাকার গণনা করে না। যদিও সহজ ক্ষেত্রে, কোনও ফাংশন এটি করে বা না করে তা প্রমাণ করা প্রায়শই সম্ভব, কোনও প্রোগ্রাম নেই যা সমস্ত প্রোগ্রামের জন্য কাজ করে।
প্রায় কোনও আকর্ষণীয় আচরণমূলক আক্রমণকারী রাইসের উপপাদ্যের অধীনে আসে, কারণ এই বিবৃতিগুলি খুব কমই (যদি কখনও হয়) পদ্ধতিটি অভ্যন্তরীণভাবে কেমন দেখায়, কেবল এটি কীভাবে ফিরে আসে এবং নির্দিষ্ট ইনপুটগুলির প্রতিক্রিয়াতে কী প্রতিক্রিয়া সৃষ্টি করে তা নিয়ে কথা বলে।