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