Pages that link to "Martin Davis (mathematician)"
The following pages link to Martin Davis (mathematician):
Displaying 21 items.
- Alan Turing (← links | edit)
- Automated theorem proving (← links | edit)
- Diophantine equation (← links | edit)
- Entscheidungsproblem (← links | edit)
- Gottfried Wilhelm Leibniz (← links | edit)
- Law of excluded middle (← links | edit)
- Intuitionism (← links | edit)
- Mathematical logic (← links | edit)
- Partial function (← links | edit)
- Roger Penrose (← links | edit)
- Theory of computation (← links | edit)
- Turing machine (← links | edit)
- Alonzo Church (← links | edit)
- Gödel's incompleteness theorems (← links | edit)
- Universal Turing machine (← links | edit)
- Hilary Putnam (← links | edit)
- Diophantine set (← links | edit)
- Hilbert's tenth problem (← links | edit)
- Hilbert's problems (← links | edit)
- L. E. J. Brouwer (← links | edit)
- Hypercomputation (← links | edit)