The study of problems that, in principle, cannot be solved by either computers or humans.