About: Martin Davis

This page is on the mathematician. For the former tennis player see Martin Davis (tennis). Martin DavisFile:Martin Davis. jpgPhoto courtesy George M. BergmanBorn 1928New York CityNationality AmericanInstitutions New York UniversityAlma mater Princeton UniversityDoctoral advisor Alonzo ChurchKnown for Davis-Putnam algorithmDPLL algorithm Martin David Davis, is an American mathematician, known for his work on Hilbert's tenth problem. He received his Ph.D.

Property	Value
dbont:abstract	This page is on the mathematician. For the former tennis player see Martin Davis (tennis). Martin DavisFile:Martin Davis. jpgPhoto courtesy George M. BergmanBorn 1928New York CityNationality AmericanInstitutions New York UniversityAlma mater Princeton UniversityDoctoral advisor Alonzo ChurchKnown for Davis-Putnam algorithmDPLL algorithm Martin David Davis, is an American mathematician, known for his work on Hilbert's tenth problem. He received his Ph.D. from Princeton University in 1950, where his adviser was Alonzo Church. He is Professor Emeritus at New York University. He is the co-inventor of the Davis-Putnam and the DPLL algorithms. He is a co-author, with Ron Sigal and Elaine J. Weyuker, of Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science, a textbook on the theory of computability. He is also known for his model of Post–Turing machines.
dbont:birthPlace	http://dbpedia.org/resource/New_York_City
dbont:thumbnail	http://upload.wikimedia.org/wikipedia/commons/thumb/3/36/Martin_Davis.jpg/200px-Martin_Davis.jpg
dbont:wikiPageExternalLink	http://www.alicebot.org/articles/wallace/mathematicians.html http://www.ams.org/notices/200805/tx080500560p.pdf http://www.cs.nyu.edu/cs/faculty/davism/
dbont:wikiPageWikiLink	http://dbpedia.org/resource/%C5%81%C3%B3d%C5%BA http://dbpedia.org/resource/Alonzo_Church http://dbpedia.org/resource/American_Mathematical_Society http://dbpedia.org/resource/Category:1928_births http://dbpedia.org/resource/Category:20th-century_mathematicians http://dbpedia.org/resource/Category:American_mathematicians http://dbpedia.org/resource/Category:Living_people http://dbpedia.org/resource/Category:Logicians http://dbpedia.org/resource/Category:Number_theorists http://dbpedia.org/resource/Category:Princeton_University_alumni http://dbpedia.org/resource/Computability_theory http://dbpedia.org/resource/Criticism_of_non-standard_analysis http://dbpedia.org/resource/DPLL_algorithm http://dbpedia.org/resource/Davis%E2%80%93Putnam_algorithm http://dbpedia.org/resource/Elaine_Weyuker http://dbpedia.org/resource/Hilbert%27s_tenth_problem http://dbpedia.org/resource/Martin_Davis_%28tennis%29 http://dbpedia.org/resource/Mathematician http://dbpedia.org/resource/New_York_City http://dbpedia.org/resource/New_York_University http://dbpedia.org/resource/Notices_of_the_American_Mathematical_Society http://dbpedia.org/resource/Poland http://dbpedia.org/resource/Post%E2%80%93Turing_machine http://dbpedia.org/resource/Princeton_University http://dbpedia.org/resource/Professor%23Retired_faculty http://dbpedia.org/resource/Providence,_Rhode_Island http://dbpedia.org/resource/The_Bronx http://dbpedia.org/resource/United_States
dbprop:almaMater	http://dbpedia.org/resource/Princeton_University
dbprop:birthDate	1928
dbprop:birthPlace	http://dbpedia.org/resource/New_York_City
dbprop:caption	Photo courtesy George M. Bergman
dbprop:doctoralAdvisor	http://dbpedia.org/resource/Alonzo_Church
dbprop:imageSize	200
dbprop:knownFor	http://dbpedia.org/resource/DPLL_algorithm http://dbpedia.org/resource/Davis%E2%80%93Putnam_algorithm
dbprop:name	Davis, Martin Martin Davis
dbprop:nationality	http://dbpedia.org/resource/United_States
dbprop:placeOfBirth	http://dbpedia.org/resource/New_York_City
dbprop:wikiPageUsesTemplate	http://dbpedia.org/resource/Template:Infobox_scientist http://dbpedia.org/resource/Template:Persondata
dbprop:workplaces	http://dbpedia.org/resource/New_York_University
dcterms:subject	http://dbpedia.org/resource/Category:1928_births http://dbpedia.org/resource/Category:20th-century_mathematicians http://dbpedia.org/resource/Category:American_mathematicians http://dbpedia.org/resource/Category:Living_people http://dbpedia.org/resource/Category:Logicians http://dbpedia.org/resource/Category:Number_theorists http://dbpedia.org/resource/Category:Princeton_University_alumni
rdf:type	http://xmlns.com/foaf/0.1/Person
rdfs:comment	This page is on the mathematician. For the former tennis player see Martin Davis (tennis). Martin DavisFile:Martin Davis. jpgPhoto courtesy George M. BergmanBorn 1928New York CityNationality AmericanInstitutions New York UniversityAlma mater Princeton UniversityDoctoral advisor Alonzo ChurchKnown for Davis-Putnam algorithmDPLL algorithm Martin David Davis, is an American mathematician, known for his work on Hilbert's tenth problem. He received his Ph.D.
rdfs:label	Martin Davis
foaf:depiction	http://upload.wikimedia.org/wikipedia/commons/3/36/Martin_Davis.jpg
foaf:givenName	Martin
foaf:name	Martin Davis
foaf:page	http://en.wikipedia.org/wiki/Martin_Davis
foaf:surname	Davis