computability theory

listen to the pronunciation of computability theory
English - English
The branch of the theory of computation that studies which problems are computationally solvable using different models of computation
Recursion theory