2 articles
General
Kleene's recursion theorem
Kleene's recursion theorem, also called the fixed point theorem, is a result in computability theory published by Stephen Kleene in 1938, implying self-reproducing programs called quines.
General
Recursion theorem fixed point
In computability theory, a recursion theorem fixed point is a program index n with the same partial function as its transform, φn = φf(n), guaranteed by Kleene's second recursion theorem.