MATHEMATICIAN

Martin Davis

1928 - 2023

Photo of Martin Davis

Icon of person Martin Davis

Martin David Davis (March 8, 1928 – January 1, 2023) 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. Davis won the Leroy P. Steele Prize, the Chauvenet Prize (with Reuben Hersh), and the Lester R. Read more on Wikipedia

Since 2007, the English Wikipedia page of Martin Davis has received more than 85,521 page views. His biography is available in 19 different languages on Wikipedia (up from 17 in 2019). Martin Davis is the 778th most popular mathematician (up from 832nd in 2019), the 7,404th most popular biography from United States (up from 9,746th in 2019) and the 52nd most popular American Mathematician.

Martin Davis was an American mathematician and computer scientist who made significant contributions to the theory of computation, particularly in the areas of automated theorem proving and the foundations of computer science. He is best known for his work on the decision problem, which showed that there are some mathematical questions that cannot be answered algorithmically.

Memorability Metrics

  • 86k

    Page Views (PV)

  • 54.15

    Historical Popularity Index (HPI)

  • 19

    Languages Editions (L)

  • 4.28

    Effective Languages (L*)

  • 2.56

    Coefficient of Variation (CV)

Among MATHEMATICIANS

Among mathematicians, Martin Davis ranks 778 out of 1,004. Before him are Wendelin Werner, Ilya Piatetski-Shapiro, Oskar Perron, Franz Mertens, Gu Chaohao, and Vaughan Jones. After him are Hassler Whitney, Nikolai Chebotaryov, Hua Luogeng, Cesare Burali-Forti, Sergei Adian, and Edward O. Thorp.

Most Popular Mathematicians in Wikipedia

Go to all Rankings
Load previousLoad previous

Contemporaries

Among people born in 1928, Martin Davis ranks 427. Before him are Chung Won-shik, Marceline Loridan-Ivens, Martin Turnovský, Hidetaka Nishiyama, Michelle Perrot, and Earl Holliman. After him are Joe Morello, John Ostrom, Tom Lantos, Emilio Caprile, Jean Dotto, and Kiyonori Kikutake. Among people deceased in 2023, Martin Davis ranks 460. Before him are Denys Monastyrsky, Salma Khadra Jayyusi, Yaakov Ziv, Ama Ata Aidoo, Stéphane Demol, and Richard Murphy. After him are Kusuma Wardhani, Yuliya Borisova, Superstar Billy Graham, Damir Šolman, Rolf Harris, and Klaus Beer.

Others Born in 1928

Go to all Rankings
Load previousLoad previous

Others Deceased in 2023

Go to all Rankings
Load previousLoad previous

In United States

Among people born in United States, Martin Davis ranks 7,404 out of 20,380. Before him are Sally Mann (1951), Billy Hart (1940), Melina Kanakaredes (1967), Earl Holliman (1928), Robert Strauss (1913), and Dale Gardner (1948). After him are Juanita Moore (1914), Joe Morello (1928), Chuck Russell (1958), Karl Logan (1965), Richard Hilton (1955), and Steve Forrest (1925).

Others born in United States

Go to all Rankings
Load previousLoad previous

Among MATHEMATICIANS In United States

Among mathematicians born in United States, Martin Davis ranks 52. Before him are Daniel Quillen (1940), Charles Fefferman (1949), Gladys West (1930), Solomon W. Golomb (1932), Rudy Rucker (1946), and Gilbert Strang (1934). After him are Hassler Whitney (1907), Edward O. Thorp (1932), Joseph Keller (1923), Christine Darden (1942), Morris Kline (1908), and Douglas McIlroy (1932).

American born Mathematicians

Go to all Rankings
Load previousLoad previous