Pages that link to "Stephen Cole Kleene"
Jump to navigation
Jump to search
The following pages link to Stephen Cole Kleene:
Displaying 47 items.
- Church–Turing thesis (← links)
- Entscheidungsproblem (← links)
- Intuitionism (← links)
- Mathematical logic (← links)
- Natural number (← links)
- Regular expression (← links)
- Regular language (← links)
- Turing machine (← links)
- Many-valued logic (← links)
- Natural deduction (← links)
- Gödel's incompleteness theorems (← links)
- History of logic (← links)
- Hilary Putnam (← links)
- Automata theory (← links)
- Kleene's recursion theorem (← links)
- Kleene algebra (← links)
- Intuitionistic logic (← links)
- Arithmetical hierarchy (← links)
- Three-valued logic (← links)
- Sequent calculus (← links)
- Curry–Howard correspondence (← links)
- Philosophical logic (← links)
- Disjunction and existence properties (← links)
- Kleene fixed-point theorem (← links)
- Skolem's paradox (← links)
- Quantum programming (← links)
- Smn theorem (← links)
- Effective descriptive set theory (← links)
- Association for Symbolic Logic (← links)
- Large countable ordinal (← links)
- Substitution (logic) (← links)
- Bar induction (← links)
- Ordinal notation (← links)
- Kleene–Brouwer order (← links)
- Realizability (← links)
- Kleene's T predicate (← links)
- Kleene's O (← links)
- Freshman's dream (← links)
- Brouwer–Hilbert controversy (← links)
- Timeline of mathematics (← links)
- Computable analysis (← links)
- Truth table (← links)
- Gisbert Hasenjaeger (← links)
- Logic (← links)
- Basis theorem (computability) (← links)
- Infinite-valued logic (← links)
- A Logical Calculus of the Ideas Immanent in Nervous Activity (← links)