Martin Davis

matemático norte-americano

Martin David Davis (Nova Iorque, 8 de março de 1928 - 1 de janeiro de 2023)[1] foi um matemático estadunidense.

Martin Davis
Algoritmo de Davis-Putnam, Algoritmo DPLL
Nascimento 8 de março de 1928
Nova Iorque
Morte 1 de janeiro de 2023 (94 anos)
Berkeley (Estados Unidos)
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 Universidade de Nova Iorque
Orientador(es) Alonzo Church
Instituições Universidade de Nova Iorque
Campo(s) matemática
Página oficial
http://www.cs.nyu.edu/cs/faculty/davism/

CarreiraEditar

Era conhecido por seu trabalho sobre o décimo problema de Hilbert.[2] Obteve o doutorado na Universidade de Princeton em 1950, orientado por Alonzo Church.

Era professor emérito da Universidade de Nova Iorque. Foi co-inventor dos algoritmos Davis-Putnam e DPLL. Era 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. Foi também conhecido por seu modelo de Máquinas de Post-Turing.

Publicações selecionadasEditar

Livros
Artigos
  • Davis, Martin (1973), "Hilbert's Tenth Problem is Unsolvable", American Mathematical Monthly, 80(3), 233–269. doi:10.1080/00029890.1973.11993265.
  • Davis, Martin (1995), "Is mathematical insight algorithmic?", Behavioral and Brain Sciences, 13(4), 659–60.
  • Davis, Martin (2020), "Seventy Years of Computer Science", In: Blass A., Cégielski P., Dershowitz N., Droste M., Finkbeiner B. (eds.) Fields of Logic and Computation III, 105–117. Lecture Notes in Computer Science, vol. 12180. Springer: Cham, Switzerland. doi:10.1007/978-3-030-48006-6_8.

Referências

  1. «In memoriam: Martin Davis» (em inglês). 2 de janeiro de 2022. Consultado em 4 de janeiro de 2022 
  2. «Entrevista» (PDF) (em inglês) 

BibliografiaEditar

Ligações externasEditar


Precedido por
Peter Lax
Prêmio Chauvenet
1975
com Reuben Hersh
Sucedido por
Lawrence Zalcman


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