Mathematician:Martin David Davis

Mathematician
American mathematician working mainly in the field of mathematical logic.

Nationality
American

History

 * Born: 8 March 1928 in New York City, New York, USA

Theorems and Definitions

 * MRDP Theorem (with, and )


 * Davis-Putnam Algorithm (with )


 * DPLL algorithm (with, and )

Publications

 * 1953: Arithmetical Problems and Recursively Enumerable Predicates
 * 1957: The Definition of Universal Turing Machine (with )


 * 1958:
 * 1982:


 * 1958: Reductions of Hilbert's Tenth Problem
 * 1959: Lecture Notes on Mathematical Logic
 * 1961: The Decision Problem for Exponential Diophantine Equations (with and )
 * 1974: Computability
 * 1977: Applied Nonstandard Analysis
 * 1983: Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (with )
 * 2000: The Universal Computer: The Road from Leibniz to Turing
 * 2001: Engines of Logic: Mathematicians and the Origin of the Computer (republication of The Universal Computer: The Road from Leibniz to Turing from 2000)
 * 2008: Introduction to by
 * 2008: Introduction to by