Wikipedia:良質ピックアップ/計算可能性理論

計算可能性理論は、計算模型でいかなる計算問題が解けるかを調べる計算理論や数学の一分野である。計算複雑性の特殊なものともいえるが、計算可能性理論では計算可能関数またはより大きな問題クラスを主に扱う。……