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. Ford Award. Read more on Wikipedia

His biography is available in different languages on Wikipedia. Martin Davis is the 367th most popular mathematician (up from 778th in 2019), the 2,979th most popular biography from United States (up from 7,403rd in 2019) and the 21st 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

Loading...

Page views of Martin Davis by language

Loading...

Among MATHEMATICIANS

Among mathematicians, Martin Davis ranks 367 out of 1,004. Before him are George Peacock, John Graunt, Paul Émile Appell, Otto Hesse, Alfred J. Lotka, and Shiing-Shen Chern. After him are Lars Hörmander, Zhu Shijie, Daina Taimiņa, Sergei Sobolev, Antoine Gombaud, and Vladimir Drinfeld.

Most Popular Mathematicians in Wikipedia

Go to all Rankings
Load previousLoad previous

Contemporaries

Among people born in 1928, Martin Davis ranks 160. Before him are Vidal Sassoon, Malcolm Glazer, Walter Tevis, Nick Holonyak, Ralph Waite, and William Klein. After him are László Budai, Thomas E. Kurtz, Nodar Dumbadze, Yaacov Agam, Prince Tomislav of Yugoslavia, and Fredrik Barth. Among people deceased in 2023, Martin Davis ranks 124. Before him are A. S. Byatt, Tim Keller, Ian Wilmut, Gaston Glock, Kevin Mitnick, and Thomas Williams. After him are Anne Perry, Don Walsh, Marc Augé, Jerry Springer, Vakhtang Kikabidze, and Ruud Geels.

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 2,979 out of 20,380. Before him are Philly Joe Jones (1923), Clark L. Hull (1884), William Klein (1928), Charles Rangel (1930), Randy Rhoads (1956), and Brian Kobilka (1955). After him are Jane Jacobs (1916), Alexander Shulgin (1925), Lea Thompson (1961), Miguel Ferrer (1955), Vera Farmiga (1973), and Martha Scott (1912).

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 21. Before him are Lloyd Shapley (1923), John G. Thompson (1932), Jesse Douglas (1897), Robert Axelrod (1943), Stephen Smale (1930), and Edward Kasner (1878). After him are John Milnor (1931), Raymond Smullyan (1919), Marshall Harvey Stone (1903), Sal Khan (1976), Mitchell Feigenbaum (1944), and William Thurston (1946).

American born Mathematicians

Go to all Rankings
Load previousLoad previous