Diferencia entre revisiones de «Martin Davis»
Contenido eliminado Contenido añadido
Página nueva: '''Martin Davis''', (nacido en 1928 en Nueva York) es un matemático estadounidense conocido por su trabajo relacionado con el [[problemas de Hilbert|décimo problema ... |
|||
| Línea 10: | Línea 10: | ||
[[Categoría:nacidos en 1928|Davis, Martin]] |
[[Categoría:nacidos en 1928|Davis, Martin]] |
||
[[Categoría:matemáticos americanos|Davis, Martin]] |
|||
[[Categoría:matemáticos del siglo XX|Davis, Martin]] |
|||
[[Categoría:Lógicos|Davis, Martin]] |
[[Categoría:Lógicos|Davis, Martin]] |
||
Revisión del 13:16 31 ene 2007
Martin 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 Davis-Putnam y de los algoritmos 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. Así mismo es conocido por diseñar las máquinas Post-Turing.