computability theory

Noun

 * 1)  Recursion theory.
 * 2)  The branch of the theory of computation that studies which problems are computationally solvable using different models.