Martin Davis

E46731

computer scientist human logician mathematician

Martin Davis was an American mathematician and logician renowned for his foundational work in computability theory and the Entscheidungsproblem, including contributions to the Davis–Putnam algorithm.

Statements (47)

Predicate	Object
instanceOf	computer scientist → human → logician → mathematician →
academicAdvisor	Alonzo Church →
areaOfInfluence	automated theorem proving → foundations of computer science →
awardReceived	Chauvenet Prize → Herbrand Award → Leroy P. Steele Prize →
countryOfCitizenship	United States of America →
educatedAt	City College of New York → Princeton University →
employer	Courant Institute of Mathematical Sciences → New York University →
familyName	Davis →
fieldOfWork	computability theory → decision problems → mathematical logic → mathematics → recursion theory → theoretical computer science →
genre	non-fiction →
givenName	Martin →
influencedBy	Alan Turing → Alonzo Church → Kurt Gödel →
knownFor	Davis–Putnam algorithm → Davis–Putnam–Logemann–Loveland procedure → contributions to Hilbert's tenth problem → foundational work in computability theory → work on the Entscheidungsproblem →
languageOfWorkOrName	English →
memberOf	American Mathematical Society → Association for Symbolic Logic →
notableWork	Computability and Unsolvability → Davis–Putnam algorithm → Davis–Putnam–Logemann–Loveland algorithm → Engines of Logic → The Undecidable → The Universal Computer → work on Hilbert's tenth problem → work on the Entscheidungsproblem →
occupation	author → university teacher →
positionHeld	professor of mathematics →
sexOrGender	male →

Referenced by (1)

Subject (surface form when different)	Predicate
Herbrand Award →	notableRecipient