Pages that link to "Alonzo Church"
Jump to navigation
Jump to search
The following pages link to Alonzo Church:
Displaying 50 items.
- Algorithm (← links)
- Alan Turing (← links)
- Automated theorem proving (← links)
- Computer science (← links)
- Cognitive science (← links)
- Computation (← links)
- List of computer scientists (← links)
- Church–Turing thesis (← links)
- David Hilbert (← links)
- Entscheidungsproblem (← links)
- Functional programming (← links)
- First-order logic (← links)
- June 14 (← links)
- Knights of the Lambda Calculus (← links)
- Logic programming (← links)
- Lisp (programming language) (← links)
- Propositional logic (← links)
- Lambda calculus (← links)
- Mathematical logic (← links)
- Max Newman (← links)
- Princeton University (← links)
- Principia Mathematica (← links)
- Polish notation (← links)
- Scheme (programming language) (← links)
- Stephen Cole Kleene (← links)
- Static program analysis (← links)
- Truth (← links)
- Theory of computation (← links)
- Turing machine (← links)
- Uppsala University (← links)
- Type theory (← links)
- Haskell Curry (← links)
- Random sequence (← links)
- Raymond Smullyan (← links)
- Gödel's incompleteness theorems (← links)
- Alfred Tarski (← links)
- Nyaya (← links)
- History of logic (← links)
- Timeline of computing hardware before 1950 (← links)
- Exclusive or (← links)
- Combinatory logic (← links)
- Church–Rosser theorem (← links)
- Computability theory (← links)
- Dana Scott (← links)
- Foundations of mathematics (← links)
- Metamathematics (← links)
- Relevance logic (← links)
- Logical NOR (← links)
- Declarative programming (← links)
- Frank P. Ramsey (← links)