Martin Davis
Encyclopedia
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 algorithm
s. 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.
, but did not marry until they met again in New York City
. Davis grew up in the Bronx, where his parents encouraged him to obtain a full education .
United States
The United States of America is a federal constitutional republic comprising fifty states and a federal district...
mathematician
Mathematician
A mathematician is a person whose primary area of study is the field of mathematics. Mathematicians are concerned with quantity, structure, space, and change....
, known for his work on Hilbert's tenth problem
Hilbert's tenth problem
Hilbert's tenth problem is the tenth on the list of Hilbert's problems of 1900. Its statement is as follows:Given a Diophantine equation with any number of unknown quantities and with rational integral numerical coefficients: To devise a process according to which it can be determined in a finite...
. He received his Ph.D. from Princeton University
Princeton University
Princeton University is a private research university located in Princeton, New Jersey, United States. The school is one of the eight universities of the Ivy League, and is one of the nine Colonial Colleges founded before the American Revolution....
in 1950, where his adviser was Alonzo Church
Alonzo Church
Alonzo Church was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church–Turing thesis, Frege–Church ontology, and the Church–Rosser theorem.-Life:Alonzo Church...
. He is Professor Emeritus at New York University
New York University
New York University is a private, nonsectarian research university based in New York City. NYU's main campus is situated in the Greenwich Village section of Manhattan...
. He is the co-inventor of the Davis-Putnam and the DPLL algorithm
DPLL algorithm
The Davis–Putnam–Logemann–Loveland algorithm is a complete, backtracking-based algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal form, i.e. for solving the CNF-SAT problem....
s. He is a co-author, with Ron Sigal and Elaine J. Weyuker
Elaine Weyuker
Elaine J. Weyuker is an ACM Fellow, an IEEE Fellow , and an AT&T Fellow at Bell Labs for research in software metrics and testing as well as elected to the National Academy of Engineering. She is the author of over 130 papers in journals and refereed conference proceedings.Weyuker received a Ph.D....
, 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.
Biography
Davis's parents knew each other in Łódź, PolandPoland
Poland , officially the Republic of Poland , is a country in Central Europe bordered by Germany to the west; the Czech Republic and Slovakia to the south; Ukraine, Belarus and Lithuania to the east; and the Baltic Sea and Kaliningrad Oblast, a Russian exclave, to the north...
, but did not marry until they met again in New York City
New York City
New York is the most populous city in the United States and the center of the New York Metropolitan Area, one of the most populous metropolitan areas in the world. New York exerts a significant impact upon global commerce, finance, media, art, fashion, research, technology, education, and...
. Davis grew up in the Bronx, where his parents encouraged him to obtain a full education .