1.Previous
3.Next

is known as Rogers's theorem and is due to Hartley Rogers, Jr.

The recursion theorems can be applied to construct fixed points of certain operations on computable functions, to generate quines, and to construct functions defined via recursive definitions.

Notation

The statement of the theorems refers to an admissible numbering

1.Previous
3.Next