The following pages link to Kleene's recursion theorem:
Displayed 12 items.
- Functional programming (← links | edit)
- Quine (computing) (← links | edit)
- Rice's theorem (← links | edit)
- Stephen Cole Kleene (← links | edit)
- Reverse mathematics (← links | edit)
- Diagonal argument (← links | edit)
- List of mathematical logic topics (← links | edit)
- Diagonal lemma (← links | edit)
- List of theorems (← links | edit)
- Fixed-point theorem (← links | edit)
- Least fixed point (← links | edit)
- Decider (Turing machine) (← links | edit)