Pages that link to "Martin Davis"
The following pages link to Martin Davis:
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Alan Turing (← links)
- Automated theorem proving (← links)
- Church–Turing thesis (← links)
- Entscheidungsproblem (← links)
- Law of excluded middle (← links)
- Intuitionism (← links)
- Mathematical logic (← links)
- Oracle machine (← links)
- Partial function (← links)
- Peano axioms (← links)
- Roger Penrose (← links)
- Theory of computation (← links)
- Turing machine (← links)
- Stephen Smale (← links)
- Alonzo Church (← links)
- Gödel's incompleteness theorems (← links)
- Universal Turing machine (← links)
- Hilary Putnam (← links)
- G. H. Hardy (← links)
- Diophantine set (← links)
- Hilbert's tenth problem (← links)
- Hilbert's problems (← links)
- Computability theory (← links)
- L. E. J. Brouwer (← links)
- Hypercomputation (← links)
- David H. Bailey (← links)
- Indicator function (← links)
- Communications of the ACM (← links)
- James H. Wilkinson (← links)
- W. B. R. Lickorish (← links)
- Paul Halmos (← links)
- Theoretical computer science (← links)
- Saunders Mac Lane (← links)
- Leon Henkin (← links)
- List of logicians (← links)
- Von Neumann architecture (← links)
- Semi-Thue system (← links)
- Peter Lax (← links)
- Register machine (← links)
- Random-access machine (← links)
- Turing machine examples (← links)
- Herbrand Award (← links)
- Creative and productive sets (← links)
- Gilbert Strang (← links)
- Yuri Matiyasevich (← links)
- Davis–Putnam algorithm (← links)
- DPLL algorithm (← links)
- Wolfram's 2-state 3-symbol Turing machine (← links)
- Orchestrated objective reduction (← links)
- Dennis DeTurck (← links)