computability theory

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