Martin Davis

Martin Davis
Información personal
Nombre de nacimiento	Martin David Davis
Nacimiento	1928; Estados Unidos, Nueva York
Nacionalidad	estadounidense
Educación
Educado en	Universidad de Princeton
Supervisor doctoral	Alonzo Church
Información profesional
Ocupación	profesor, matemático
Empleador	Universidad de Nueva York
Miembro de	American Mathematical Society; Academia Estadounidense de las Artes y las Ciencias;
Sitio web	Martin Davis
Distinciones	Miembro de la Academia Estadounidense de las Artes y las Ciencias; Miembro de la Sociedad Estadounidense de Matemática; Paul R. Halmos - Lester R. Ford Awards; Premio Leroy Steele (1975); Beca Guggenheim (1983); Premio Herbrand (2005);

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.

Enlaces externos

Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.