可運算度理論（computability theory）集中於思考唔同嘅運算問題係咪可運算嘅（computable）－如果一個問題係可以用電腦解決嘅，噉呢個問題就係可運算嘅，否則呢個問題就係不可運算嘅，好似係好出名嘅停機問題（halting problem）噉。