Mathematician:Martin David Davis

American mathematician working mainly in the field of mathematical logic.

Nationality
American

History

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

Books, Publications, etc.

 * 1953: Arithmetical Problems and Recursively Enumerable Predicates
 * 1957: The Definition of Universal Turing Machine (with Hilary Putnam)
 * 1958: Computability and Unsolvability (republished in 1982)
 * 1958: Reductions of Hilbert's Tenth Problem
 * 1959: Lecture Notes on Mathematical Logic
 * 1961: The Decision Problem for Exponential Diophantine Equations (with Hilary Putnam and Julia Robinson)
 * 1973: Hilbert's Tenth Problem is Unsolvable
 * 1974: Computability
 * 1977: Applied Nonstandard Analysis
 * 1983: Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (with Elaine J. Weyuker)
 * 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)