Martin Davis

URI: https://gptkb.org/entity/Martin_Davis

GPTKB entity

AI-created image

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:City_College_of_New_York gptkb:Princeton_University
gptkbp:awardReceived	gptkb:Chauvenet_Prize gptkb:Leroy_P._Steele_Prize
gptkbp:dateOfBirth	1928-03-08
gptkbp:dateOfDeath	2023-01-01
gptkbp:doctoralAdvisor	gptkb:Alonzo_Church
gptkbp:fieldOfWork	gptkb:logic computability theory computer science
https://www.w3.org/2000/01/rdf-schema#label	Martin Davis
gptkbp:knownFor	gptkb:Davis–Putnam–Logemann–Loveland_algorithm gptkb:Davis–Putnam_algorithm work on Hilbert's tenth problem
gptkbp:memberOf	gptkb:American_Academy_of_Arts_and_Sciences gptkb:Association_for_Symbolic_Logic
gptkbp:nationality	gptkb:United_States
gptkbp:notableStudent	gptkb:Hilary_Putnam gptkb:Julia_Robinson gptkb:Yuri_Matiyasevich
gptkbp:occupation	gptkb:computer_scientist gptkb:mathematician
gptkbp:placeOfBirth	gptkb:New_York_City
gptkbp:placeOfDeath	gptkb:Berkeley,_California
gptkbp:publishedIn	gptkb:Journal_of_Symbolic_Logic
gptkbp:spouse	gptkb:Virginia_White_Davis
gptkbp:bfsParent	gptkb:Alonzo_Church
gptkbp:bfsLayer	4