Martin Davis: diferenças entre revisões
Aspeto
Conteúdo apagado Conteúdo adicionado
Etiquetas: Edição via dispositivo móvel Edição feita através do sítio móvel Edição móvel avançada |
Inclusão de Tópico Etiquetas: Inserção de predefinição obsoleta Editor Visual |
||
Linha 26: | Linha 26: | ||
'''Martin David Davis''' ([[Nova Iorque]], {{dtlink|8|3|1928}} - [[1 de janeiro]] de [[2023]])<ref>{{citar web|url=https://logicprogramming.org/2023/01/in-memoriam-martin-davis/|título=In memoriam: Martin Davis|data=2 de janeiro de 2022|acessodata=4 de janeiro de 2022|língua=en}}</ref> foi um [[matemático]] [[Povo dos Estados Unidos|estadunidense]]. |
'''Martin David Davis''' ([[Nova Iorque]], {{dtlink|8|3|1928}} - [[1 de janeiro]] de [[2023]])<ref>{{citar web|url=https://logicprogramming.org/2023/01/in-memoriam-martin-davis/|título=In memoriam: Martin Davis|data=2 de janeiro de 2022|acessodata=4 de janeiro de 2022|língua=en}}</ref> foi um [[matemático]] [[Povo dos Estados Unidos|estadunidense]]. |
||
== Carreira == |
|||
Era conhecido por seu trabalho sobre o [[décimo problema de Hilbert]].<ref>{{Link|en|2=http://www.ams.org/notices/200805/tx080500560p.pdf|3=Entrevista}}</ref> Obteve o [[doutorado]] na [[Universidade de Princeton]] em 1950, orientado por [[Alonzo Church]]. |
Era conhecido por seu trabalho sobre o [[décimo problema de Hilbert]].<ref>{{Link|en|2=http://www.ams.org/notices/200805/tx080500560p.pdf|3=Entrevista}}</ref> 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 |
Era [[professor emérito]] da [[Universidade de Nova Iorque]]. Foi co-inventor dos algoritmos [[Algoritmo de Davis-Putnam|Davis-Putnam]] e [[Algoritmo DPLL|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áquina de Post-Turing|Máquinas de Post-Turing]]. |
||
== Publicações selecionadas == |
|||
⚫ | |||
; Livros |
|||
* {{cite book|title=Computability and Unsolvability|last=Davis|first=Martin|publisher=Dover|isbn=0-486-61471-9|location=Nova York|year=1958}} [https://books.google.com/books?id=mCc3DwAAQBAJ 1982 Dover - reimpresso] |
|||
* {{cite book|url=https://archive.org/details/appliednonstanda0000davi|title=Applied nonstandard analysis|last=Davis|first=Martin|publisher=Wiley|isbn=9780471198970|url-access=|location=Nova York|year=1977}} [https://www.google.com/books?id=0yP0AwAAQBAJ 2014 Dover reprint] |
|||
* {{cite book|url=https://www.google.com/books?id=dSHIIx0uGx0C|title=Computability, complexity, and languages: fundamentals of theoretical computer science|last1=Davis|first1=Martin|last2=Weyuker|first2=Elaine J.|last3=Sigal|first3=Ron|publisher=Academic Press, Harcourt, Brace|isbn=9780122063824|author-link2=Elaine Weyuker|location=Boston|year=1994|edition=2a. Edição}} |
|||
* {{cite book|title=The Universal Computer: The Road from Leibniz to Turing|last=Davis|first=Martin|publisher=Norton|isbn=0393047857|year=2000}}. Reimpresso como {{cite book|title=Engines of Logic: Mathematicians and the Origin of the Computer|publisher=Norton|isbn=9780393322293|location=Nova York|year=2000}} |
|||
* {{Cite book|url=https://www.worldcat.org/oclc/53840050|title=The Undecidable : Basic papers on undecidable propositions, unsolvable problems and computable functions|last=Davis|first=Martin|date=2004|publisher=Dover Publications|isbn=0-486-43228-9|oclc=53840050|edition=|location=Nova York}} |
|||
; 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}}. |
|||
⚫ | |||
⚫ | |||
*{{Citation |
*{{Citation |
||
| último = Jackson |
| último = Jackson |
||
Linha 47: | Linha 65: | ||
| oclc = 1480366 |
| oclc = 1480366 |
||
}} |
}} |
||
⚫ | |||
==Ligações externas== |
==Ligações externas== |
Edição atual tal como às 10h14min de 9 de janeiro de 2023
Martin David Davis (Nova Iorque, 8 de março de 1928 - 1 de janeiro de 2023)[1] foi um matemático estadunidense.
Carreira[editar | editar código-fonte]
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[editar | editar código-fonte]
- 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
- 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
- ↑ «In memoriam: Martin Davis» (em inglês). 2 de janeiro de 2022. Consultado em 4 de janeiro de 2022
- ↑ «Entrevista» (PDF) (em inglês)
Bibliografia[editar | editar código-fonte]
- 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[editar | editar código-fonte]
- 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 |