Martin Davis

Fra Wikipedia, den frie encyklopedi
Gå til: navigasjon, søk

Martin David Davis (født 1928 i New York City) er en amerikansk matematiker, kjent for sitt arbeid med Hilberts tiende problem. Han tok doktorgrad ved Princeton University i 1950, hvor Alonzo Church var hans veileder. Davis er professor emeritus ved New York University. Han utviklet Davis-Putnam-algoritmen sammen med Hilary Putnam, samt DPLL-algoritmene. Sammen med Ron Sigal og Elaine J. Weyuker har han forfattet Computability, Complexity, and Languages, senere utgitt som Fundamentals of Theoretical Computer Science.

Referanser[rediger | rediger kilde]