什麼是可計算性

所謂可計算性，亦稱算法理論或能行性理論，是計算機科學的理論基礎之一。

可計算性通過建立計算的數學模型 ，精確區分哪些是可計算的，哪些是不可計算的。計算的過程是執行算法的過程。可計算性理論的重要課題之一，是將算法這一直觀概念精確化。算法概念精確化的途徑很多，其中之一是通過定義抽象計算機，把算法看作抽象計算機的程序。通常把那些存在算法計算其值的函數叫做可計算函數。

因此，可計算性的精確定義為：能夠在抽象計算機上編出程序計算出值的特徵。