recursion theory

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

[Proper definition?]