Loading AI tools
Da Wikipédia, a enciclopédia livre
Dana Stewart Scott (Berkeley, 11 de outubro de 1932) é um matemático, lógico, informático e filósofo estadunidense.
Dana Stewart Scott | |
---|---|
Nascimento | 11 de outubro de 1932 (91 anos) Berkeley |
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) |
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 |
Contribuiu significativamente para a teoria dos autômatos, teoria dos modelos e semântica de linguagens de programação.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.