Scott, Dana
| Dana Scott | |
|---|---|
| Dana Stewart Scott | |
| Fødselsdato | 11. oktober 1932 (90 år) |
| Fødselssted |
|
| Land | |
| Videnskabelig sfære |
Topologi , Matematisk logik , Programmering |
| Arbejdsplads | |
| Alma Mater | |
| Akademisk grad | PhD ( 1958 ) |
| videnskabelig rådgiver | Alonzo Kirke |
| Kendt som | Scott topologi |
| Præmier og præmier |
Steele-prisen (1972) Turing-prisen (1976) Harold Pender-prisen (1990) Rolf Schock-prisen (1997) |
| Internet side | cs.cmu.edu/~scott |
| Mediefiler på Wikimedia Commons | |
Dana Stewart Scott ( født 11. oktober 1932 ) er en amerikansk matematiker kendt for sit arbejde inden for matematisk logik og datalogi .
Scotts forskning er i modelteori , automatteori , modal og intuitionistisk logik, konstruktiv matematik og forholdet mellem logik og kategoriteori . Filosofiske interesser ligger i grundlaget for logik , matematikkens filosofi og den semantiske analyse af naturlige sprog .
Han ydede et stort bidrag til udviklingen af datalogi, efter at have udviklet en matematisk teori om computing [1] . Han udviklede en model af en typeløs λ- regning [2] , for hvilken en speciel topologi blev introduceret (senere opkaldt efter ham), først på komplette gitter , og efterfølgende generaliseret til fuldstændige delvist ordnede mængder [3] [4] . Inden for rammerne af denne model udviklede han teorien og modellerne for beregning, udviklede principperne for denotationel semantik for programmeringssprog og uddybede begrebet beregningsevne .
Fra 2012 arbejder og bor han i Berkeley, Californien .
Priser
- Han modtog Steele-prisen i 1972 for sit arbejde, udgivet i 1967, om et alternativt bevis på kontinuumhypotesens uafhængighed i forhold til Paul Cohens .
- I 1976 vandt han sammen med Michael Rabin Turing -prisen for deres papir " Finite Automata ", som foreslog ideen om en ikke-deterministisk automat, et koncept, der senere viste sig at være af enestående værdi [5] .
- I 1978 modtog han et Guggenheim Fellowship [6] .
- I 1990 blev han tildelt Harold Pender-prisen som innovator i anvendelsen af begreber fra logik og algebra til udviklingen af den matematiske semantik af programmeringssprog [7] .
- I 1997 modtog han i nomineringen "logik og filosofi" Rolf Schock -prisen for konceptuelt orienteret logisk arbejde, især om skabelsen af teorien om områder , som gjorde det muligt at anvende Tarskis semantiske paradigme på programmeringssprog, samt at bygge modeller af kombinatorisk logik Curry og Churchs lambda-regning [8] .
- I 2001 modtog han Bolzano-prisen fra Det Tjekkiske Videnskabsakademi for fortjenester inden for matematik.
- I 2007 modtog han en pris fra European Association for Theoretical Computer Science som anerkendelse for hans bidrag til teoretisk datalogi og en produktiv videnskabelig karriere [9] [10] .
- I 2009 tildelte Institut for Matematik i SB RAS videnskabsmanden en guldmedalje for hans bidrag til matematikken [11] .
- Æresdoktorgrad fra University of St. Andrews (2014).
Hovedværker
- Scott DS Rådgivning om modal logik. — Filosofiske problemer i logikken. Nogle nyere udviklinger.-- Lambert K. (red.), Dordrecht; Holland: Reidel, 1970.
- Scott DS, Strachey C. Mod en matematisk semantik for computersprog. — I: Proc. Symp. on Computers and Automata, Polytechnic Institute of Brooklyn, 21, 1971. - s.~19-46.
- Scott D.S. Logik og programmeringssprog. — Komm. Assoc. for komp. Mach. 20, 1977. - s. 634-641.
- Scott DS Relaterede teorier om lambda-regningen. — Hindley J., Seldin J. (red.) Til HBCurry: Essays om kombinatorisk logik, lambdaregning og formalisme.-- NY & L.: Academic Press, 1980, s.~403-450.
Noter
- ↑ Scott D.S. Oversigt over matematisk teori om beregning. I: Proc. 4. årlige Princeton Conf. om informationsvidenskab og systemer, Princeton University, 1970. - pp.~169-176.
- ↑ Scott DS Gitterteoretiske modeller for forskellige typefrie regning. — I: Proc. 4. 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 . Lambdaregning. Dens syntaks og semantik = The Lambda Calculus. Dens syntaks og semantik . - M .: Mir , 1985. - S. 24. - 606 s. - 4800 eksemplarer.
- ↑ AM Turing Award Winners af Dana Stewart Scott Arkiveret 19. september 2017 på Wayback Machine // ACM
- ↑ Dana S. Scott . John Simon Guggenheim Foundation . gf.org. Hentet 18. september 2019. Arkiveret fra originalen 30. september 2020.
- ↑ Harold Pender Award (engelsk) (link ikke tilgængeligt) . Hentet 10. november 2015. Arkiveret fra originalen 22. februar 2012.
- ↑ Rolf Shock-priser . Hentet 10. november 2015. Arkiveret fra originalen 1. februar 2016.
- ↑ European Association for Theoretical Computer Science . Hentet 10. november 2015. Arkiveret fra originalen 26. januar 2011.
- ↑ EATCS Award (mandag den 9.) . Hentet 11. november 2015. Arkiveret fra originalen 4. marts 2016.
- ↑ Carnegie Mellon University .
Se også
Links
- Om Dana Stewart Scott på Encyclopaedia Britannica
- Byron Spice. Carnegie Mellons Dana Scott tildelt Sobolev Institute guldmedalje . Carnegie Mellon University (13. april 2009).
| Turing prisvindere | |
|---|---|
| |
| Rolf Schock Prisvindere | |
|---|---|
| Logik og filosofi |
|
| Matematik |
|
| musik |
|
| visuel kunst |
|
 Tematiske steder | ||||
|---|---|---|---|---|
| Ordbøger og encyklopædier | ||||
| ||||