computability theory noun2 •Recursion theory. •The branch of the theory of computation that studies which problems are computationally solvable using different models.
