Dana Scott
Aspeto
Dana Stewart Scott | |
---|---|
Nascimento | 11 de outubro de 1932 (91 anos) Berkeley |
Nacionalidade | ![]() |
Prêmios | Prêmio Leroy P. Steele (1972), Prêmio Turing (1977), Tarski Lectures (1989), Gödel Lecturer (1991), Prêmios Rolf Schock (1997) |
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-fonte]- 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