93,772 profiles ranked live

Back to the boardThe board

Martin Davis

✓ Source-basedfalling

American mathematician (1928-2023)

United StatesAcademicsLived 1928 to 2023 · aged 94
Compare
Fame48.6
Momentum0.1
Languages19
In century#47,968

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.

Also inDeutsch

Photos 1

Awards 6

2013Fellow of the American Mathematical Society
2005Herbrand Award
1983Guggenheim Fellowship
1982Paul R. Halmos - Lester R. Ford Awards
1975Leroy P. Steele Prize
1975Chauvenet Prize

Connected to Martin 6

Edmund M. ClarkeAlso won Herbrand AwardMark KacAlso won Paul R. Halmos - Lester R. Ford AwardsJoan BirmanAlso won Chauvenet PrizeEugenio CalabiAlso won Leroy P. Steele PrizeDon ZagierAlso won Chauvenet PrizeWu WenjunAlso won Herbrand Award

About this person

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. 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
Written about in
19 languages

Fame.am measures public visibility signals. It does not measure human value, talent, morality, or credibility.