Mathematician:Martin David Davis
Jump to navigation
Jump to search
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 Yuri Vladimirovich Matiyasevich, Julia Hall Bowman Robinson and Hilary Whitehall Putnam)
Publications
- 1953: Arithmetical Problems and Recursively Enumerable Predicates
- 1957: The Definition of Universal Turing Machine (with Hilary Putnam)
- 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 (Amer. Math. Monthly Vol. 80, no. 3: pp. 233 – 269) www.jstor.org/stable/2318447
- 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)
- 2008: Introduction to Set Theory and the Continuum Hypothesis, republished ed. by Paul J. Cohen