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