Scott, Dana
| Dana Scott | |
|---|---|
| Dana Stewart Scott | |
| Födelsedatum | 11 oktober 1932 (90 år) |
| Födelseort |
|
| Land | |
| Vetenskaplig sfär |
Topologi , Matematisk logik , Programmering |
| Arbetsplats | |
| Alma mater | |
| Akademisk examen | PhD ( 1958 ) |
| vetenskaplig rådgivare | Alonzo kyrka |
| Känd som | Scott topologi |
| Utmärkelser och priser |
Steele-priset (1972) Turing-priset (1976) Harold Pender-priset (1990) Rolf Schock-priset (1997) |
| Hemsida | cs.cmu.edu/~scott |
| Mediafiler på Wikimedia Commons | |
Dana Stewart Scott ( född 11 oktober 1932 ) är en amerikansk matematiker känd för sitt arbete inom matematisk logik och datavetenskap .
Scotts forskning är inom modellteori , automatteori , modal och intuitionistisk logik, konstruktiv matematik och förhållandet mellan logik och kategoriteori . Filosofiska intressen ligger i grunderna för logiken , matematikens filosofi och den semantiska analysen av naturliga språk .
Han gjorde ett stort bidrag till utvecklingen av datavetenskap, efter att ha utvecklat en matematisk teori om datoranvändning [1] . Han utvecklade en modell av en typlös λ-kalkyl [2] , för vilken en speciell topologi introducerades (senare uppkallad efter honom), först på kompletta gitter , och därefter generaliserades till fullständiga partiellt ordnade uppsättningar [3] [4] . Inom ramen för denna modell utvecklade han teorin och beräkningsmodellerna , utvecklade principerna för denotationssemantik för programmeringsspråk och fördjupade begreppet beräkningsbarhet .
Från och med 2012 arbetar och bor han i Berkeley, Kalifornien .
Utmärkelser
- Han fick Steele-priset 1972 för sitt arbete, publicerat 1967, om ett alternativt bevis på kontinuumhypotesens oberoende till Paul Cohens .
- 1976, tillsammans med Michael Rabin , vann han Turing Award för deras tidning " Finite Automata ", som föreslog idén om en icke-deterministisk automat, ett koncept som senare visade sig vara av exceptionellt värde [5] .
- 1978 fick han ett Guggenheim-stipendium [6] .
- 1990 belönades han med Harold Pender-priset som innovatör i tillämpningen av begrepp från logik och algebra till utvecklingen av programmeringsspråkens matematiska semantik [7] .
- 1997 fick han i nomineringen "logik och filosofi" Rolf Schock -priset för konceptuellt orienterat logiskt arbete, särskilt om skapandet av teorin om områden , som gjorde det möjligt att tillämpa Tarskis semantiska paradigm på programmeringsspråk, samt att bygga modeller av kombinatorisk logik Curry och Churchs lambdakalkyl [8] .
- 2001 fick han Bolzano-priset från Tjeckiska vetenskapsakademin för meriter inom matematikområdet.
- 2007 fick han ett pris från European Association for Theoretical Computer Science som ett erkännande för hans bidrag till teoretisk datavetenskap och en produktiv vetenskaplig karriär [9] [10] .
- År 2009 tilldelade Matematikinstitutet vid SB RAS vetenskapsmannen en guldmedalj för hans bidrag till matematiken [11] .
- Hedersdoktor från University of St. Andrews (2014).
Huvudverk
- Scott DS Råd om modal logik. — Filosofiska problem i logiken. Några nyare händelser.-- Lambert K. (red.), Dordrecht; Holland: Reidel, 1970.
- Scott DS, Strachey C. Mot en matematisk semantik för datorspråk. — I: Proc. Symp. on Computers and Automata, Polytechnic Institute of Brooklyn, 21, 1971. - s.~19-46.
- Scott D.S. Logik och programmeringsspråk. — Komm. Assoc. för Comp. Mach. 20, 1977. - sid. 634–641.
- Scott DS Relaterande teorier om lambdakalkylen. — Hindley J., Seldin J. (red.) Till HBCurry: Essays on combinatory logic, lambda calculus and formalism.-- NY & L.: Academic Press, 1980, s.~403-450.
Anteckningar
- ↑ Scott D.S. Översikt över matematisk teori för beräkning. I: Proc. 4:e årliga Princeton Conf. om informationsvetenskap och system, Princeton University, 1970. - s.~169-176.
- ↑ Scott DS Lattice-teoretiska modeller för olika typfria kalkyler. — I: Proc. 4:e Int. Congress for Logic, Methodology and the Philosophy of Science, Bukarest, 1972.
- ↑ Scott DS The lattice of flow diagrams.-- Lecture Notes in Mathematics, 188, Symposium on Semantics of Algorithmic Languages.-- Berlin, Heidelberg, New York: Springer-Verlag, 1971, pp.~311-372.
- ↑ Barendregt, Henk . Lambdakalkyl. Dess syntax och semantik = The Lambda Calculus. Dess syntax och semantik . - M .: Mir , 1985. - S. 24. - 606 sid. - 4800 exemplar.
- ↑ AM Turing Award Winners av Dana Stewart Scott Arkiverad 19 september 2017 på Wayback Machine // ACM
- ↑ Dana S. Scott . John Simon Guggenheim Foundation . gf.org. Hämtad 18 september 2019. Arkiverad från originalet 30 september 2020.
- ↑ Harold Pender Award (engelska) (länk ej tillgänglig) . Hämtad 10 november 2015. Arkiverad från originalet 22 februari 2012.
- ↑ Rolf Shock-priser . Hämtad 10 november 2015. Arkiverad från originalet 1 februari 2016.
- ↑ Europeisk sammanslutning för teoretisk datavetenskap . Hämtad 10 november 2015. Arkiverad från originalet 26 januari 2011.
- ↑ EATCS-utmärkelse (måndag den 9:e) . Hämtad 11 november 2015. Arkiverad från originalet 4 mars 2016.
- ↑ Carnegie Mellon University .
Se även
Länkar
- Om Dana Stewart Scott på Encyclopaedia Britannica
- Byron Spice. Carnegie Mellons Dana Scott tilldelades Sobolev Institutes guldmedalj . Carnegie Mellon University (13 april 2009).
| Vinnare av Turingpriset | |
|---|---|
| |
| Rolf Schock- pristagare | |
|---|---|
| Logik och filosofi |
|
| Matte |
|
| musik |
|
| visuella konsterna |
|
 Tematiska platser | ||||
|---|---|---|---|---|
| Ordböcker och uppslagsverk | ||||
| ||||