# computability theory

## English[edit]

### Noun[edit]

**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.