Martin Davis
Información personal
Nombre de nacimiento Martin David Davis
Nacimiento 1928
Bandera de Estados Unidos 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
Miembro de
Sitio web
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)

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.

Biografía

Obtuvo su PhD en la Universidad de Princeton en 1950 y su tutor fue Alonzo Church. Fue profesor emérito de la Universidad de Nueva York, y coinventor del algoritmo de Davis-Putnam y del algoritmo DPLL.

También fue 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.

Referencias

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

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.