Martin Davis

Martin Davis
Información personal
Nombre de nacimiento	Martin David Davis
Nacimiento	1928; Estados Unidos, Nueva York
Fallecimiento	1 de enero de 2023 (94 años); Berkeley (California, Estados Unidos)
Sepultura	Cypress Lawn Memorial Park
Nacionalidad	estadounidense
Educación
Educado en	The Bronx High School of Science (1940-1944); City College of New York (1944-1948); Universidad de Princeton (Ph.D. en Matemáticas; 1948-1950) ;
Supervisor doctoral	Alonzo Church
Información profesional
Ocupación	profesor, matemático
Empleador	Universidad de Illinois en Urbana-Champaign (1950-1952); Institute for Advanced Study (1952-1954); Universidad de California en Davis (1954-1955); Universidad del Estado de Ohio (1955-1956); Instituto Politécnico Rensselaer (1956-1959); Universidad de Nueva York (1959-1960); Universidad Yeshiva (1960-1965); Universidad de Nueva York (1965-1996) ;
Obras notables	Algoritmo de Davis-Putnam; Algoritmo DPLL ;
Miembro de	Academia Estadounidense de las Artes y las Ciencias; Sociedad Estadounidense de Matemática (desde 2012) ;
Sitio web	Martin Davis
Distinciones	Premio Chauvenet (1975); Premio Leroy Steele (1975); Paul R. Halmos - Lester R. Ford Awards (1982); Beca Guggenheim (1983); Premio Herbrand (2005); Miembro de la Sociedad Estadounidense de Matemática (2013) ;
	[editar datos en Wikidata]

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