Computability theory

The study of the limitations and possibilities of computation.