# Mathematician:Martin David Davis

(Redirected from Mathematician:Martin Davis)

## Contents

## 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:
*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) - 2008: Introduction to
*Set Theory and the Continuum Hypothesis, republished ed.*by Paul J. Cohen