Martin Davis, (Nueva York, 1928) 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.

Davis, Martin (1928-)

Año de nacimiento: 1928

Enlaces relacionados: http://es.wikipedia.org/wiki/Martin_Davis

Enlaces relacionados

http://es.wikipedia.org/wiki/Martin_Davis

DBpedia http://dbpedia.org/resource/Martin_Davis
ISNI http://isni-url.oclc.nl/isni/0000000109215209
Sudoc http://www.idref.fr/031840620
Biblioteca Nacional Alemana http://d-nb.info/gnd/116040866
VIAF http://viaf.org/viaf/85381152
Biblioteca del Congreso de los EEUU http://id.loc.gov/authorities/names/n50035603
Biblioteca Nacional Francesa http://data.bnf.fr/12298096
Fuente consultada

La computadora universal, 2002

WWW BL OPAC, 14-3-2003

Información encontrada

(Davis, Martin, 1928-)

port. (Martin Davis)