Definify.com
Definition 2025
computability_theory
computability theory
English
Noun
computability theory (uncountable)
- (logic) Recursion theory.
- (computer science) The branch of the theory of computation that studies which problems are computationally solvable using different models.