계산가능성(computability)은 전산학의 주요 주제 중 하나이다. 어떠한 종류의 계산 모델(튜링 머신, 람다 캘큘러스, 푸시다운 오토마타 등)로 어떠한 종류의 계산을 수행할 수 있는지 또는 없는지 연구한다.