Dana Scott
 |
| Dana Stewart Scott | |
|---|---|
 | |
| Nascimento | 11 de outubro de 1932 (93 anos) |
| Nacionalidade |  Estadunidense |
| Prêmios | Prêmio Leroy P. Steele (1972), Prêmio Turing (1977), Tarski Lectures (1989), Gödel Lecturer (1991), Prêmios Rolf Schock (1997) |
| Carreira científica | |
| Orientador(es)(as) | Alonzo Church[1] |
| Orientado(a)(s) | Jack Copeland, Michael Fourman, Kenneth Kunen, Angus Macintyre, Ketan Mulmuley, Marko Petkovšek, Fred S. Roberts, David Turner, Dana Stewart Scott |
| 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.
Referências
- ↑ Dana Scott (em inglês) no Mathematics Genealogy Project
Ligações externas
[editar | editar código]- 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 |
Categorias:
- Nascidos em 1932
- Prêmio Turing
- Prêmio Rolf Schock
- Membros da Academia Nacional de Ciências dos Estados Unidos
- Fellows da ACM
- Doutores honoris causa da Universidade Técnica de Darmstadt
- Especialistas em lógica matemática
- Teóricos do reticulado
- Topólogos
- Semanticistas
- Lógicos dos Estados Unidos
- Professores da Universidade Carnegie Mellon
- Professores da Universidade de Chicago
- Professores da Universidade da Califórnia em Berkeley
- Matemáticos dos Estados Unidos
- Matemáticos dos Estados Unidos do século XX
- Cientistas da computação dos Estados Unidos
- Alunos da Universidade de Princeton
- Alunos da Universidade da Califórnia em Berkeley
- Bolsistas Guggenheim