Martin Davis, (born 1928, New York City) is an Jewish-American mathematician, known for his work on Hilbert's tenth problem (Jackson 2008, p. 560). He received his Ph.D. from Princeton University in 1950, where his adviser was Alonzo Church (Jackson 2008, p. 560). 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. Year 1928 (MCMXXVIII) was a leap year starting on Sunday (link will display full calendar) of the Gregorian calendar. ... New York, New York and NYC redirect here. ... The word Jew ( Hebrew: יהודי) is used in a wide number of ways, but generally refers to a follower of the Jewish faith, a child of a Jewish mother, or someone of Jewish descent with a connection to Jewish culture or ethnicity and often a combination of these attributes. ... Leonhard Euler, considered one of the greatest mathematicians of all time A mathematician is a person whose primary area of study and research is the field of mathematics. ... Hilberts tenth problem is the tenth on the list of Hilberts problems of 1900. ... Princeton University is a private coeducational research university located in Princeton, New Jersey. ... ‹ The template below (Expand) is being considered for deletion. ... A professor is a senior teacher and researcher, usually in a college or university. ... New York University (NYU) is a private, nonsectarian, coeducational research university in New York City. ... The Davis-Putnam algorithm is an algorithm for checking the satisfiability of formulae in conjunctive normal form, i. ... The DPLL/Davis-Putnam-Logemann-Loveland algorithm is a complete, backtracking-based algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal form, i. ... A Post-Turing Machine is a simple model of computation that has been shown to be equivalent in computational power to a Turing Machine. ...

Biography

Davis's parents knew each other in Lodz, Poland, but did not marry until they met again in New York City (Jackson 2008, p. 560). Davis grew up in the Bronx, where his parents encouraged him to obtain a full education (Jackson 2008, p. 561). . Łódź (pronunciation: ) is the second-largest city (population 776,297 in 2004) of Poland, located in the centre of the country. ... New York, New York and NYC redirect here. ... For other uses, see Bronx (disambiguation). ...

References

• Jackson, Allyn (September 2007), “Interview with Martin Davis”, Notices of the American Mathematical Society (Providence, RI: American Mathematical Society) 55 (5): 560–571, 2008, ISSN 0002-9920, OCLC 1480366, <http://www.ams.org/notices/200805/tx080500560p.pdf> 

Notices of the AMS, March 2005 issue. ... Providence redirects here. ... The American Mathematical Society (AMS) is dedicated to the interests of mathematical research and education, which it does with various publications and conferences as well as annual monetary awards to mathematicians. ... ISSN, or International Standard Serial Number, is the unique eight-digit number applied to a periodical publication including electronic serials. ... The Online Computer Library Center (OCLC) was founded in 1967 and originally named the Ohio College Library Center. ...

External links

• Martin Davis's website
• About Davis and a book by him

• Martin Davis at the Mathematics Genealogy Project

‹The template Lifetime is being considered for deletion.›  The Mathematics Genealogy Project is a web-based database that gives an academic genealogy based on dissertation supervision relations. ...