Mathematician:Martin David Davis

From ProofWiki
(Redirected from Mathematician:Martin Davis)
Jump to navigation Jump to search


American mathematician working mainly in the field of mathematical logic.




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

Theorems and Definitions


  • 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)
  • 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