computability theory

from Wiktionary, Creative Commons Attribution/Share-Alike License.

• noun logic Recursion theory.
• noun computer science The branch of the theory of computation that studies which problems are computationally solvable using different models.