Martin Davis

Summary

Martin Davis is a human^[1]. He was born in New York City^[2]. He was born on +1928-03-08T00:00:00Z^[3]. He died in Berkeley^[4]. He died on +2023-01-01T00:00:00Z^[5]. He worked as a mathematician^[6], university teacher^[7], and computer scientist^[8]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (44 views/month, #7,266 of 1,000,298).^[9]

Key Facts

• Martin Davis's place of birth was New York City^[2].
• Martin Davis passed away in Berkeley^[4].
• Martin Davis was born on +1928-03-08T00:00:00Z^[3].
• Martin Davis died on +2023-01-01T00:00:00Z^[5].
• Martin Davis is buried at Cypress Lawn Memorial Park^[10].
• Martin Davis held citizenship in United States^[11].
• Martin Davis's professions included mathematician^[6].
• Martin Davis worked as a university teacher^[7].
• Martin Davis worked as a computer scientist^[8].
• Martin Davis's field of work was number theory^[12].
• Martin Davis's field of work was mathematics^[13].
• Martin Davis's field of work was Hilbert's tenth problem^[14].
• Martin Davis's field of work was computability theory^[15].
• Martin Davis was employed by New York University^[16].
• Martin Davis was employed by University of Illinois Urbana–Champaign^[17].
• Among Martin Davis's employers was Institute for Advanced Study^[18].
• Among Martin Davis's employers was University of California, Davis^[19].
• Among Martin Davis's employers was Ohio State University^[20].
• Among Martin Davis's employers was Rensselaer Polytechnic Institute^[21].
• Martin Davis's education included a stint at Princeton University^[22].
• Martin Davis's education included a stint at Bronx High School of Science^[23].
• Martin Davis's education included a stint at City College of New York^[24].
• Martin Davis's doctoral advisor was Alonzo Church^[25].
• A notable work attributed to Martin Davis is Davis–Putnam algorithm^[26].
• A notable work attributed to Martin Davis is Computability & unsolvability / Martin Davis. - 1958^[27].

Body

Origins and Family

Martin Davis was born in New York City^[2]. He was born on +1928-03-08T00:00:00Z^[3].

Education

Educated at Princeton University^[22], a private university^[28], in United States^[29], founded in 1746^[30], headquartered in Princeton^[31]; Bronx High School of Science^[23], a high school^[32], in United States^[33], founded in 1938^[34]; and City College of New York^[24], a higher education institution^[35], in United States^[36], founded in 1847^[37], headquartered in New York City^[38]. Martin Davis's doctoral advisor was Alonzo Church^[25].

Career and Affiliations

Recorded occupations include mathematician^[6], university teacher^[7], and computer scientist^[8]. Fields of work include number theory^[12], a branch of mathematics^[39]; mathematics^[13], an academic discipline^[40]; Hilbert's tenth problem^[14], a conjecture^[41]; and computability theory^[15]. Employers include New York University^[16], a private university^[42], in United States^[43], founded in 1831^[44], headquartered in New York City^[45]; University of Illinois Urbana–Champaign^[17], a public research university^[46], in United States^[47], founded in 1867^[48]; Institute for Advanced Study^[18], a research institute^[49], in United States^[50], founded in 1930^[51], headquartered in Princeton^[52]; University of California, Davis^[19], a university^[53], in United States^[54], founded in 1905^[55]; Ohio State University^[20], a public research university^[56], in United States^[57], founded in 1870^[58], headquartered in Columbus^[59]; and Rensselaer Polytechnic Institute^[21], a private university^[60], in United States^[61], founded in 1824^[62], headquartered in Troy^[63]. Doctoral students include Moshe Koppel^[64], Donald W. Loveland^[65], Donald Perlis^[66], Robert Arnold Di Paola^[67], Edward Norman Schwartz^[68], and John Denes^[69].

Works and Contributions

Notable works include Davis–Putnam algorithm^[26], Computability & unsolvability / Martin Davis. - 1958^[27], and DPLL algorithm^[70]. Things named for him include DPLL algorithm^[71], a search algorithm^[72], founded in 1962^[73], written by him^[74] and Davis–Putnam algorithm^[75].

Recognition

Awards received include Herbrand Award^[76], an award^[77], founded in 1992^[78]; Leroy P. Steele Prize^[79], a group of awards^[80], in United States^[81], founded in 1970^[82]; Paul R. Halmos - Lester R. Ford Awards^[83], a mathematics award^[84], in United States^[85], founded in 1964^[86]; Guggenheim Fellowship^[87], a fellowship grant^[88], in United States^[89], founded in 1925^[90]; Fellow of the American Mathematical Society^[91]; and Chauvenet Prize^[92].

Death and Burial

Martin Davis died on +2023-01-01T00:00:00Z^[5]. He died in Berkeley^[4]. Burial took place at Cypress Lawn Memorial Park^[10].

Why It Matters

Martin Davis ranks in the top 0.73% of human entities by monthly Wikipedia readership (44 views/month, #7,266 of 1,000,298).^[9] He has Wikipedia articles in 14 language editions, a strong signal of global cultural recognition.^[93] He is known by 10 alternative names across languages and contexts.^[94]

Works attributed to him include DPLL algorithm^[95], a search algorithm^[96], founded in 1962^[97], written by him^[98]. Entities named for him include DPLL algorithm^[71], a search algorithm^[72], founded in 1962^[73], written by him^[74] and Davis–Putnam algorithm^[75].

His notable doctoral advisees include Moshe Koppel^[99], a Judaic scholar^[100], b. 1956^[101], of Israel^[102], specialised in computer science^[103]; Donald W. Loveland^[104], a mathematician^[105], b. 1934^[106], of United States^[107], awarded the Herbrand Award^[108], specialised in computer science^[109]; Donald Perlis^[110], a computer scientist^[111], b. 1944^[112]; and Alberto Policriti^[113], a computer scientist^[114], of Italy^[115].

FAQs

Where was Martin Davis born?

Martin Davis was born in New York City^[2].

Where did Martin Davis die?

Martin Davis died in Berkeley^[4].

What did Martin Davis do for work?

Martin Davis worked as mathematician^[6], university teacher^[7], and computer scientist^[8].

Where did Martin Davis go to school?

Martin Davis was educated at Princeton University^[22], Bronx High School of Science^[23], and City College of New York^[24].

What awards did Martin Davis receive?

Honors received include Herbrand Award^[76], Leroy P. Steele Prize^[79], Paul R. Halmos - Lester R. Ford Awards^[83], and Guggenheim Fellowship^[87].