Scott, Dana

Dana Scott
Dana Stewart Scott
Syntymäaika	11. lokakuuta 1932( 1932-10-11 ) (90-vuotiaana)
Syntymäpaikka	Berkeley , Alameda , Kalifornia , Yhdysvallat
Maa	USA
Tieteellinen ala	Topologia , matemaattinen logiikka , ohjelmointi
Työpaikka	UC Berkeley Chicagon yliopisto Carnegie Mellonin yliopisto Linzin yliopisto
Alma mater	Princetonin yliopisto UC Berkeley
Akateeminen tutkinto	PhD ( 1958 )
tieteellinen neuvonantaja	Alonzon kirkko
Tunnetaan	Scottin topologia
Palkinnot ja palkinnot	Steele-palkinto (1972) Turing-palkinto (1976) Harold Pender -palkinto (1990) Rolf Schock -palkinto (1997)
Verkkosivusto	cs.cmu.edu/~scott
Mediatiedostot Wikimedia Commonsissa

Dana Stewart Scott ( s . 11. lokakuuta  1932 ) on amerikkalainen matemaatikko , joka tunnetaan työstään matemaattisen logiikan ja tietojenkäsittelytieteen parissa .

Scottin tutkimus koskee malliteoriaa , automaatioteoriaa , modaalista ja intuitionistista logiikkaa , konstruktiivista matematiikkaa sekä logiikan ja kategoriateorian välistä suhdetta . Filosofiset kiinnostuksen kohteet ovat logiikan , matematiikan filosofian ja luonnollisten kielten semanttisen analyysin perusteissa .

Hän antoi suuren panoksen tietojenkäsittelytieteen kehitykseen kehittämällä matemaattisen laskennan teorian [1] . Hän kehitti mallin tyypitttömästä λ-laskennasta [2] , jolle otettiin käyttöön erityinen topologia (myöhemmin nimetty hänen mukaansa), ensin täydellisille hiloille , ja myöhemmin yleistettiin täydellisiksi osittain järjestetyiksi joukoiksi [3] [4] . Tämän mallin puitteissa hän kehitti laskennan teoriaa ja malleja , kehitti ohjelmointikielten denotaatiosemantiikan periaatteet ja syvensi laskettavuuden käsitettä .

Vuodesta 2012 lähtien hän työskentelee ja asuu Berkeleyssä, Kaliforniassa .

Palkinnot

• Hän sai Steele-palkinnon vuonna 1972 työstään, joka julkaistiin vuonna 1967, vaihtoehtoisena todisteena jatkumohypoteesin  riippumattomuudesta Paul Cohenin hypoteesin riippumattomuudesta .
• Vuonna 1976 hän voitti yhdessä Michael Rabinin kanssa Turing -palkinnon heidän paperistaan ​​" Finite Automata ", joka esitti ajatuksen epädeterministisesta automaatista, joka myöhemmin osoittautui poikkeuksellisen arvokkaaksi [5] .
• Vuonna 1978 hän sai Guggenheim-stipendin [6] .
• Vuonna 1990 hänelle myönnettiin Harold Pender -palkinto innovaattorina käsitteiden soveltamisessa logiikasta ja algebrasta ohjelmointikielten matemaattisen semantiikan kehittämiseen [7] .
• Vuonna 1997 hän sai Rolf Schock -palkinnon "Logiikka ja filosofia" -ehdokkuudessa käsitteellisesti suuntautuneesta loogisesta työstä, erityisesti alueteorian luomisesta [ , joka mahdollisti Tarskin semanttisen paradigman soveltamisen ohjelmointikieliä sekä rakentaa kombinatorisen logiikan malleja Currysta ja Churchin lambdalaskusta [8] .
• Vuonna 2001 hän sai Tšekin tiedeakatemian Bolzano-palkinnon ansioista matematiikan alalla.
• Vuonna 2007 hän sai Euroopan tietojenkäsittelyteorian yhdistyksen palkinnon tunnustuksena hänen panoksestaan ​​​​teoreettisessa tietojenkäsittelytieteessä ja tuloksekkaasta tieteellisestä urasta [9] [10] .
• Vuonna 2009 SB RAS:n matematiikan instituutti myönsi tiedemiehelle kultamitalin hänen panoksestaan ​​matematiikassa [11] .
• St. Andrewsin yliopiston kunniatohtori (2014).

Pääteokset

• Scott DS Neuvoja modaalilogiikasta. — Logiikan filosofiset ongelmat. Joitakin viimeaikaisia ​​tapahtumia. - Lambert K. (toim.), Dordrecht; Hollanti: Reidel, 1970.

Venäjänkielinen käännös: Scott D.S. Modal Logic Tips. — Teoksessa: Modaalisen ja intensionaalisen logiikan semantiikka. - Alla. toim. Ph.D. V. A. Smirnova . - M .: `` Edistys , 1981. - s. ~ 280-317.

• Scott DS, Strachey C. Kohti tietokonekielten matemaattista semantiikkaa. — Julkaisussa: Proc. Symp. on Computers and Automata, Polytechnic Institute of Brooklyn, 21, 1971. - s. ~19-46.
• Scott D.S. Logiikka ja ohjelmointikielet. — Comm. Assoc. yhtiölle Comp. Mach. 20, 1977. - s. 634–641.

Venäjän käännös: Scott D.S. Logiikka ja ohjelmointikielet. - Turing Award Lectures (Toim.: Ashenhurst R. ). - M .: Mir, 1993. - s. ~ 65-83.

• Scott DS Lambda-laskennan teoriat. - Hindley J., Seldin J. (toim.) HBCurrylle: Essays on kombinatory logic, lambda calculus and formalism. - NY & L.: Academic Press, 1980, s. ~403-450.

Muistiinpanot

1. ↑ Scott D.S. Laskennan matemaattisen teorian pääpiirteet. Julkaisussa: Proc. 4. vuotuinen Princeton Conf. on Information Sciences and Systems, Princeton University, 1970. - s. ~169-176.
2. ↑ Scott DS Hilateoreettiset mallit erilaisille tyyppivapaille kiville. — Julkaisussa: Proc. 4th Int. Logiikan, metodologian ja tiedefilosofian kongressi, Bukarest, 1972.
3. ↑ Scott DS Vuokaavioiden hila. - Matematiikan luentomuistiinpanot, 188, Symposium on Semantics of Algorithmic Languages. - Berlin, Heidelberg, New York: Springer-Verlag, 1971, s. ~311-372.
4. ↑ Barendregt, Henk . Lambda-laskenta. Sen syntaksi ja semantiikka = The Lambda Calculus. Sen syntaksi ja semantiikka . - M .: Mir , 1985. - S. 24. - 606 s. - 4800 kappaletta. (Venäjän kieli)
5. ↑ Dana Stewart Scottin AM Turing -palkinnon voittajat Arkistoitu 19. syyskuuta 2017 Wayback Machinessa // ACM
6. ↑ Dana S.  Scott . John Simon Guggenheimin säätiö . gf.org. Haettu 18. syyskuuta 2019. Arkistoitu alkuperäisestä 30. syyskuuta 2020.
7. ↑ Harold Pender -palkinto  (englanniksi)  (linkki ei saatavilla) . Haettu 10. marraskuuta 2015. Arkistoitu alkuperäisestä 22. helmikuuta 2012.
8. ↑ Rolf Shock -palkinnot . Haettu 10. marraskuuta 2015. Arkistoitu alkuperäisestä 1. helmikuuta 2016. (määrätön)
9. ↑ Euroopan tietojenkäsittelyteorian yhdistys . Haettu 10. marraskuuta 2015. Arkistoitu alkuperäisestä 26. tammikuuta 2011. (määrätön)
10. ↑ EATCS-palkinto (maanantai, 9.) . Haettu 11. marraskuuta 2015. Arkistoitu alkuperäisestä 4. maaliskuuta 2016. (määrätön)
11. ↑ Carnegie Mellonin yliopisto .

Katso myös

• Laskentamallit
• Tietojenkäsittelyn teoria
• Lambda-laskenta tyypeillä

Linkit

• Tietoja Dana Stewart Scottista Encyclopaedia Britannicassa
• Byron Spice. Carnegie Mellonin Dana Scott palkittiin Sobolev Instituten kultamitalilla  . Carnegie Mellon University (13. huhtikuuta 2009).

Turing-palkinnon voittajat

Perlis (1966) Wilks (1967) Hamming (1968) Minsky (1969) Wilkinson (1970) McCarthy (1971) Dijkstra (1972) Bachman (1973) Whip (1974) Newell Simon (1975) Rabin Scott (1976) Backus (1977) Floyd (1978) Iverson (1979) Hoare (1980) Codd (1981) Cook (1982) Thompson Ritchie (1983) Wirth (1984) Karp (1985) Hopcroft Tarjan (1986) Kukko (1987) Sutherland (1988) Kahan (1989) Corbato (1990) Milner (1991) Lampson (1992) Hartmanis Stearns (1993) Feigenbaum Reddy (1994) Bloom (1995) Pnueli (1996) Engelbart (1997) Harmaa (1998) Brooks (1999) Yao (2000) Dal Nugor (2001) Rivest Shamir Adleman (2002) Kay (2003) Surffaa Kahn (2004) Naur (2005) Allen (2006) Clark emerson Sifakis (2007) Liskov (2008) Thacker (2009) Valiant (2010) Pearl (2011) Micali Goldwasser (2012) Lamport (2013) Kivenmurtaja (2014) Diffy Hellman (2015) Berners-Lee (2016) Hennessy Patterson (2017) Bengio Hinton LeCun (2018) Catmull Hanrahan (2019) Aho Ulman (2020) Dongarra (2021)

Rolf Schock -palkinnon voittajat
Logiikka ja filosofia	Willard Quine (1993) Michael Dummit (1995) Dana Scott (1997) John Rawls (1999) Saul Kripke (2001) Solomon Feferman (2003) Jaakko Hintikka (2005) Thomas Nagel (2008) Hilary Putnam (2011) Derek Parfit (2014) Ruth Milliken (2017) Saharon Shelah (2018) Doug Prawitz / Per Martin-Löf (2020)
Matematiikka	Elias Stein (1993) Andrew Wiles (1995) Mikio Sato (1997) Juri Manin (1999) Elliot Lieb (2001) Richard Stanley (2003) Luis Caffarelli (2005) Endre Semeredy (2008) Michael Aschbacher (2011) Zhang Yitang (2014) Richard Sean (2017) Ronald Coifman (2018) Nikolai Makarov (2020)
Musiikki	Ingvar Liedholm (1993) György Ligeti (1995) Jorma Panula (1997) Kronos Quartet (1999) Kaya Saariaho (2001) Anne Sophie von Otter (2003) Mauricio Kagel (2005) Gidon Kremer (2008) Andrew Manze (2011) Herbert Bloomstedt (2014) Wayne Shorter (2017) Barbara Hannigan (2018) György Kurtag (2020)
Kuvataide	Rafael Moneo (1993) Claes Oldenburg (1995) Torsten Andersson (1997) Herzog ja de Meuron (1999) Giuseppe Penone (2001) Susan Rothenberg (2003) SANAA / Kazuyo Sejima + Ryue Nishizawa (2005) Mona Hatoum (2008) Marlene Dumas (2011) Anne Lacaton ja Jean-Philippe Vassal (2014) Doris Salcedo (2017) Andrea Branzi (2018) Francis Alice (2020)

Temaattiset sivustot	Google tutkija Matemaattinen sukututkimus Scopus zbMATH Avoinna
Sanakirjat ja tietosanakirjat	Britannica (verkossa)
Bibliografisissa luetteloissa BIBSYS : 90601455 , 90124993 BNF : 16034934c CiNii : DA00234668 GND : 1090819455 ISNI : 0000 0001 1068 0677 J9U : 987007299816205171 LCCN : n79118951 NKC : xx0267847 NLA : 35435763 NLP : A23402003 NTA : 069584737 NUKAT : n99023766 SUDOC : 082943141 VIAF : 65289661 WorldCat VIAF : 65289661