可運算度理論（英文：computability theory）係運算理論嘅一個子領域，集中於思考唔同嘅問題係咪可運算嘅（computable）－如果一個問題係可以用電腦解決嘅，噉呢個問題就係可運算嘅，否則呢個問題就係不可運算嘅。
例如停機問題（halting problem）就係一條好出名嘅「不可運算問題」，已經畀人證明咗係冇得靠運算解決嘅。
