Dana Scott

from Wikipedia, the free encyclopedia

Dana Stewart Scott (* 11. October 1932 in Berkeley ) is an American mathematician , logician , computer scientist and philosopher who made significant contributions to automata theory , model theory of, axiomatic set theory and semantics programming has done.

Dana S. Scott


Scott is the only child of two sales agents who divorced in 1938. He studied mathematics in Berkeley from 1950 until his bachelor's degree in 1954 (with Alfred Tarski among others ) and received his doctorate in 1958 from Alonzo Church in Princeton on Convergent sequences of complete theories . 1959, during a post-doctoral period at the University of Chicago , he published with Michael O. Rabin finite automata and Their decision problems (introduction of non-deterministic machine ) composed of a collaboration of the two during a summer job in 1957 at Watson Thomas J. Research Center of IBM emerged , and for which both 1976 the Turing Award was given.

1958 to 1960 he was a visiting lecturer at the University of Chicago . In 1960 he became an assistant professor at Berkeley, where he dealt with modal logic , among other things (book with John Lemmon , who died in 1966 , An introduction to modal logic , 1977). 1963 to 1967 he was assistant professor and then until 1969 professor of mathematics and logic at Stanford University . In 1968/69 he was visiting professor at the University of Amsterdam , 1969–1972 professor of philosophy and mathematics at Princeton. From 1972 to 1981 he was Professor of Mathematical Logic at Oxford , where he worked with Christopher Strachey on the semantics of programming languages ​​( Denotational Semantics , justification of the "Domain Theory". For this work he received the Harold Pender Prize in 1990 and the 1997 Rolf Schock Prize ). The two began working together during a stay in Oxford in 1969. From 1981 until his retirement in 2003, he was Professor of Computer Science, Mathematical Logic and Philosophy at Carnegie Mellon University in Pittsburgh , where he and Herbert A. Simon from 1985 also held the faculty of Helped build philosophy. In 1992/93 he was visiting professor at the Johannes Kepler University Linz , in 2001 at the Mittag-Leffler-Institut in Stockholm, and in 2003 visiting scholar at the Alexander von Humboldt Foundation in Munich. Kenneth Kunen and Angus Macintyre are among his roughly 50 doctoral students .

In 1967 he introduced (following a suggestion by Robert Solovay , who did this independently at the same time as Petr Vopěnka ) Boolean models, which he used for a new proof of the independence of the continuum hypothesis (proven in 1963 by Paul Cohen ) ( A proof of the independence of the continuum hypothesis , Mathematical Systems Theory Vol. 1, 1967, pp. 89-111). For this he received the Leroy P. Steele Prize in 1972 .

In 1974 he published a system of axioms of set theory that was an alternative to the Zermelo-Fraenkel system ( Scott's system of axioms ).

He also worked on category theory and topology .

Scott was a Sloan Research Fellow from 1963 to 1965 and a Guggenheim Fellow Visiting Scientist at the Xerox PARC (Palo Alto Research Center) from 1978/79 . In 2003 he was a visiting researcher at the Humboldt Foundation in Munich. He is an honorary doctor of the Universities of Utrecht , Edinburgh , Ljubljana and the TH Darmstadt (1995). He is a member of the US National Academy of Sciences , the American Academy of Arts and Sciences , the American Association for the Advancement of Science , the British Academy , the Finnish since 1972 and the New York Academy of Sciences and Academia Europaea . He is a Fellow of the ACM . In 2001 he received the Bolzano Medal of the Czech Academy of Sciences . In 1989 he gave the first Tarski Lectures in Berkeley, and in 1991 the second Gödel Lecture . In 2007 he received the EATCS Award . He is a fellow of the American Mathematical Society .

Scott co-founded - group for Mathematical Logic , dedicated to the publication of the book series Perspectives in Mathematical Logic busy.

He is married to the pianist Irene Schreier, who also teaches at Carnegie Mellon University.

See also

Web links

Commons : Dana Scott  - Collection of Images