نظریه محاسبه‌پذیری از مباحث پایه در علوم رایانه است که به بررسی محاسبه‌پذیر و محاسبه‌ناپذیر بودن عملیات با استفاده از ابزارهای کلاسیک نظیر ماشین ثبات، ماشین تورینگ و توابع بازگشتی میپردازد.

نظرية الحسوبية | Teorie vyčíslitelnosti | Berechenbarkeitstheorie | Computability theory (computer science) | Teoría de la computabilidad | Calculabilité | Teoria della calcolabilità | 計算可能性理論 | 계산 가능성 이론 | Berekenbaarheid | Teoria obliczalności | Теория вычислимости | Computability theory | ทฤษฎีการคำนวณได้