Dana Stewart Scott (geboren am 11. Oktober 1932) ist der emeritierte Hillman Ordentliche Professor der Informatik, Philosophie und Mathematischen Logik an der Universität von Carnegie Mellon; er ist jetzt pensioniert und lebt in Berkeley, Kalifornien. Seine Forschungskarriere hat Informatik, Mathematik und Philosophie abgemessen, und ist durch eine Ehe einer Sorge charakterisiert worden, um grundsätzliche Konzepte auf diese Art der informellen Strenge mit einer Kultivierung mathematisch harter Probleme aufzuhellen, die sich auf diese Konzepte beziehen. Seine Arbeit an der Automaten-Theorie hat ihn der ACM Turing Preis 1976 verdient, während seine zusammenarbeitende Arbeit mit Christopher Strachey in den 1970er Jahren die Fundamente von modernen Annäherungen an die Semantik von Programmiersprachen gelegt hat. Er hat auch an der modalen Logik, Topologie und Kategorie-Theorie gearbeitet. Er ist der Chefredakteur der neuen Zeitschrift Logische Methoden in der Informatik.

Frühe Karriere

Er hat seinen BA in der Mathematik von der Universität Kaliforniens, Berkeley 1954 erhalten. Er hat seine Doktorarbeit über Konvergente Folgen von Ganzen Theorien unter der Aufsicht der Kirche von Alonzo geschrieben, während an Princeton, und seine These 1958 verteidigt hat. Solomon Feferman (2005) schreibt über diese Periode:

Nach der Vollendung seiner Doktorstudien hat er sich zur Universität Chicagos bewegt, als ein Lehrer dort bis 1960 arbeitend. 1959 hat er eine gemeinsame Zeitung mit Michael O. Rabin, einem Kollegen von Princeton, genannt Begrenzte Automaten und Ihr Entscheidungsproblem veröffentlicht, das die Idee von nichtdeterministischen Maschinen zur Automaten-Theorie eingeführt hat. Diese Arbeit hat zur gemeinsamen Verleihung des Turing-Preises auf den zwei für die Einführung dieses grundsätzlichen Konzepts der rechenbetonten Kompliziertheitstheorie geführt.

Universität Kaliforniens, Berkeley, 1960-1963

Scott hat einen Posten als Helfer-Professor der Mathematik, zurück an der Universität Kaliforniens, Berkeley aufgenommen, und hat sich mit klassischen Problemen in der mathematischen Logik, besonders Mengenlehre und Mustertheorie von Tarskian eingeschlossen.

Während dieser Periode hat er angefangen, Doktorstudenten, wie James Halpern (Beiträge zur Studie der Unabhängigkeit des Axioms der Wahl) und Edgar Lopez-Escobar (Ungeheuer Lange Formeln mit Zählbaren Quantifier Graden) zu beaufsichtigen. Die Arbeit von Scott als Forschungsoberaufseher ist eine wichtige Quelle seines intellektuellen Einflusses gewesen.

Modale und angespannte Logik

Scott hat auch begonnen, an der modalen Logik in dieser Periode zu arbeiten, eine Kollaboration mit John Lemmon beginnend, der sich zu Claremont, Kalifornien 1963 bewegt hat. Scott hat sich besonders für die Annäherung von Arthur Prior an die angespannte Logik und die Verbindung zur Behandlung der Zeit mit der Semantik der natürlichen Sprache interessiert und hat begonnen, mit Richard Montague zusammenzuarbeiten (Copeland 2004), wen er von seinen Tagen als ein Student an Berkeley gekannt hatte. Später haben Scott und Montague unabhängig eine wichtige Verallgemeinerung der Semantik von Kripke für die modale und angespannte Logik, genannt Semantik von Scott-Montague (Scott 1970) entdeckt.

John Lemmon und Scott haben Arbeit an einem Modal-Logiklehrbuch begonnen, das durch den Tod von Lemmon 1966 unterbrochen wurde. Scott hat die unvollständige Monografie unter Kollegen in Umlauf gesetzt, mehrere wichtige Techniken in der Semantik der Mustertheorie einführend, am wichtigsten eine Verbesserung des kanonischen Modells präsentierend, das normal, und das Einführen der Technik geworden ist, Modelle durch das Filtrieren zu bauen, von dem beides Kernkonzepte in der modernen Semantik von Kripke (Blackburn, de Rijke und Venema, 2001) ist. Scott hat schließlich die Arbeit als Eine Einführung in die Modale Logik (Lemmon & Scott, 1977) veröffentlicht.

Stanford, Amsterdam und Princeton, 1963-1972

Im Anschluss an eine anfängliche Beobachtung von Robert Solovay hat Scott das Konzept des GeBoolean-schätzten Modells, als Solovay und Petr formuliert, den Vopěnka ebenfalls um dieselbe Zeit getan hat. 1967 hat Scott eine Zeitung, Einen Beweis der Unabhängigkeit der Kontinuum-Hypothese veröffentlicht, in der er GeBoolean-schätzte Modelle verwendet hat, um eine abwechselnde Analyse der Unabhängigkeit der Kontinuum-Hypothese dazu zur Verfügung zu stellen, das von Paul Cohen zur Verfügung gestellt ist. Diese Arbeit hat zum Preis des Preises von Leroy P. Steele 1972 geführt.

Die Universität Oxford, 1972-1981

Scott hat einen Posten als Professor der Mathematischen Logik auf der Philosophie-Fakultät der Universität Oxford 1972 aufgenommen.

Semantik von Programmiersprachen

Diese Periode hat Scott gesehen nah mit Christopher Strachey und den zwei arbeiten

geführt, trotz des intensiven Verwaltungsdrucks, um sehr viel grundsätzliche Arbeit an der Versorgung eines mathematischen Fundaments für die Semantik von Programmiersprachen, der Arbeit zu beaufsichtigen, für die Scott am besten bekannt ist. Zusammen setzt ihre Arbeit die Annäherung von Scott-Strachey an die denotational Semantik ein; es setzt eines der einflussreichsten Stücke in der theoretischen Informatik ein und kann vielleicht als Gründung von einer der Hauptschulen der Informatik betrachtet werden. Einer der größten Beiträge von Scott ist seine Formulierung der Bereichstheorie, Programmen erlaubend, die rekursive Funktionen und Konstruktionen der schlingenden-Kontrolle einschließen, eine denotational Semantik gegeben zu werden. Zusätzlich hat er ein Fundament für das Verstehen von infinitary und dauernder Information durch die Bereichstheorie und seine Theorie von Informationssystemen zur Verfügung gestellt.

Die Arbeit von Scott dieser Periode hat zur Verleihung geführt:

• Der 1990-Preis von Harold Pender für seine Anwendung von Konzepten von der Logik und Algebra zur Entwicklung der mathematischen Semantik von Programmiersprachen;
• Der 1997-Preis von Rolf Schock in der Logik und Philosophie von der Königlichen schwedischen Akademie von Wissenschaften für seine begrifflich orientierten logischen Arbeiten, besonders die Entwicklung der Bereichstheorie, die es möglich gemacht hat, das semantische Paradigma von Tarski in Programmiersprachen zu erweitern sowie Modelle der combinatory Logik des Currys und die Rechnung der Kirche der Lambda-Konvertierung zu bauen; und
• Der Bolzano 2001-Preis für das Verdienst in den Mathematischen Wissenschaften durch die tschechische Akademie von Wissenschaften.
• Der EATCS 2007-Preis für seinen Beitrag zur theoretischen Informatik.

Universität von Carnegie Mellon 1981-2003

An der Universität von Carnegie Mellon hat Scott die Theorie von equilogical Räumen als eine Nachfolger-Theorie zur Bereichstheorie vorgeschlagen; unter seinen vielen Vorteilen ist die Kategorie von equilogical Räumen eine kartesianische geschlossene Kategorie, wohingegen die Kategorie von Gebieten nicht ist. 1994 wurde er als ein Gefährte der Vereinigung eingeweiht, um Maschinerie Zu schätzen.

Bibliografie

Arbeiten von Scott

• Mit Michael O. Rabin, 1959. Begrenzte Automaten und Ihr Entscheidungsproblem.
• 1967. Ein Beweis der Unabhängigkeit der Kontinuum-Hypothese. Mathematische Systemtheorie 1:89-111.
• 1970. 'Rat in der modalen Logik'. In Philosophischen Problemen in der Logik, der Hrsg. K. Lambert, den Seiten 143-173.
• Mit John Lemmon, 1977. Eine Einführung in die Modale Logik. Oxford: Blackwell.

Andere Arbeiten

• Blackburn, de Rijke und Venema (2001). Modale Logik. Universität von Cambridge Presse.
• Jack Copeland (2004). Vorheriger Arthur. In der Enzyklopädie von Stanford der Philosophie.
• Solomon Feferman und Anita Burdman Feferman (2004). Alfred Tarski: Leben und Logik. Universität von Cambridge Presse, internationale Standardbuchnummer 0-521-80240-7, internationale Standardbuchnummer 978-0-521-80240-6.
• Solomon Feferman (2005). Der Einfluss von Tarski auf die Informatik. Proc. LICS '05. IEEE Presse.
• Joseph E. Stoy (1977). Denotational Semantik: Die Annäherung von Scott-Strachey an die Programmiersprache-Theorie. MIT Presse. Internationale Standardbuchnummer 0-262-19147-4

Links

• Dana S. Scott Hausseite
• DIE BEREICHS-2002-Werkstatt auf der Bereichstheorie — hat zu Ehren vom 70. Geburtstag von Scott gehalten.