Martin Davis
Algoritmo de Davis-Putnam,Algoritmo DPLL
Nascimento	Martin David Davis 8 de março de1928 Nova Iorque
Morte	1 de janeiro de2023 (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
Distinções	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/
[edite no Wikidata]

Martin David Davis (Nova Iorque,8 de março de1928 -1 de janeiro de2023)^[1] foi ummatemáticoestadunidense.

Era conhecido por seu trabalho sobre odécimo problema de Hilbert.^[2] Obteve odoutorado naUniversidade de Princeton em 1950, orientado porAlonzo Church.

Eraprofessor emérito daUniversidade de Nova Iorque. Foi co-inventor dos algoritmosDavis-Putnam eDPLL. Era coautor, comRon Sigal eElaine Weyuker, deComputability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science, um livro texto sobreteoria da computabilidade. Foi também conhecido por seu modelo deMáquinas de Post-Turing.

Livros

• Davis, Martin (1958).Computability and Unsolvability. Nova York: Dover.ISBN 0-486-61471-9 1982 Dover - reimpresso
• Davis, Martin (1977).Applied nonstandard analysis. Nova York: Wiley.ISBN 9780471198970 2014 Dover reprint
• Davis, Martin;Weyuker, Elaine J.; Sigal, Ron (1994).Computability, complexity, and languages: fundamentals of theoretical computer science 2a. Edição ed. Boston: Academic Press, Harcourt, Brace.ISBN 9780122063824  !CS1 manut: Texto extra (link)
• Davis, Martin (2000).The Universal Computer: The Road from Leibniz to Turing. [S.l.]: Norton.ISBN 0393047857 . Reimpresso comoEngines of Logic: Mathematicians and the Origin of the Computer. Nova York: Norton. 2000.ISBN 9780393322293 
• Davis, Martin (2004).The Undecidable : Basic papers on undecidable propositions, unsolvable problems and computable functions. Nova York: Dover Publications.ISBN 0-486-43228-9.OCLC 53840050 

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

• Jackson, Allyn (Setembro de 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 

• Martin Davis's website
• About Davis and a book by him
• Martin Davis (em inglês) noMathematics Genealogy Project

Este artigo sobre um(a)matemático(a) é umesboço. Você pode ajudar a Wikipédiaexpandindo-o. v d e

• Nascidos em 1928
• Mortos em 2023
• Homens
• Lógicos
• Teoristas dos números
• Matemáticos dos Estados Unidos
• Alunos da Universidade de Princeton
• Naturais de Nova Iorque (cidade)

• !CS1 inglês-fontes em língua (en)
• !CS1 manut: Texto extra
• !Esboços sobre matemáticos
• !Esboços maiores que 5000 bytes
• Pessoas vivas