| Martin Davis
|
 Martin Davis |
| Algoritmo de Davis-Putnam, Algoritmo DPLL
|
| Nascimento
|
Martin David Davis
8 de março de 1928
Nova Iorque
|
| Morte
|
1 de janeiro de 2023 (94 anos)
Berkeley (Estados Unidos)
|
| Sepultamento
|
Cypress Lawn Memorial Park
|
| Nacionalidade
|
estadunidense
|
| Cidadania
|
Estados Unidos
|
| Alma mater
|
Universidade de Princeton
|
| Ocupação
|
matemático, professor universitário, cientista de computação
|
| Prêmios
|
Prêmio Leroy P. Steele (1975), Prêmio Chauvenet (1975), Prêmio Herbrand (2005)
|
| Empregador(a)
|
Universidade de Nova Iorque, Universidade de Illinois em Urbana-Champaign, Instituto de Estudos Avançados de Princeton, Universidade da Califórnia em Davis, Universidade Estadual de Ohio, Instituto Politécnico Rensselaer, Universidade Yeshiva, Universidade de Nova Iorque
|
| Orientador(a)(es/s)
|
Alonzo Church
|
| Instituições
|
Universidade de Nova Iorque
|
| Campo(s)
|
matemática
|
| Obras destacadas
|
Algoritmo de Davis-Putnam, Computability & unsolvability / Martin Davis. - 1958, Algoritmo DPLL
|
| Página oficial
|
| http://www.cs.nyu.edu/cs/faculty/davism/
|
|
|
Martin David Davis (Nova Iorque, 8 de março de 1928 - 1 de janeiro de 2023)[1] foi um matemático estadunidense.
