Computability theory

Home > Philosophy > Logic > Recursion Theory > Computability theory

This is the study of the limits of computation, and seeks to determine which problems can and cannot be solved by computers.