Dana Scott
 |
Você está visualizando uma edição arquivada desta página, feita por Luckas-bot (discussão | contribs) em 21h21min de 18 de dezembro de 2011. Esta edição pode ser muito diferente da versão atual da página. O endereço URL mostrado no navegador é uma ligação permanente para esta edição. Para mais informações, consulte a página de ajuda sobre histórico de edições. |
 | Este artigo ou se(c)ção está a ser traduzido. |
| Dana Stewart Scott | |
|---|---|
 | |
| Nascimento | 11 de outubro de 1932 (92 anos) Berkeley |
| Nacionalidade |  Estadunidense
|
| Prêmios | Prêmio Turing (1977) |
| Orientador(es)(as) | Alonzo Church |
| Campo(s) | Matemática, lógica, ciência da computação e filosofia |
| Tese | 1958: Convergent sequences of complete theories |
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.
Ligações externas
- Dana Scott (em inglês) no Mathematics Genealogy Project
- «Página pessoal» (em inglês)
- «Prêmio Rolf Schock» (em inglês)
- «ACM Fellow» (em inglês)
- «Série Perspectives in Mathematical Logic» (em inglês)
| Precedido por Allen Newell, Herbert Simon |
Prêmio Turing 1976 com Michael Rabin |
Sucedido por John Backus |
