Computability theory

Home > Computer Science > Theory of Computation > Turing Machines > Computability theory

This is the study of the limitations of computation, particularly the extent to which certain problems can or cannot be solved by algorithms.