Dana Scott - Dana Scott

Dana Stewart Scott
Urodzony	( 1932.10.11 )11 października 1932 (wiek 88) Berkeley w Kalifornii
Edukacja	University of California, Berkeley (BA, 1954) Princeton University (doktorat 1958)
Znany z	Teoria automatów , semantyki języków programowania , modalna μ-rachunek , podstęp Scotta , Scott-Potter teoria mnogości
Nagrody	Nagroda im. Leroya P. Steele'a (1972) Nagroda Turinga (1976) Wykłady Tarskiego (1989) Nagroda Harolda Pendera (1990) Nagrody Rolfa Schocka w dziedzinie logiki i filozofii (1997)
Kariera naukowa
Pola	Informatyka Matematyka Filozofia
Instytucje	Uniwersytet Kalifornijski, Berkeley Stanford University of Oxford Carnegie Mellon University
Praca dyplomowa	Zbieżne sekwencje kompletnych teorii  (1958)
Doradca doktorancki	Alonzo Church
Doktoranci	Jack Copeland Michael Fourman Kenneth Kunen Angus Macintyre Peter Mosses Ketan Mulmuley Marko Petkovšek Fred S. Roberts David Turner Martin Davies

Dana Stewart Scott (ur. 11 października 1932) to amerykańska logiczka, emerytowana profesor informatyki , filozofii i logiki matematycznej Uniwersytetu Hillman na Carnegie Mellon University ; Obecnie jest na emeryturze i mieszka w Berkeley w Kalifornii . Jego praca nad teorią automatów przyniosła mu nagrodę Turinga w 1976 r., podczas gdy jego współpraca z Christopherem Stracheyem w latach 70. położyła podwaliny pod nowoczesne podejście do semantyki języków programowania . Pracował również nad logiką modalną , topologią i teorią kategorii .

Wczesna kariera

Uzyskał tytuł licencjata z matematyki na Uniwersytecie Kalifornijskim w Berkeley w 1954 roku . rozprawę o zbieżnych sekwencjach kompletnych teorii pod kierunkiem Alonzo Church w Princeton , i obronił swoją tezę w 1958 roku. Solomon Feferman (2005) pisze o tym okresie:

Scott rozpoczął studia logiki w Berkeley we wczesnych latach 50., będąc jeszcze studentem. Jego niezwykłe zdolności wkrótce zostały rozpoznane i szybko przeszedł na zajęcia dla absolwentów i seminaria z Tarskim i stał się częścią otaczającej go grupy, w tym mnie i Richarda Montague ; więc w tym czasie zostaliśmy przyjaciółmi. Scott był wyraźnie w kolejce do zrobienia doktoratu z Tarskim, ale pokłócili się z powodów wyjaśnionych w naszej biografii. Zdenerwowany tym Scott wyjechał do Princeton, gdzie ukończył doktorat w Alonzo Church. Ale nie trwało długo, zanim stosunki między nimi uległy naprawie do tego stopnia, że ​​Tarski mógł mu powiedzieć: „Mam nadzieję, że mogę nazwać cię moim uczniem”.

Po ukończeniu doktoratu studia, przeniósł się na University of Chicago , gdzie pracował jako wykładowca do 1960 roku. W 1959 opublikował wspólny artykuł z Michaelem O. Rabinem , kolegą z Princeton, zatytułowany Finite Automata and Their Decision Problem (Scott i Rabin 1959) która wprowadziła ideę maszyn niedeterministycznych do teorii automatów . Ta praca doprowadziła do wspólnego przyznania nagrody Turinga obojgu za wprowadzenie tej fundamentalnej koncepcji teorii złożoności obliczeniowej .

Uniwersytet Kalifornijski, Berkeley, 1960-1963

Scott objął stanowisko adiunkta matematyki na Uniwersytecie Kalifornijskim w Berkeley i zajmował się klasycznymi zagadnieniami logiki matematycznej , zwłaszcza teorią mnogości i teorią modeli Tarskiana .

W tym okresie rozpoczął promotorstwo pracy doktorskiej. studenci, tacy jak James Halpern ( Wkład do badania niezależności aksjomatu wyboru ) i Edgar Lopez-Escobar ( Nieskończenie długie formuły z policzalnymi stopniami kwantyfikatora ).

Logika modalna i czasu

Scott rozpoczął również pracę nad logiką modalną w tym okresie, rozpoczynając współpracę z Johnem Lemmonem , który przeniósł się do Claremont w Kalifornii w 1963 roku. Scott był szczególnie zainteresowany podejściem Arthura Priora do logiki czasów napiętych i związkiem z traktowaniem czasu w semantyki języka naturalnego i rozpoczął współpracę z Richardem Montague (Copeland 2004), którego znał z czasów studiów licencjackich w Berkeley. Później Scott i Montague niezależnie odkryli ważne uogólnienie semantyki Kripkego dla logiki modalnej i czasów gramatycznych, zwane semantyką Scotta-Montague (Scott 1970).

John Lemmon i Scott rozpoczęli pracę nad podręcznikiem do logiki modalnej, którą przerwała śmierć Lemmon w 1966 roku. Scott rozpowszechnił niekompletną monografię wśród kolegów, wprowadzając szereg ważnych technik w semantyce teorii modeli, przede wszystkim przedstawiając udoskonalenie modelu kanonicznego stało się to standardem i wprowadziło technikę konstruowania modeli poprzez filtracje , które są podstawowymi koncepcjami współczesnej semantyki Kripkego (Blackburn, de Rijke i Venema, 2001). Scott ostatecznie opublikował pracę jako Wprowadzenie do logiki modalnej (Lemmon i Scott, 1977).

Stanford, Amsterdam i Princeton, 1963-1972

Podążając za wstępną obserwacją Roberta Solovay , Scott sformułował koncepcję modelu o wartościach logicznych , podobnie jak Solovay i Petr Vopěnka zrobili to mniej więcej w tym samym czasie. W 1967 roku Scott opublikował artykuł A Proof of the Independence of the continuum Hypothesis , w którym użył modeli o wartościach logicznych, aby zapewnić alternatywną analizę niezależności hipotezy continuum w stosunku do hipotezy Paula Cohena . Praca ta doprowadziła do przyznania nagrody Leroy P. Steele w 1972 roku.

Uniwersytet Oksfordzki, 1972–1981

Scott objął stanowisko profesora logiki matematycznej na wydziale filozofii Uniwersytetu Oksfordzkiego w 1972 roku. Był członkiem Merton College podczas studiów w Oksfordzie, a obecnie jest honorowym członkiem kolegium.

Semantyka języków programowania

W tym okresie Scott współpracował z Christopherem Strachey i udało im się, pomimo nacisków administracyjnych, wykonać pracę nad zapewnieniem matematycznych podstaw semantyki języków programowania, z której Scott jest najbardziej znany. Wspólnie ich praca stanowi podejście Scotta-Stracheya do semantyki denotacyjnej , ważny i przełomowy wkład w informatykę teoretyczną . Jednym z wkładów Scotta jest jego sformułowanie teorii domeny , umożliwiające programom zawierającym funkcje rekurencyjne i konstrukty pętli-kontroli nadanie semantyki denotacyjnej. Dodatkowo stworzył podstawy do zrozumienia informacji nieskończonej i ciągłej poprzez teorię domen i swoją teorię systemów informacyjnych .

Praca Scotta z tego okresu doprowadziła do nadania:

• Nagroda Harolda Pendera z 1990 r. za zastosowanie pojęć z logiki i algebry do rozwoju semantyki matematycznej języków programowania ;
• Nagroda im. Rolfa Schocka w dziedzinie logiki i filozofii w 1997 r. przyznana przez Królewską Szwedzką Akademię Nauk za prace logiczne zorientowane pojęciowo, zwłaszcza za stworzenie teorii domen, która umożliwiła rozszerzenie paradygmatu semantycznego Tarskiego na języki programowania, a także konstruowanie modeli logika kombinatoryczna Curry'ego i rachunek konwersji lambda Church'a ; i
• Nagroda Bolzano za zasługi w dziedzinie nauk matematycznych przyznana przez Czeską Akademię Nauk w 2001 r.
• Nagroda EATCS 2007 za wkład w informatykę teoretyczną.

Uniwersytet Carnegie Mellon, 1981–2003

Na Carnegie Mellon University Scott zaproponował teorię przestrzeni ekwilogicznych jako następczynię teorii domen; wśród wielu jej zalet kategoria przestrzeni ekwilogicznych jest kategorią zamkniętą kartezjańską , podczas gdy kategoria dziedzin nie jest. W 1994 został wprowadzony jako Fellow of the Association for Computing Machinery . W 2012 został stypendystą Amerykańskiego Towarzystwa Matematycznego .

Bibliografia

• Z Michaelem O. Rabinem , 1959. Automaty skończone i ich problem decyzyjny . doi : 10.1147/rd.32.0114
• 1967. Dowód niezależności hipotezy continuum . Teoria systemów matematycznych 1: 89–111.
• 1970. „Porady w logice modalnej”. W Philosophical Problems in Logic , wyd. K. Lambert, strony 143-173.
• Z Johnem Lemmonem , 1977. Wprowadzenie do logiki modalnej . Oxford: Blackwell.
• Gierz, G.; Hofmann, KH; Keimel, K.; Lawson, JD; Mislove, MW; Scott, DS (2003). Ciągłe kraty i domeny . Encyklopedia matematyki i jej zastosowań. 93 . Wydawnictwo Uniwersytetu Cambridge. Numer ISBN 978-0521803380.

Bibliografia

Dalsza lektura

• Blackburn, de Rijke i Venema (2001). Logika modalna . Wydawnictwo Uniwersytetu Cambridge .
• Jacka Copelanda (2004). Artur przeor . W Stanford Encyclopedia of Philosophy .
• Anita Burdman Feferman i Salomon Feferman (2004). Alfred Tarski: życie i logika . Cambridge University Press, ISBN  0-521-80240-7 , ISBN  978-0-521-80240-6 .
• Salomona Fefermana (2005). Wpływ Tarskiego na informatykę . Proc. LICS'05. IEEE Prasa .
• Joseph E. Stoy (1977). Semantyka denotacyjna: podejście Scotta-Stracheya do teorii języka programowania . MIT Naciśnij . ISBN  0-262-19147-4

Linki zewnętrzne

• Oficjalna strona internetowa
• DOMAIN 2002 Warsztaty z teorii domen — zorganizowane z okazji 70. urodzin Scotta.
• Dana Scott w projekcie genealogia matematyki
• Lista publikacji z Microsoft Academic

Biura akademickie
Poprzedził Jerzy Łoś	Prezes DLMPST/IUHPST 1983–1987	Następca Laurence'a Jonathana Cohen