Pages that link to "Biography:Stephen Cole Kleene"
From HandWiki
The following pages link to Biography:Stephen Cole Kleene:
Displayed 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Algorithm (← links)
- Archives of American Mathematics (← links)
- Curry's paradox (← links)
- De Morgan algebra (← links)
- Entscheidungsproblem (← links)
- Freshman's dream (← links)
- Gödel's incompleteness theorems (← links)
- Impredicativity (← links)
- Logic (← links)
- Mathematical logic (← links)
- Metamathematics (← links)
- Turing machine (← links)
- List of mathematical logic topics (← links)
- List of mathematicians (K) (← links)
- Quantum programming (← links)
- Regular expression (← links)
- Kleene–Brouwer order (← links)
- Kleene fixed-point theorem (← links)
- Kleene's O (← links)
- Large countable ordinal (← links)
- Ordinal notation (← links)
- Kleene algebra (← links)
- Regular language (← links)
- Automata theory (← links)
- List of multiple discoveries (← links)
- Arithmetical hierarchy (← links)
- Disjunction and existence properties (← links)
- History of the Church–Turing thesis (← links)
- Computable analysis (← links)
- Smn theorem (← links)
- Kleene's recursion theorem (← links)
- Basis theorem (computability) (← links)
- Admissible numbering (← links)
- Realizability (← links)
- Intuitionistic logic (← links)
- Sequent calculus (← links)
- Church–Turing thesis (← links)
- Formal system (← links)
- Kleene's T predicate (← links)
- Intuitionism (← links)
- Bar induction (← links)
- Skolem's paradox (← links)
- Brouwer–Hilbert controversy (← links)
- Curry–Howard correspondence (← links)
- Structured program theorem (← links)
- Timeline of mathematics (← links)
- Effective descriptive set theory (← links)
- Symposium on Logic in Computer Science (← links)
- Programming language theory (← links)
- Three-valued logic (← links)
