Martin Davis

Martin Davis
Martin Davis.jpg
Información personal
Nombre de nacimientoMartin David Davis
Nacimiento1928
Flag of the United States.svg Estados Unidos, Nueva York
Nacionalidadestadounidense
Educación
Alma máter
Supervisor doctoralAlonzo Church Ver y modificar los datos en Wikidata
Información profesional
Ocupaciónprofesor, matemático
Empleador
Miembro de
Distinciones
Web
Sitio web

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.

Other Languages
Deutsch: Martin Davis
English: Martin Davis
français: Martin Davis
Kreyòl ayisyen: Martin Davis
italiano: Martin Davis
polski: Martin Davis
português: Martin Davis
українська: Мартін Девіс
Tiếng Việt: Martin Davis