Kleene's recursion theorem en · PROPN
Etymology
Named after mathematician Stephen Cole Kleene.
Meanings
- 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.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| Kleene's recursion theorems | Number=Plur | lexicographic |