Dana Skott | |
---|---|
ing. Dana Stewart Scott | |
![]() | |
Doğum tarixi | 11 oktyabr 1932 (91 yaş) |
Doğum yeri | |
Elm sahələri | riyazi məntiq, Məntiqi modelləşdirmə, topologiya, proqramlaşdırma, avtomatlar nəzəriyyəsi[1], semantika[d][1], proqramlaşdırma dili[1] |
Elmi dərəcəsi |
|
İş yerləri | |
Təhsili | |
Elmi rəhbəri | Alonzo Çörç |
Üzvlüyü |
|
cs.cmu.edu/~scott | |
![]() |
Dana Styuart Skott (ing. Dana Stewart Scott; 11 oktyabr 1932, Berkli, Kaliforniya) — riyazi məntiq və kompüter elmləri sahəsindəki işləri ilə tanınan amerikalı riyaziyyatçı.
Skottun araşdırması model nəzəriyyəsi, avtomatika nəzəriyyəsi, modal və intuisist məntiq, konstruktiv riyaziyyat və məntiqlə kateqoriya nəzəriyyəsi arasındakı birləşmə ilə əlaqədardır. Fəlsəfi maraqlar məntiq əsasları, riyaziyyat fəlsəfəsi və təbii dillərin semantik təhlili sahəsində işləmişdir.
Riyazi hesablama nəzəriyyəsini inkişaf etdirərək kompüter elminin inkişafına böyük töhfə vermişdir[4]. O, tipik bir λ-hesablama modelini hazırladı, bunun üçün əvvəlcə tam lattalarda xüsusi bir topologiyanı (daha sonra onun adı ilə) təqdim etdi[5] və sonradan qismən sifariş edilmiş dəstləri tamamlamaq üçün ümumiləşdirdi[6][7]. Bu model çərçivəsində hesablama nəzəriyyəsi və modellərini inkişaf etdirdi, proqramlaşdırma dillərinin denotasion semantikası prinsiplərini inkişaf etdirdi və hesablama anlayışını dərinləşdirdi.
2012-ci ilə kimi Berkli, Kaliforniya ştatında işləyib və yaşamışdır.