The Free On-line Dictionary of Computing (30 December 2018):recursion theory The study of problems that, in principle, cannot be solved by either computers or humans. [Proper definition?] (1999-03-01)