EntityQ1239172· pop 21· linked from 168 articlesMartin DavisSign in to saveAmerican mathematician (1928–2023)Listeners · Last.fmListeners26Total plays346 <a href="https://www.last.fm/music/Martin+Davis">Read more on Last.fm</a>via Last.fm · Martin DavisConnectionsDPLL algorithmEntityBerlinEntityCategories1928 births2023 deaths20th-century American Jews20th-century American mathematicians21st-century American Jews21st-century American mathematiciansAmerican logiciansAmerican number theoristsAmerican people of Polish-Jewish descentCourant Institute of Mathematical Sciences facultyFellows of the American Academy of Arts and SciencesFellows of the American Mathematical Society