Martin Davis

Martin Davis 's Academic­Influence.com Rankings

Martin Davis

Mathematics

#171

World Rank

#404

Historical Rank

#76

USA Rank

Measure Theory

#1256

World Rank

#1594

Historical Rank

#454

USA Rank

mathematics Degrees

Download Badge

• Mathematics

Martin Davis 's Degrees

• PhD Mathematics Princeton University

Why Is Martin Davis Influential?

According to Wikipedia, 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 algorithm, which is foundational for Boolean satisfiability solvers.

Other Resources About Martin Davis

• en.wikipedia.org
• www.cs.nyu.edu

What Schools Are Affiliated With Martin Davis ?

Martin Davis is affiliated with the following schools:

• University of California, Berkeley
• Princeton University
• New York University