Dana Scott

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Translation Latin Alphabet.svg
Este artigo ou secção está a ser traduzido de de:Dana Scott. Ajude e colabore com a tradução.
Dana Stewart Scott
Matemática, lógica, ciência da computação e filosofia
Nacionalidade Estados Unidos Estadunidense
Nascimento 11 de outubro de 1932 (81 anos)
Local Berkeley
Atividade
Campo(s) Matemática, lógica, ciência da computação e filosofia
Tese 1958: Convergent sequences of complete theories
Orientador(es) Alonzo Church[1]
Orientado(s) Jack Copeland, Michael Fourman, Kenneth Kunen, Angus Macintyre, Ketan Mulmuley, Marko Petkovšek, Fred S. Roberts, David Turner, Dana Stewart Scott
Prêmio(s) Prêmio Leroy P. Steele (1972), Prêmio Turing (1977), Tarski Lectures (1989), Gödel Lecturer (1991), Prêmios Rolf Schock (1997)

Dana Stewart Scott (Berkeley, 11 de outubro de 1932) é um matemático, lógico, informático e filósofo estadunidense.

Contribuiu significativamente para a teoria dos autômatos, teoria dos modelos e semântica de linguagens de programação.


Referências

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


Precedido por
Allen Newell, Herbert Simon
Prêmio Turing
1976
com Michael Rabin
Sucedido por
John Backus