Martin Davis
American mathematician (1928-2023) · United States · On the map · Academics · Died at 94
Martin David Davis was an American mathematician and computer scientist who contributed to the fields of computability theory and mathematical logic. His work on Hilbert's tenth problem led to the MRDP theorem.
Martin Davis is read about 31 times a day, in 19 languages.
A typical day, 30 days to 21 June 2026
The middle day of the days counted, so one week of news cannot move it. The line under it is the last 60 days, one point a day.
Something wrong?A life in dates
2023Died1 January 20232013Fellow of the American Mathematical SocietyAward2005Herbrand AwardAward1983Guggenheim FellowshipAward1982Paul R. Halmos - Lester R. Ford AwardsAward1975Chauvenet PrizeAwardLeroy P. Steele PrizeAward1928Born8 March 1928
Media & music
Photos 1
Awards
About this person
He also advanced the Post-Turing model and co-developed the Davis-Putnam-Logemann-Loveland (DPLL) algorithm, which is foundational for Boolean satisfiability solvers.
Country
United States
Category
Academics
Type
Academic
Status
Deceased
Dates
Lived 1928 to 2023 · aged 94
