Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Recursion theorem

Kleene recursion gives programs access to their own effective descriptions: every computable transformation of program indices has a semantic fixed point.

Ancestors (5)

  1. Computability theory
  2. Foundations of mathematics
  3. Area of mathematics
  4. Mathematics
  5. Home

Incoming links (1)