Example image of eyePlorer eyePlorer map for 'Martin Davis': Martin Davis (tennis) Alonzo Church Hilbert's tenth problem Mathematician New York City New York University Princeton University Professor Emeritus United States Davis–Putnam algorithm DPLL algorithm Computability theory Post–Turing machine Poland Łódź Seymour Ginsburg Universal Turing machine Chauvenet Prize Halting problem Hilary Putnam Hilbert's problems Communications of the ACM List of people with surname Davis Turing's proof Julia Robinson Diophantine set Partial function Indicator function Leopold Kronecker History of the Church–Turing thesis Emil Leon Post Hypercomputation Entscheidungsproblem List of important publications in theoretical computer science Semi-Thue system Super-recursive algorithm Oracle machine Turing machine examples Register machine Intuitionism Random access stored program machine Theory of computation Mechanism (philosophy) Punky Brewster Lionel, LLC Church–Turing thesis Algorithm characterizations Counter machine Brouwer–Hilbert controversy Proof of impossibility