411 REFERENCE · Wiktionary
Kleene's recursion theorem
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Named after mathematician Stephen Cole Kleene.
Proper noun
s
en comptheory Either of are a pair of fundamental results about the application of computable functions to their own descriptions. They can be applied to construct fixed points of certain operations on computable functions, to generate quines, and to construct functions defined via recursive definitions.
Related terms
en Kleene's theorem
en eponyms