Martin Davis
0 sources
Martin Davis
Summary
Martin Davis is a human[1]. He was born in New York City[2]. He was born on March 8, 1928[3]. He died in Berkeley[4]. He died on January 1, 2023[5]. He worked as a mathematician[6], university teacher[7], and computer scientist[8]. He has Wikipedia articles in 14 language editions, a strong signal of global cultural recognition.[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 March 8, 1928[3].
- Martin Davis died on January 1, 2023[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 March 8, 1928[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] and Davis–Putnam algorithm[74].
Recognition
Awards received include Herbrand Award[75], an award[76], founded in 1992[77]; Leroy P. Steele Prize[78], a group of awards[79], in United States[80], founded in 1970[81]; Paul R. Halmos - Lester R. Ford Awards[82], a mathematics award[83], in United States[84], founded in 1964[85]; Guggenheim Fellowship[86], a fellowship grant[87], in United States[88], founded in 1925[89]; Fellow of the American Mathematical Society[90]; and Chauvenet Prize[91].
Death and Burial
Martin Davis died on January 1, 2023[5]. He died in Berkeley[4]. Burial took place at Cypress Lawn Memorial Park[10].
Why It Matters
Martin Davis has Wikipedia articles in 14 language editions, a strong signal of global cultural recognition.[9] He is known by 10 alternative names across languages and contexts.[92]
Works attributed to him include DPLL algorithm[93], a search algorithm[94], founded in 1962[95]. Entities named for him include DPLL algorithm[71], a search algorithm[72], founded in 1962[73] and Davis–Putnam algorithm[74].
His notable doctoral advisees include Moshe Koppel[96], a Judaic scholar[97], b. 1956[98], of Israel[99], specialised in computer science[100]; Donald W. Loveland[101], a mathematician[102], b. 1934[103], of United States[104], awarded the Herbrand Award[105], specialised in computer science[106]; Donald Perlis[107], a computer scientist[108], b. 1944[109]; and Alberto Policriti[110], a computer scientist[111], of Italy[112].
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[75], Leroy P. Steele Prize[78], Paul R. Halmos - Lester R. Ford Awards[82], and Guggenheim Fellowship[86].