| Martin Davis | |
|---|---|
 | |
| Nació | 8 de marzo de 1928 |
| Nacionalidad | americano |
| alma mater | Universidad de Princeton |
| Conocido por | Algoritmo de Davis-Putnam El algoritmo DPLL trabaja en el décimo problema de Hilbert |
| Premios | Premio Chauvenet (1975) |
| Carrera científica | |
| Instituciones | Universidad de Nueva York |
| Tesis | Sobre la teoría de la insolubilidad recursiva (1950) |
| Asesor de doctorado | Iglesia de Alonzo |
| Estudiantes de doctorado | Moshe Koppel , Donald W. Loveland |
Martin David Davis (nacido el 8 de marzo de 1928) es un matemático estadounidense , conocido por su trabajo sobre el décimo problema de Hilbert . [1] [2]
Biografía [ editar ]
Los padres de Davis eran inmigrantes judíos a los Estados Unidos de Łód to , Polonia , y se casaron después de que se volvieron a encontrar en la ciudad de Nueva York . Davis creció en el Bronx , donde sus padres lo alentaron a obtener una educación completa. [1] [2]
Recibió su Ph.D. de la Universidad de Princeton en 1950, donde su asesor fue Alonzo Church . [1] [2] [3] Es profesor emérito en la Universidad de Nueva York .
Contribuciones [ editar ]
Davis es el co-inventor del algoritmo Davis-Putnam y los algoritmos DPLL . También es conocido por su modelo de máquinas Post-Turing y su trabajo en el décimo problema de Hilbert que conduce al teorema MRDP .
Premios y honores [ editar ]
En 1975, Davis ganó el premio Leroy P. Steele , el premio Chauvenet (con Reuben Hersh ) y en 1974 el premio Lester R. Ford por sus escritos expositivos relacionados con su trabajo sobre el décimo problema de Hilbert. [2] [4] Se convirtió en miembro de la Academia Estadounidense de Artes y Ciencias en 1982, [2] y en 2012, fue seleccionado como uno de los becarios inaugurales de la Sociedad Matemática Estadounidense . [5]
Publicaciones seleccionadas [ editar ]
- Libros
- Davis, Martin (1958). Computabilidad e insolubilidad . Nueva York: Dover. ISBN 0-486-61471-9.
- Davis, Martin (1977). Análisis no estándar aplicado . Nueva York: Wiley. ISBN 9780471198970.
- Davis, Martin; Weyuker, Elaine J .; Sigal, Ron (1994). Computabilidad, complejidad y lenguajes: fundamentos de la informática teórica (2ª ed.). Boston: Prensa académica, Harcourt, Brace. ISBN 9780122063824.
- Davis, Martín (2000). Motores de la lógica: matemáticos y el origen de la computadora . Nueva York: Norton. ISBN 9780393322293.
- Artículos
- Davis, Martin (1973), "El décimo problema de Hilbert no tiene solución", American Mathematical Monthly , 80 (3), 233-269.
- Davis, Martin (1995), "Is matemática insight algorítmico", Behavioral and Brain Sciences , 13 (4), 659-60.
Ver también [ editar ]
- Críticas al análisis no estándar
- Detener el problema
- Influencia del análisis no estándar
Referencias [ editar ]
- ^ a b c Jackson, Allyn (septiembre de 2007), "Entrevista con Martin Davis" (PDF) , Notices of the American Mathematical Society , Providence, RI : American Mathematical Society (publicado en mayo de 2008), 55 (5), págs. 560 –571, ISSN 0002-9920 , OCLC 1480366 .
- ↑ a b c d e O'Connor, John J .; Robertson, Edmund F. , "Martin Davis (matemático)" , archivo MacTutor de Historia de las Matemáticas , Universidad de St Andrews.
- ^ Martin Davis en el Proyecto de genealogía matemática
- ^ Davis, Martin (1973). "El décimo problema de Hilbert es irresoluble" . Amer. Matemáticas. Mensual . 80 (3): 233–269. doi : 10.2307 / 2318447 . JSTOR 2318447 .
- ^ Lista de miembros de la American Mathematical Society , consultado el 17 de marzo de 2014.
Enlaces externos [ editar ]
 | Wikimedia Commons tiene medios relacionados con Martin Davis . |
- Sitio web de Martin Davis
