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,376 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,403rd 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

  • 83k

    Page Views (PV)

  • 47.00

    Historical Popularity Index (HPI)

  • 19

    Languages Editions (L)

  • 4.28

    Effective Languages (L*)

  • 2.56

    Coefficient of Variation (CV)

Page views of Martin Davis by language

Over the past year Martin Davis has had the most page views in the with 2,735 views, followed by Spanish (1,806), and Chinese (1,804). In terms of yearly growth of page views the top 3 wikpedia editions are Haitian (115.12%), Egyptian Arabic (71.03%), and Southern Azerbaijani (7.54%)

Among MATHEMATICIANS

Among mathematicians, Martin Davis ranks 778 out of 1,004Before 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

Contemporaries

Among people born in 1928, Martin Davis ranks 427Before 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 459Before 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

Others Deceased in 2023

Go to all Rankings

In United States

Among people born in United States, Martin Davis ranks 7,403 out of 20,380Before 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).

Among MATHEMATICIANS In United States

Among mathematicians born in United States, Martin Davis ranks 52Before 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).