Martin Davis

Martin Davis
Martin Davis

Martin Davis (* 1928 in New York City) ist einer der bedeutendsten lebenden Logiker und theoretischen Informatiker.

Inhaltsverzeichnis

Leben

Davis wurde 1928 als Kind polnischer Immigranten in New York City geboren.

Er studierte zunächst Mathematik am City College of New York. Während dieser Zeit wurde seine Entwicklung stark durch Emil Leon Post beeinflusst. 1950 promovierte er bei Alonzo Church an der Princeton University. Anschließend war er ein Jahr an der University of Illinois at Urbana-Champaign als Research Instructor tätig. Danach arbeitete er als Programmierer des 1951 fertiggestellten Rechners ORDVAC der University of Illinois. Während dieser Zeit schrieb er die erste Version seines 1958 erschienenen Buches Computability and Unsolvability, das zu den Klassikern der theoretischen Informatik gehört.

Von 1952 bis 1954 war er Gast am Institute for Advanced Study in Princeton. Nach verschiedenen Tätigkeiten, unter anderem an der University of California, Davis, den Bell Telephone Laboratories und für die RAND Corporation, ging er 1965 als Professor an die New York University. Ab 1969 baute er dort das Department of Computer Science auf. Nach 31-jähriger Tätigkeit an der Universität wechselte er 1996 in den Ruhestand, den er zusammen mit seiner Ehefrau Virginia in Berkeley verlebt.

Leistungen

Berühmt wurde Martin Davis vor allem durch die 1961 gemeinsam mit Hilary Putnam und Julia Robinson veröffentlichte Arbeit The decision problem for exponential Diophantine equations [1], die die Grundlagen zur Lösung von David Hilberts zehntem Problem durch Juri Matijassewitsch lieferte. Bedeutend sind auch das Davis-Putnam-Verfahren und der Davis-Putnam-Logemann-Loveland-Algorithmus (DPLL).

Ehrungen

Martin Davis erhielt 1974 den Lester Randolph Ford Award[2] und 1975 den Chauvenet-Preis der Mathematical Association of America. Die American Mathematical Society hat ihn 1975 mit dem Leroy P. Steele Prize geehrt. 2005 wurde er mit dem Herbrand-Award ausgezeichnet.

Publikationen

  • Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science. 2 Auflage. Academic Pr Inc, 3. Februar 1994, ISBN 0122063821.
  • Solvability, Provability, Definability: The Collected Works of Emil L. Post (Contemporary Neuroscientists). Birkhäuser, Boston 1993, ISBN 0817635793.
  • Engines of Logic: Mathematicians & the Origin of the Computer: Mathematicians and the Origin of the Computer. Reprint Auflage. W W Norton & Co, September 2001, ISBN 0393322297.
  • Arithmetical Problems and Recursively Enumerable Predicates. In: The Journal of Symbolic Logic. Reprint Auflage. Vol. 18, Nr. No. 1, W W Norton & Co, März 1953, S. 33-41.
  • The decision problem for exponential diophantine equations. In: Ann. of Math.. Vol. 2, Nr. No. 74, 1961, ISSN 0003-486X, S. 425-436.

Einzelnachweise

  1. Annals of Mathematics (2) 74 (1961) 425 - 436
  2. für Hilberts tenth problem is unsolvable, American Mathematical Monthly, Band 80, 1973, S. 233

Weblinks


Wikimedia Foundation.

См. также в других словарях:

  • Martin Davis — Nombre Martin David Davis …   Wikipedia Español

  • Martin Davis — This page is on the mathematician. For the former tennis player see Martin Davis (tennis). Martin Davis Photo courtesy George M. Bergman Born …   Wikipedia

  • Martin Davis (tennis player) — Martin Davis (born November 15, 1958, in San Jose, California), is a former professional tennis player from the United States. During his career Davis won 4 singles titles and 4 doubles titles. He achieved a career high singles ranking of World… …   Wikipedia

  • Martin Davis Hardin — Born June 26, 1837(1837 06 26) Jacksonville, Illinois …   Wikipedia

  • Martin Jay Davis — Personal information Born 7 September 1937 (1937 09 07) (age 74) St. Louis, Missouri, United States Sport Sport Fencing Martin Jay Davis (born 7 September 1937) is a leading astrologer …   Wikipedia

  • Martin D. Hardin — Martin Davis Hardin United States Senator from Kentucky In office November 13, 1816 – March 4, 1817 Preceded by William T. Barry …   Wikipedia

  • Martin Rushent — 2011 Martin Charles Rushent (* 11. Juli 1948 in London, Bezirk Enfield[1]; † 4. Juni 2011 in Upper Basildon, Berkshire, England …   Deutsch Wikipedia

  • Davis — ist ein häufiger Familienname. Er steht zum König David im Alten Testament, im allgemeinen mit einer patronymischen s Bildung zu dem häufigen Vornamen David, als Verkürzung aus Davids. Davis ist auch der Name einer Universitätsstadt in… …   Deutsch Wikipedia

  • Martin (name) — Martin may either be a surname or given name. Martin Gender Male Origin Word/Name English, Latin Meaning Settlement by a lake English, Of Mars, Warlike Latin …   Wikipedia

  • Martin Davies — may refer to: Martin Davies (museum director) (1908–1975) Martin Davies (law professor) (born 1957) Martin Davies (writer), British author Martin Wilding Davies (born 1957), designer, writer and political theorist See also Martin Davis (born… …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»