Martin Davis
American mathematician (1928–2023).
The record
Martin Davis was an American mathematician. Born on 8 March 1928 in New York City, Davis died on 1 January 2023 in Berkeley at the age of 94.
Notable works include Davis–Putnam algorithm, Computability & unsolvability / Martin Davis. - 1958 and DPLL algorithm. Davis studied at Princeton University and Bronx High School of Science. Honours include Leroy P. Steele Prize, Chauvenet Prize and Paul R. Halmos - Lester R. Ford Awards, among 6 recorded.
With a Wikipedia article in 22 languages, Martin Davis is No. 70,221 in the People and Position Index.
- Born
- 8 March 1928, New York City
- Died
- 1 January 2023, Berkeley (aged 94)
- Country
- United States
- Known as
- Mathematician, university teacher, computer scientist
- Field
- Science
- Education
- Princeton University, Bronx High School of Science
- Languages
- English
- Wikipedia editions
- 22
Did you know
Lived to 94.
Shares a birthday with Hebe Camargo and Marjorie Estiano.
One of 1,149 people in the Index born in New York City, with Lana Del Rey.
Has a Wikipedia article in 22 languages.
Computed from the Index and Wikidata.
Honours and works
Awards
- Leroy P. Steele Prize1975
- Chauvenet Prize1975
- Paul R. Halmos - Lester R. Ford Awards1982
- Guggenheim Fellowship1983
- Herbrand Award2005
- Fellow of the American Mathematical Society2013
Notable works
- Davis–Putnam algorithm
- Computability & unsolvability / Martin Davis. - 1958
- DPLL algorithm
More in Science
Italian navigator, explorer, and colonist (1451–1506)View profile ↗
German-born theoretical physicist (1879–1955)View profile ↗
English computer scientist (1912–1954)View profile ↗
Serbian-American engineer and inventor (1856-1943)View profile ↗
American theoretical physicist (1904–1967)View profile ↗
British theoretical physicist, cosmologist and author (1942–2018)View profile ↗Sources
- Wikidata Q1239172 (facts, CC0)
- Wikimedia pageviews API (popularity)