English Explanatory Dictionary

Kleene's recursion theorem

English dictionary entry

Meanings

name
  1. 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.

Word forms

Kleene's recursion theorem Kleene's recursion theorems

Etymology

Named after mathematician Stephen Cole Kleene.

Related words

Kleene's theorem
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on K Russian dictionary Dahl dictionary