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 1Diagonal lemmaCompared with: It gives a program-level fixed-point result closely related to syntactic diagonalization.