Martin Davis

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Martin Davis
Matemática
Nacionalidade Estados Unidos Estadunidense
Nascimento 1928 (86 anos)
Local Nova Iorque
Atividade
Campo(s) Matemática
Instituições Universidade de Nova Iorque
Alma mater Universidade de Princeton
Orientador(es) Alonzo Church
Conhecido(a) por Algoritmo de Davis-Putnam, Algoritmo DPLL
Prêmio(s) Prêmio Herbrand (2005)

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[editar | editar código-fonte]

Referências

Ligações externas[editar | editar código-fonte]

Ícone de esboço Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.