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

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث

في نظرية الحاسوبية ونظرية التعقيد الحسابي، معضلة غير قابلة للقرار هو معضلة هدفها صنع قرار ما، حيث يستحيل إنشاء خوارزمية وحيدة، تجيب دائما وبصفة صحيحة، بنعم أو لا على المعضلة المطروحة.


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

Midori Extension.svg هذه بذرة مقالة بحاجة للتوسيع. شارك في تحريرها.