Scott, Dana
| Dana Scottová | |
|---|---|
| Dana Stewart Scottová | |
| Datum narození | 11. října 1932 (90 let) |
| Místo narození |
|
| Země | |
| Vědecká sféra |
Topologie , matematická logika , programování |
| Místo výkonu práce | |
| Alma mater | |
| Akademický titul | PhD ( 1958 ) |
| vědecký poradce | Kostel Alonzo |
| Známý jako | Scottova topologie |
| Ocenění a ceny |
Steeleova cena (1972) Turingova cena (1976) Cena Harolda Pendera (1990) Cena Rolfa Schocka (1997) |
| webová stránka | cs.cmu.edu/~scott |
| Mediální soubory na Wikimedia Commons | |
Dana Stewart Scott ( narozen 11. října 1932 ) je americký matematik známý pro svou práci v matematické logice a počítačové vědě .
Scottův výzkum je v teorii modelu , teorii automatů , modální a intuicionistické logice, konstruktivní matematice a vztahu mezi logikou a teorií kategorií . Filosofické zájmy leží v základech logiky , filozofie matematiky a sémantické analýzy přirozených jazyků .
Významně přispěl k rozvoji informatiky, když vyvinul matematickou teorii počítačů [1] . Vyvinul model beztypového λ-kalkulu [2] , pro který byla zavedena speciální topologie (později po něm pojmenovaná), nejprve na úplných svazech a následně zobecněna na úplné částečně uspořádané množiny [3] [4] . V rámci tohoto modelu rozvinul teorii a modely počítání, rozvinul principy denotační sémantiky programovacích jazyků a prohloubil koncept vyčíslitelnosti .
Od roku 2012 pracuje a žije v Berkeley v Kalifornii .
Ocenění
- V roce 1972 obdržel Steeleovu cenu za svou práci, publikovanou v roce 1967, o alternativním důkazu nezávislosti hypotézy kontinua k hypotéze Paula Cohena .
- V roce 1976 spolu s Michaelem Rabinem vyhrál Turingovu cenu za jejich práci „ Finite Automata “, která navrhla myšlenku nedeterministického automatu, koncept, který se později ukázal jako výjimečná hodnota [5] .
- V roce 1978 získal Guggenheimovo stipendium [6] .
- V roce 1990 mu byla udělena cena Harolda Pendera jako inovátor v aplikaci pojmů z logiky a algebry k rozvoji matematické sémantiky programovacích jazyků [7] .
- V roce 1997 v nominaci „logika a filozofie“ obdržel cenu Rolfa Schocka za konceptuálně orientovanou logickou práci, zejména na vytvoření teorie oblastí , která umožnila aplikovat Tarského sémantické paradigma na programovací jazyky, stejně jako k sestavení modelů kombinatorické logiky Curryho a Churchova lambda kalkulu [8] .
- V roce 2001 obdržel Bolzanovu cenu Akademie věd ČR za zásluhy v oblasti matematiky.
- V roce 2007 obdržel cenu od Evropské asociace pro teoretickou informatiku jako uznání za jeho přínos v oblasti teoretické informatiky a produktivní vědeckou kariéru [9] [10] .
- V roce 2009 udělil Matematický ústav SB RAS vědci zlatou medaili za přínos v matematice [11] .
- Čestný doktorát z University of St. Andrews (2014).
Hlavní práce
- Scott DS Poradenství v oblasti modální logiky. — Filosofické problémy v logice. Některé nedávné události.-- Lambert K. (ed.), Dordrecht; Holandsko: Reidel, 1970.
- Scott DS, Strachey C. K matematické sémantice pro počítačové jazyky. — In: Proc. Symp. on Computers and Automata, Polytechnic Institute of Brooklyn, 21, 1971. - pp.~19-46.
- Scott D.S. Logické a programovací jazyky. —Comm. Doc. pro Comp. Mach. 20, 1977. - str. 634–641.
- Scott DS Související teorie lambda počtu. — Hindley J., Seldin J. (eds.) To HBCurry: Essays on kombinatorické logiky, lambda kalkulu a formalismu.-- NY & L.: Academic Press, 1980, s.~403-450.
Poznámky
- ↑ Scott D.S. Nástin matematické teorie počítání. In: Proc. 4. výroční konference Princeton Conf. o informačních vědách a systémech, Princeton University, 1970. - s.~169-176.
- ↑ Scott DS Lattice-teoretické modely pro různé beztypové výpočty. — In: Proc. 4th Int. Kongres pro logiku, metodologii a filozofii vědy, Bukurešť, 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, s.~311-372.
- ↑ Barendregt, Henk . Lambda kalkul. Jeho syntaxe a sémantika = Lambda kalkul. Jeho syntaxe a sémantika . - M .: Mir , 1985. - S. 24. - 606 s. - 4800 výtisků.
- ↑ Vítězové AM Turing Award od Dany Stewart Scott Archivováno 19. září 2017 na Wayback Machine // ACM
- ↑ Dana S. Scottová . Nadace Johna Simona Guggenheima . gf.org. Získáno 18. září 2019. Archivováno z originálu dne 30. září 2020.
- ↑ The Harold Pender Award (anglicky) (odkaz není dostupný) . Získáno 10. listopadu 2015. Archivováno z originálu 22. února 2012.
- ↑ Ceny Rolf Shock . Získáno 10. listopadu 2015. Archivováno z originálu 1. února 2016.
- ↑ Evropská asociace pro teoretickou informatiku . Získáno 10. listopadu 2015. Archivováno z originálu 26. ledna 2011.
- ↑ EATCS Award (pondělí, 9.) . Získáno 11. listopadu 2015. Archivováno z originálu 4. března 2016.
- ↑ Carnegie Mellon University .
Viz také
Odkazy
- O Dana Stewart Scott v Encyclopaedia Britannica
- Byron Spice. Dana Scottová z Carnegie Mellona získala zlatou medaili Sobolevova institutu . Carnegie Mellon University (13. dubna 2009).
| Vítězové Turingovy ceny | |
|---|---|
| |
 Tematické stránky | ||||
|---|---|---|---|---|
| Slovníky a encyklopedie | ||||
| ||||