計算可能性（Computability）とは、ある問題が計算機によって解決できるかどうかを示す概念です。具体的には、問題がアルゴリズムを用いて解ける場合、その問題は計算可能とされます。これにより、数学やコンピュータサイエンスの分野で、どのような問題が解決可能かを理解する手助けとなります。 この概念は、特にアラン・チューリングの業績に関連しています。彼は、計算可能性の理論を発展させ、チューリングマシンというモデルを提案しました。このモデルは、計算の基本的な原理を示し、計算可能性の研究において重要な役割を果たしています。