# Mathematician:Dana Stewart Scott

Jump to navigation
Jump to search

## Mathematician

American computer scientist, logician and philosopher.

## Nationality

American

## History

- Born: October 11, 1932
- 1954: Received BA in Mathematics from University of California, Berkeley
- 1958: Completed Ph.D. at Princeton, moved to University of Chicago
- 1960: Assistant Professor of Mathematics, University of California, Berkeley
- 1963: Began collaboration with John Lemmon
- 1972: Awarded LeRoy P. Steele Prize for
*A Proof of the Independence of the Continuum Hypothesis* - 1972: Professor of Mathematical Logic on the Philosophy faculty of Oxford University
- 1976: Turing Award (with Michael Rabin)
- 1990: Harold Pender Award for
*Application of Concepts ... Programming Languages* - 1994: Inducted as a Fellow of the Association for Computing Machinery
- 1997: Rolf Schock Prize in Logic and Philosophy
- 2001: Bolzano Medal for Merit in the Mathematical Sciences

## Theorems and Definitions

Definitions of concepts named for **Dana Stewart Scott** can be found here.

## Publications

- 1958:
*Convergent Sequences of Complete Theories*(Ph.D. thesis) - 1959:
*Finite Automata and Their Decision Problem*(with Michael O. Rabin) - 1967:
*A proof of the independence of the continuum hypothesis* - 1970:
*Advice in modal logic*(in*Philosophical Problems in Logic*, ed. K. Lambert) - 1977:
*An introduction to modal logic*(with John Lemmon) - 1980:
*A Compendium of Continuous Lattices*(with G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson and M.W. Mislove) - 1990:
*Application of Concepts from Logic and Algebra to the Development of Mathematical Semantics of Programming Languages* - December 1996:
*A New Category? Domains, Spaces and Equivalence Relations*