Dana Scott

Dana Scott
Dana Scott

Dana Stewart Scott (* 11. Oktober 1932 in Berkeley) ist ein amerikanischer Mathematiker, Logiker, Informatiker und Philosoph, der bedeutende Beiträge zur Automatentheorie, Modelltheorie und Semantik der Programmiersprachen geleistet hat.

Leben und Werk

Scott ist das einzige Kind zweier Handelsvertreter, die sich 1938 scheiden ließen. Er studierte von 1950 bis zum Bachelor-Abschluss 1954 Mathematik in Berkeley (unter anderem bei Alfred Tarski) und promovierte 1958 bei Alonzo Church in Princeton über Convergent sequences of complete theories. 1959, während einer Post-Doc Zeit an der University of Chicago, veröffentlichte er mit Michael O. Rabin Finite automata and their decision processes (Einführung nichtdeterministischer Automaten), das aus einer Kollaboration der beiden während eines Sommer-Jobs 1957 am Thomas J. Watson Research Center von IBM hervorging, und für das beiden 1976 der Turing Award verliehen wurde.

1958 bis 1960 war er Lehrbeauftragter an der University of Chicago. 1960 wurde er Assistenzprofessor in Berkeley, wo er sich unter anderem mit Modallogik beschäftigte (Buch mit dem 1966 verstorbenen John Lemmon, An introduction to modal logic, 1977). 1963 bis 1967 war er Assistenzprofessor und danach bis 1969 Professor für Mathematik und Logik an der Stanford University. 1968/69 war er Gastprofessor an der Universität von Amsterdam, 1969–1972 Professor für Philosophie und Mathematik in Princeton. 1972 bis 1981 war er Professor für mathematische Logik in Oxford, wo er zusammen mit Christopher Strachey über die Semantik von Programmiersprachen arbeitete (Denotational Semantics, Begründung der „Domain Theory“, für diese Arbeiten erhielt er 1990 den Harold-Pender-Preis und 1997 den Rolf-Schock-Preis). Die Zusammenarbeit der beiden begann schon während eines Aufenthalts in Oxford 1969. 1981 bis zu seiner Emeritierung 2003 war er Professor für Informatik, mathematische Logik und Philosophie an der Carnegie Mellon University in Pittsburgh, wo er mit Herbert Simon ab 1985 auch die Fakultät für Philosophie aufzubauen half. 1992/93 war er Gastprofessor an der Johannes Kepler Universität Linz, 2001 am Mittag-Leffler-Institut in Stockholm, und 2003 Gastwissenschaftler der Alexander von Humboldt-Stiftung in München. Zu seinen rund 50 Doktoranden gehören Kenneth Kunen und Angus Macintyre.

1967 führte er (einer Anregung von Robert Solovay folgend, der dies zur gleichen Zeit ebenso wie Petr Vopěnka unabhängig tat) boole-wertige Modelle ein, die er zu einem neuen Beweis der Unabhängigkeit der Kontinuumshypothese (bewiesen 1963 von Paul Cohen) benutzte (A proof of the independence of the continuum hypothesis, Mathematical Systems Theory Bd. 1, 1967, S. 89-111). Dafür erhielt er 1972 den Leroy P. Steele Prize.

Daneben arbeitete er auch über Kategorientheorie und Topologie.

Scott war von 1963 bis 1965 Alfred-P.-Sloan-Fellow und 1978/79 als Guggenheim Fellow Visiting Scientist am Xerox PARC (Palo Alto Research Center). 2003 war er Gastwissenschaftler der Humboldt-Stiftung in München. Er ist Ehrendoktor der Universitäten Utrecht, Edinburgh, Ljubljana und der TH Darmstadt (1995). Er ist Mitglied der National Academy of Sciences der USA, der American Academy of Arts and Sciences, der American Association for the Advancement of Science, der British Academy, der finnischen und der New Yorker Akademie der Wissenschaften und der Academia Europaea. Er ist Fellow der ACM. 2001 erhielt er die Bolzano-Medaille der tschechischen Akademie der Wissenschaften. 1989 hielt er die ersten Tarski Lectures in Berkeley, 1991 die zweite Gödel Lecture. 2007 erhielt er den EATCS-Award.

Scott ist Mitbegründer der Ω-group for Mathematical Logic, die sich mit der Herausgabe der Buchreihe Perspectives in Mathematical Logic beschäftigt.

Er ist mit der Pianistin Irene Schreier verheiratet, die ebenfalls in der Carnegie Mellon University unterrichtet.

Weblinks


Wikimedia Foundation.

См. также в других словарях:

  • Dana Scott — Dana Stewart Scott Born October 11, 1932 (1932 10 11) (age 79) …   Wikipedia

  • Dana Scott — Saltar a navegación, búsqueda Dana Stewart Scott Nacimiento 1932 …   Wikipedia Español

  • Dana Scott — Dana S. Scott Pour les articles homonymes, voir Scott. Dana S. Scott. Dana S. Scott, né en 1932, était professeur d informat …   Wikipédia en Français

  • Dana S. Scott — Dana Stewart Scott (* 1932 in Berkeley) ist ein US amerikanischer Mathematiker, Logiker, Informatiker und Philosoph, der bedeutende Beiträge zur Automatentheorie, Modelltheorie und Semantik der Programmiersprachen geleistet hat. Dana Scott …   Deutsch Wikipedia

  • Dana (given name) — Dana Gender Female/Male Dana is a given name used for both males and females. As a male forename it is well known in the United States, being in the 314th rank out of 1219 in the 1990 U.S. Census. It was among the 100 most popular names given to… …   Wikipedia

  • Scott (Familienname) — Scott ist ein verbreiteter Familienname; für den schottischen Clan dieses Namens siehe Scott (Clan). Bekannte Namensträger Inhaltsverzeichnis A B C D E F G H I J K L M N O P Q R S T U V W …   Deutsch Wikipedia

  • Scott continuity — In mathematics, given two partially ordered sets P and Q a function between them is Scott continuous (named after the mathematician Dana Scott) if it preserves all directed suprema, i.e. if for every directed subset D of P with supremum in P its… …   Wikipedia

  • Scott–Potter set theory — An approach to the foundations of mathematics that is of relatively recent origin, Scott–Potter set theory is a collection of nested axiomatic set theories set out by the philosopher Michael Potter, building on earlier work by the mathematician… …   Wikipedia

  • Scott (name) — Infobox Given Name Revised| name = Scott | imagesize = | caption = pronunciation = gender = Male | meaning = Scottish Gaels region = | origin = Gaelic related names = also a less formal name of prescott footnotes = Scott is a Gaelic surname of… …   Wikipedia

  • Scott — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Pour les articles homonymes, voir Scot. Sur les autres projets Wikimedia : « Scott », sur …   Wikipédia en Français


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»