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/ | |
[edite no Wikidata] |
Martin David Davis (Nova Iorque, 8 de março de 1928 - 1 de janeiro de 2023)[1] foi um matemático estadunidense.
Carreira
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 selecionadas
- 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 como Engines 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
Bibliografia
- 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
Ligações externas
- Martin Davis's website
- About Davis and a book by him
- Martin Davis (em inglês) no Mathematics Genealogy Project
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.
|