2. Noun. (computer science) The branch of the theory of computation that studies which problems are computationally solvable using different models of computation. ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Computability Theory
Other Resources:
