معضلة غير قابلة للقرار

في نظرية الحاسوبية ونظرية التعقيد الحسابي، معضلة غير قابلة للقرار هي معضلة هدفها صنع قرار ما، حيث يستحيل إنشاء خوارزمية وحيدة، تجيب دائما وبصفة صحيحة، بنعم أو لا على المعضلة المطروحة."The Undecidability of the. Generalized Collatz Problem", in Proceedings of the 4th International Conference on Theory and Applications of Models of Computation, TAMC 2007, held in Shanghai, China in May 2007. .  

انظر إلى مبرهنات عدم الاكتمال لغودل.
 مراجع 

تصنيف:نظرية البرهان
تصنيف:نظرية النموذج
تصنيف:نظرية الحسوبية
تصنيف:منطق في علم الحاسوب