可計算性理論

在計算機科學中 ， 可計算性理論 （ Computability theory ） 作爲計算理論的一個分支 ， 研究在不同的計算模型下哪些算法問題能夠被解決 。 相對應的 ， 計算理論的另一塊主要內容 ， 計算複雜性理論考慮一個問題怎樣才能被有效的解決 。