(theory) The study of problems that, in principle, cannot be solved by either computers or humans.
Last updated: 1999-03-01