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-1 de enero de 2023)^[1] fue un matemático estadounidense conocido por su trabajo relacionado con el décimo problema de Hilbert.

↑ «Martin David Davis». Harris Funeral Home (en inglés). Berkeley. 2023. Consultado el 4 de enero de 2023.