New games! PlayTrivia andBirthle.

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 83,576 page views. His biography is available in 17 different languages on Wikipedia. Martin Davis is the 835th most popular mathematician (down from 779th in 2019), the 9,768th most popular biography from United States (down from 9,467th in 2019) and the 71st 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

  • 84k

    Page Views (PV)

  • 41.69

    Historical Popularity Index (HPI)

  • 17

    Languages Editions (L)

  • 3.25

    Effective Languages (L*)

  • 2.78

    Coefficient of Variation (CV)

Page views of Martin Davis by language


Among MATHEMATICIANS

Among mathematicians, Martin Davis ranks 835 out of 823. Before him are George Mostow, Elon Lindenstrauss, Cécile DeWitt-Morette, Robert Daniel Carmichael, Diederik Korteweg, and Richard Borcherds. After him are Poul Heegaard, Caucher Birkar, Demetrios Christodoulou, Edward Charles Titchmarsh, Nicolaas Govert de Bruijn, and I. J. Good.

Most Popular Mathematicians in Wikipedia

Go to all Rankings
Load previousLoad previous

Contemporaries

Among people born in 1928, Martin Davis ranks 466. Before him are Cy Young, Joseph Vissers, Joseph Kruskal, Bruce Ames, Gino Munaron, and Ted Sorensen. After him are Surya Bahadur Thapa, Vern Mikkelsen, Fred Ebb, Peter Taylor, Stig Claesson, and Sheila Lerwill. Among people deceased in 2023, Martin Davis ranks 347. Before him are Anfisa Reztsova, Vadim Abdrashitov, Marianne Werner, Jimmy Buffett, Niels Holst-Sørensen, and Safi Faye. After him are Pascoal Mocumbi, Bob Richards, Henrik Nordbrandt, Terence Davies, Gordon Pinsent, and Richard Murphy.

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 9,768 out of 18,182. Before him are Alain LeRoy Locke (1885), F. Gary Gray (1969), David Thompson (1953), Jeff Garlin (1962), George Siegmann (1882), and Eubie Blake (2). After him are Lisa Zane (1961), Florence La Badie (1888), Elliot Richardson (1920), Alma Bennett (1904), Leonidas Polk (1806), and Sleepy John Estes (1899).

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 71. Before him are Elwyn Berlekamp (1940), Curtis T. McMullen (1958), Norman Johnson (1930), Martin David Kruskal (1925), George Mostow (1923), and Robert Daniel Carmichael (1879). After him are Ken Ribet (1948), Michael Aschbacher (1944), Douglas McIlroy (1932), Christine Darden (1942), Phillip Griffiths (1938), and James Waddell Alexander II (1888).

American born Mathematicians

Go to all Rankings
Load previousLoad previous
  • DatawheelCL