KnowraKleene's recursion theoremLinked fromLinked fromThe 4 pages that link to Kleene's recursion theorem, each with the reason it gives.All 4Related 3Compared with 1Gödel numberingRelated: Program indices provide another setting where descriptions are encoded as numbers and reasoned about arithmetically.Diagonal lemmaCompared with: It gives a program-level fixed-point result closely related to syntactic diagonalization.Self-referenceRelated: It gives a computational fixed-point result that supports programs referring to their own descriptions.S-m-n theoremRelated: Its proof uses parameterization to construct self-referential program indices.