Martin Davis

Martin Davis
Martin Davis
Martin Davis.jpg
Nombre Martin David Davis
Nacimiento 1928
Bandera de los Estados Unidos Estados Unidos, Nueva York
Nacionalidad estadounidense
Ocupación profesor, matemático
Sitio web
Martin Davis

Martin Davis, (nacido en 1928 en Nueva York) es un matemático estadounidense conocido por su trabajo relacionado con el décimo problema de Hilbert. Obtuvo su PhD en la Universidad de Princeton en 1950 y su tutor fue Alonzo Church. Es profesor emérito de la Universidad de Nueva York. Es coinventor del algoritmo de Davis-Putnam y del algoritmo DPLL. También es coautor, junto con Ron Sigal y Elaine J. Weyuker de Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science, un libro de texto sobre la teoría de la computabilidad. También ha escrito el libro La computadora universal, el cual trata la historia de los lógicos,desde Leibniz hasta Turing, cuyo trabajo ha hecho posible la creación de las computadoras. Así mismo es conocido por diseñar las máquinas Post-Turing.

Enlaces externos


Wikimedia foundation. 2010.

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

  • Martin Davis — (* 1928 in New York City) ist einer der bedeutendsten lebenden Logiker und theoretischen Informatiker. Inhaltsverzeichnis 1 Lebe …   Deutsch Wikipedia

  • 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


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

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