Martin David Davis (Nova Iorque, - 1 de janeiro de 2023) foi um matemático estadunidense.
Carreira Era conhecido por seu trabalho sobre o décimo problema de Hilbert. 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 selecionadas
Livros
1982 Dover - reimpresso 2014 Dover reprint
. Reimpresso como
Artigos
Davis, Martin (1973), "Hilbert's Tenth Problem is Unsolvable", American Mathematical Monthly, 80(3), 233–269. . 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. .
Bibliografia
Ligações externas Martin Davis's website About Davis and a book by him
Categoria:Lógicos Categoria:Teoristas dos números Categoria:Matemáticos dos Estados Unidos Categoria:Alunos da Universidade de Princeton Categoria:Naturais de Nova Iorque (cidade)