Saltar para o conteúdo

Martin Davis: diferenças entre revisões

Origem: Wikipédia, a enciclopédia livre.
Conteúdo apagado Conteúdo adicionado
Jakaroska (discussão | contribs)
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 algorítmos [[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]].
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 ==
==Bibliografia==

; 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}}.
{{Referências}}

== Bibliografia ==
*{{Citation
*{{Citation
| último = Jackson
| último = Jackson
Linha 47: Linha 65:
| oclc = 1480366
| oclc = 1480366
}}
}}

{{Referências}}


==Ligações externas==
==Ligações externas==

Edição atual tal como às 10h14min de 9 de janeiro de 2023

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/

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
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) 

Bibliografia[editar | editar código-fonte]

Ligações externas[editar | editar código-fonte]


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


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