Martin Davis

En el mundo actual, Martin Davis se ha convertido en un tema de gran relevancia e interés para la sociedad en general. Ya sea en el ámbito de la política, la ciencia, la tecnología, la cultura o cualquier otro campo, es innegable que Martin Davis ha captado la atención de millones de personas en todo el mundo. Desde sus orígenes hasta el presente, Martin Davis ha desempeñado un papel crucial en la forma en que las personas perciben, interactúan y se relacionan con el mundo que les rodea. En este artículo, exploraremos a fondo la importancia de Martin Davis y su impacto en la sociedad actual, analizando su relevancia, sus desafíos y sus posibles implicaciones futuras.

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 Ver y modificar los datos en Wikidata (94 años)
Berkeley (California, Estados Unidos) Ver y modificar los datos en Wikidata
Sepultura Cypress Lawn Memorial Park Ver y modificar los datos en Wikidata
Nacionalidad estadounidense
Educación
Educado en
Supervisor doctoral Alonzo Church Ver y modificar los datos en Wikidata
Información profesional
Ocupación profesor, matemático
Empleador
Obras notables
Miembro de
Sitio web
Distinciones

Martin Davis, (Nueva York, 1928-1 de enero de 2023)​ 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