| Martin Davis | |||
|---|---|---|---|
 | |||
| Født | Martin David Davis 8. mars 1928  New York (USA) | ||
| Død | 1. jan. 2023 (94 år) Berkeley (California, USA) | ||
| Beskjeftigelse | Matematiker, universitetslærer, informatiker | ||
| Utdannet ved | Princeton University (1948–1950; akademisk grad: ph.d., studieretning: matematikk) The Bronx High School of Science (1940–1944) City College of New York (1944–1948) | ||
| Doktorgrads- veileder | Alonzo Church | ||
| Nasjonalitet | USA | ||
| Gravlagt | Cypress Lawn Memorial Park | ||
| Medlem av |
| ||
| Utmerkelser | 6 oppføringer
Herbrand Award (2005)
Leroy P. Steele-prisen (1975) Paul R. Halmos - Lester R. Ford Awards (1982) Guggenheim-stipendiet (1983; arbeidsområde: informatikk) Fellow of the American Mathematical Society (2013) Chauvenet Prize (1975) | ||
Martin David Davis (født 8. mars 1928 i New York City, død 1. januar 2023) var 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.