- Martin Davis
-
Martin Davis 
Nombre Martin David Davis Nacimiento 1928
Estados Unidos, Nueva YorkNacionalidad estadounidense Ocupación profesor, matemático Sitio web
Martin DavisMartin Davis, (nacido en 1928 en Nueva York) 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
Categorías:- Nacidos en 1928
- Matemáticos del siglo XX
- Matemáticos de Estados Unidos
- Lógicos
- Teóricos de números
- Alumnado de la Universidad de Princeton
Wikimedia foundation. 2010.
