Computability theory

Computability theory is the branch of theoretical computer science that studies which problems are computationally solvable using different models of computation.

This computer science-related article is a stub. Help Wikipedia by expanding it.

See also