Martin Davis

Martin Davis ( born 1928 in New York City ) is one of the greatest living logician and theoretical computer science.

Life

Davis was born in 1928 as a child of Polish immigrants in New York City.

He initially studied mathematics at the City College of New York. During this time his performance was strongly influenced by Emil Leon Post. In 1950 he received his doctorate in Alonzo Church at Princeton University. He then spent a year at the University of Illinois at Urbana -Champaign as a research instructor worked. He then worked as a programmer of the 1951 completed computer ORDVAC the University of Illinois. During this time he wrote the first version of his 1958 published book Computability and Unsolvability, which belongs to the classics of theoretical computer science.

From 1952 to 1954 he was a guest at the Institute for Advanced Study at Princeton. According to various activities, including at the University of California, Davis, Bell Telephone Laboratories and the RAND Corporation, he went in 1965 as a professor at New York University. In 1969 he built on the Department of Computer Science. After 31 years of service at the University, he moved in 1996 to retire, which he spent with his wife, Virginia, Berkeley.

Services

Martin Davis became famous especially by the 1961 published jointly with Hilary Putnam and Julia Robinson 's work The decision problem- for exponential Diophantine equations, which provided the basis for the solution of Hilbert's tenth problem by David Yuri Matijassewitsch. There are also important the Davis -Putnam procedure and the Davis - Putnam - Logemann - Loveland algorithm ( DPLL).

Honors

Martin Davis was awarded the Lester Randolph Ford Award and the 1975 Chauvenet Prize from the Mathematical Association of America in 1974. The American Mathematical Society honored him in 1975 with the Leroy P. Steele Prize. He was awarded the Herbrand Award 2005. In 1962 he was invited speaker at the International Congress of Mathematicians in Stockholm ( quantification theory as a free variable calculus ). He is a Fellow of the American Mathematical Society.

Publications

  • Solvability, provability, Definability: The Collected Works of Emil L. Post (Contemporary Neuroscientists ). Birkhäuser, Boston 1993, ISBN 0,817,635,793th
  • Engines of Logic: Mathematicians and the Origin of the Computer: Mathematicians and the Origin of the Computer. Reprint edition. W W Norton & Co, September 2001, ISBN 0393322297th
  • Arithmetical Problems and Recursively Enumerable Predicates. In: The Journal of Symbolic Logic. Reprint edition. Vol 18, No. No. 1, W W Norton & Company, March 1953, pp. 33-41.
  • The decision problem- for exponential diophantine equations. In: Ann. of Math. Vol 2, No. No. 74, 1961, ISSN 0003- 486x, pp. 425-436.
Princeton (New Jersey) David Hilbert Herbrand-Award Mathematics Genealogy Project Integrated Authority File
552971
de