Martin Davis
Martin Davis · Technology & Engineering
Foundational work in computability and mathematical logic.
1928, New York City, United States — 2023, Berkeley, California, United States
United States
Martin Davis is recognized among Jewish contributors to Technology & Engineering — Foundational work in computability and mathematical logic.
Davis, an American mathematician born to Jewish immigrants from Poland, did foundational work in computability theory and mathematical logic. He was a central contributor to solving Hilbert's tenth problem, proving that no algorithm can decide whether an arbitrary Diophantine equation has integer solutions (the Davis–Putnam–Robinson–Matiyasevich theorem). His Davis–Putnam algorithm also became a cornerstone of automated theorem proving and modern SAT solvers.
Verify and go deeper with these external references.
Source: Jinfo.org — Jews in Computer Science
This page is published in seven languages from an English source. The translations are reviewed, but a mistake can still slip through. If you spot one on this profile — a wrong word, a lost date, a sentence that says something the English does not — please tell us.
Foundational work in computability and mathematical logic.
Source: Jinfo.org — Jews in Computer Science
Similar Contributors
Hilary Putnam
Avi Wigderson
Leslie Lamport
Richard Karp
Alfred Tarski
