1. Dana Stewart Scott was born on October 11,1932 and is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is retired and lives in Berkeley, California.
Dana Scott has worked on modal logic, topology, and category theory.
Upset by that, Dana Scott left for Princeton where he finished with a Ph.
Dana Scott took up a post as Assistant Professor of Mathematics, back at the University of California, Berkeley, and involved himself with classical issues in mathematical logic, especially set theory and Tarskian model theory.
Dana Scott proved that the axiom of constructibility is incompatible with the existence of a measurable cardinal, a result considered seminal in the evolution of set theory.
Dana Scott began working on modal logic in this period, beginning a collaboration with John Lemmon, who moved to Claremont, California, in 1963.
Dana Scott was especially interested in Arthur Prior's approach to tense logic and the connection to the treatment of time in natural-language semantics, and began collaborating with Richard Montague, whom he had known from his days as an undergraduate at Berkeley.
John Lemmon and Dana Scott began work on a modal-logic textbook that was interrupted by Lemmon's death in 1966.
Dana Scott circulated the incomplete monograph amongst colleagues, introducing a number of important techniques in the semantics of model theory, most importantly presenting a refinement of the canonical model that became standard, and introducing the technique of constructing models through filtrations, both of which are core concepts in modern Kripke semantics.
Dana Scott eventually published the work as An Introduction to Modal Logic.
In 1967, Dana Scott published a paper, A Proof of the Independence of the Continuum Hypothesis, in which he used Boolean-valued models to provide an alternate analysis of the independence of the continuum hypothesis to that provided by Paul Cohen.
Dana Scott took up a post as Professor of Mathematical Logic on the Philosophy faculty of the University of Oxford in 1972.
Dana Scott was member of Merton College while at Oxford and is an Honorary Fellow of the college.
One of Dana Scott's contributions is his formulation of domain theory, allowing programs involving recursive functions and looping-control constructs to be given denotational semantics.
At Carnegie Mellon University, Dana Scott proposed the theory of equilogical spaces as a successor theory to domain theory; among its many advantages, the category of equilogical spaces is a cartesian closed category, whereas the category of domains is not.