Martin Davis
Martin Davis | |
|---|---|
 | |
| Conhecido(a) por | Algoritmo de Davis-Putnam, Algoritmo DPLL |
| Nascimento | 1928 (91 anos) Nova Iorque |
| Nacionalidade |  Estadunidense |
Alma mater | Universidade de Princeton |
| Prêmios | Prêmio Leroy P. Steele (1975), Prêmio Chauvenet (1975), Prêmio Herbrand (2005) |
| Orientador(es) | Alonzo Church |
| Instituições | Universidade de Nova Iorque |
| Campo(s) | Matemática |
Martin David Davis (Nova Iorque, 1928) é um matemático estadunidense.
É conhecido por seu trabalho sobre o décimo problema de Hilbert.[1] Obteve o doutorado na Universidade de Princeton em 1950, orientado por Alonzo Church.
É professor emérito da Universidade de Nova Iorque. É co-inventor dos algorítmos Davis-Putnam e DPLL. É coautor, com Ron Sigal e Elaine Weyuker, de Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science, um livro texto sobre teoria da computabilidade. É também conhecido por seu modelo de Máquinas de Post-Turing.
Bibliografia |
Jackson, Allyn (September 2007), «Interview with Martin Davis» (PDF), Providence, RI: American Mathematical Society (publicado em 2008), Notices of the American Mathematical Society, ISSN 0002-9920, 55 (5), pp. 560–571, OCLC 1480366 Verifique data em:|data=, |ano= / |data= mismatch(ajuda)
Referências
↑ Entrevista (em inglês)
Ligações externas |
- Martin Davis's website
- About Davis and a book by him
Martin Davis (em inglês) no Mathematics Genealogy Project
| Precedido por Peter Lax | Prêmio Chauvenet 1975 com Reuben Hersh | Sucedido por Lawrence Zalcman |
| Controle de autoridade |
|
|---|
: 
