Recursion Theorem

A fundamental theorem in recursion theory which states that any computable function can be computed by a program that calls itself.