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