Kleene's recursion theorem
nameEtymology
Named after mathematician Stephen Cole Kleene.
Definitions
Either of are a pair of fundamental results about the application of computable functions…
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.
The neighborhood
Vish — recursive loop
No curated loop yet for Kleene's recursion theorem. Loops are being traced one word at a time while the ingestion pipeline matures.
sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA