Belgian journalist | Wilrijk: March 8, 1986 - January 30, 1846 | Kris Verburgh | Wilrijk: March 8, 1986 - January 30, 1846
Martin Davis
- New York City: March 8, 1928 celebration
- Berkeley: January 1, 2023 celebration


-
account_circle Username
Martin Davis -
flag Country
United States -
wc Gender
Male -
badge Full Name
Martin Davis -
assignment_ind Surname
Martin David Davis -
tv_signin Nickname
-
identity_platform Alias
-
celebration Date of birth
New York City: March 8, 1928 -
deceased Rest in Peace
Berkeley: January 1, 2023 -
language Official Website
http://www.cs.nyu.edu/cs/faculty/davism/ -
engineering Field of Work
- mathematics
- number theory
- computability theory
- Hilbert's tenth problem
-
local_library teacher
-
person_book Student
-
school Education
- City College of New York
- The Bronx High School of Science
- Princeton University
-
trophy Awards & Honors
- Paul R. Halmos - Lester R. Ford Awards (1982)
- Fellow of the American Mathematical Society (2013)
- Guggenheim Fellowship (1983)
- Chauvenet Prize (1975)
- Leroy P. Steele Prize (1975)
- Herbrand Award (2005)
-
social_leaderboard Notable Works
- Davis–Putnam algorithm
- DPLL algorithm
- Computability & unsolvability / Martin Davis. - 1958
- American mathematician (1928–2023) | Paul R. Halmos - Lester R. Ford Awards (1982), Fellow of the American Mathematical Society (2013), Guggenheim Fellowship