計算可能性理論 (けいさんかのうせいりろん) は、与えられた問題がある制約の下で解くことができるかどうか理論的に扱う学問。計算理論や数学の一分野。
チューリングマシンが解くことのできる問題のクラスなどを扱う。
نظرية الحسوبية | Teorie vyčíslitelnosti | Berechenbarkeitstheorie | Computability theory (computer science) | Teoría de la computabilidad | نظریه محاسبهپذیری | Calculabilité | Teoria della calcolabilità | 계산 가능성 이론 | Berekenbaarheid | Teoria obliczalności | Теория вычислимости | Computability theory | ทฤษฎีการคำนวณได้