可運算性理論

出自維基百科,自由嘅百科全書
跳去導覽 跳去搵嘢

可運算性理論英文computability theory)係運算理論嘅一個子領域,集中於思考唔同嘅問題係咪可運算嘅(computable)-如果一個問題係可以用電腦解決嘅,噉呢個問題就係可運算嘅,否則呢個問題就係不可運算嘅。

例如停機問題(halting problem)就係一條好出名嘅「不可運算問題」,已經畀人證明咗係冇得靠運算解決嘅。

睇埋[編輯]