Teorie vyčíslitelnosti zkoumá hranice algoritmické konstrukce množin. Pro modelování využívá například Turingův stroj a intuicionistickou logiku. Zajímavé výsledky:

• Nelze zkonstruovat algoritmus, který by pro obecný program ověřil jeho konečnost (tzv. problém zastavení).

Vyčíslitelnost

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