Pages that link to "Kleene's recursion theorem"
From HandWiki
The following pages link to Kleene's recursion theorem:
Displayed 16 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Diagonal lemma (← links)
- Reverse mathematics (← links)
- Rice's theorem (← links)
- List of mathematical logic topics (← links)
- Least fixed point (← links)
- Complete numbering (← links)
- Smn theorem (← links)
- Functional programming (← links)
- Quine (computing) (← links)
- Fixed-point theorem (← links)
- Machine that always halts (← links)
- Enumeration reducibility (← links)
- Fixed-point theorems (← links)
- Decider (Turing machine) (← links)
- Lawvere's fixed-point theorem (← links)
- Biography:Stephen Cole Kleene (← links)