Recursion theorem
= Recursion theorem
{wiki=Kleene's_recursion_theorem}
Kleene recursion gives programs access to their own effective descriptions: every computable transformation of program indices has a semantic fixed point.
= Recursion theorem
{wiki=Kleene's_recursion_theorem}
Kleene recursion gives programs access to their own effective descriptions: every computable transformation of program indices has a semantic fixed point.