Pages that link to "Biography:Martin Davis (mathematician)"
From HandWiki
The following pages link to Biography:Martin Davis (mathematician):
Displayed 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Algorithm (← links)
- Elementary Calculus: An Infinitesimal Approach (← links)
- Entscheidungsproblem (← links)
- Gödel's incompleteness theorems (← links)
- Law of excluded middle (← links)
- Mathematical logic (← links)
- Partial function (← links)
- Rewriting (← links)
- Solomonoff's theory of inductive inference (← links)
- Turing machine (← links)
- Turing's proof (← links)
- Computability theory (← links)
- List of mathematicians (D) (← links)
- Proof of impossibility (← links)
- Theoretical computer science (← links)
- Algorithm characterizations (← links)
- Super-recursive algorithm (← links)
- Systems of Logic Based on Ordinals (← links)
- Diophantine equation (← links)
- Hilbert's tenth problem (← links)
- Diophantine set (← links)
- Register machine (← links)
- Microcontinuity (← links)
- Criticism of non-standard analysis (← links)
- Influence of non-standard analysis (← links)
- Davis–Putnam algorithm (← links)
- DPLL algorithm (← links)
- History of the Church–Turing thesis (← links)
- Theory of computation (← links)
- Hypercomputation (← links)
- Automated theorem proving (← links)
- Semi-Thue system (← links)
- Church–Turing thesis (← links)
- Intuitionism (← links)
- Brouwer–Hilbert controversy (← links)
- Halting problem (← links)
- Post–Turing machine (← links)
- Influence of nonstandard analysis (← links)
- Criticism of nonstandard analysis (← links)
- Penrose–Lucas argument (← links)
- Universal Turing machine (← links)
- Hilbert's problems (← links)
- Wolfram's 2-state 3-symbol Turing machine (← links)
- Turing machine examples (← links)
- Herbrand Award (← links)
- The Emperor's New Mind (← links)
- Random-access machine (← links)
- Counter machine (← links)
- Handbook of Automated Reasoning (← links)
- Random-access stored-program machine (← links)
