← Back to search

Meaning of computability theory | Babel Free

Noun CEFR B2

Definitions

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

CEFR level

B2

Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

Computable computable analysis computable function computad computant Computation