計算可能性

計算可能性理論は、コンピュータサイエンスの基礎をなす。

この問題の計算可能性について、数学者たちが議論している。

計算可能性の限界を理解することは、アルゴリズム設計に役立つ。