ทฤษฎีการคำนวณได้ คือส่วนหนึ่งของการศึกษาในทฤษฎีการคำนวณที่สนใจกับปัญหาที่ว่า ปัญหาใดที่สามารถหาคำตอบได้ด้วยอัลกอริทึม (หรือ—ในความหมายที่เหมือนกัน—โดยเครื่องจักรทัวริง) ภายใต้ข้อจำกัดและข้อเพิ่มเติมหลายๆ แบบ ทฤษฎีการคำนวณได้ศึกษาปัญหาหลักๆ สี่ปัญหาดังต่อไปนี้

• ปัญหาใดที่เครื่องจักรทัวริงสามารถแก้ได้?
• ระบบในการคำนวณใดที่มีความสามารถเท่าเทียมกับเครื่องจักรทัวริง?
• ปัญหาใดที่ต้องการเครื่องจักรที่มีความสามารถมากกว่าเครื่องจักรทัวริง?
• ปัญหาใดที่สามารถแก้ได้โดยเครื่องจักรที่มีความสามารถน้อยกว่าเครื่องจักรทัวริง?

ตารางแสดงความสัมพันธ์ระหว่างกลุ่มของปัญหา สามารถดูได้ในบทความเกี่ยวกับทฤษฎีการคำนวณ

ทฤษฎีการคำนวณ

نظرية الحسوبية | Teorie vyčíslitelnosti | Berechenbarkeitstheorie | Computability theory (computer science) | Teoría de la computabilidad | نظریه محاسبه‌پذیری | Calculabilité | Teoria della calcolabilità | 計算可能性理論 | 계산 가능성 이론 | Berekenbaarheid | Teoria obliczalności | Теория вычислимости | Computability theory