Дана Скот

Дана Скот
Дана Скот
	англ.: Dana Stewart Scott
Дата нараджэння	11 кастрычніка 1932 (92 гады)
Месца нараджэння	Берклі, акруга Аламіда, Каліфорнія, ЗША;
Грамадзянства	ЗША;
Жонка	Ірэн Шраер Скот[d]
Род дзейнасці	матэматык, спецыяліст у галіне інфарматыкі, інжынер, таполаг, выкладчык універсітэта
Навуковая сфера	рашотка[d], матэматычная логіка, тэорыя мадэлей[d], тапалогія, праграмаванне, automata theory[d], семантыка і мова праграмавання
Месца працы	Каліфарнійскі ўніверсітэт у Берклі; Чыкагскі ўніверсітэт; Універсітэт Карнегі — Мелан; Лінцкі ўніверсітэт Іагана Кеплера;
Навуковая ступень	доктар філасофіі (1958)
Альма-матар	Прынстанскі ўніверсітэт; Каліфарнійскі ўніверсітэт у Берклі;
Навуковы кіраўнік	Алонза Чорч
Член у	Нацыянальная акадэмія навук ЗША; Еўрапейская акадэмія[d]; Фінская акадэмія навукі і літаратуры[d]; Амерыканская акадэмія мастацтваў і навук; Асацыяцыя вылічальнай тэхнікі[d]; Амерыканскае матэматычнае таварыства;
Узнагароды	прэмія Цьюрынга (1976) грант Гугенхайма (1978) прэмія Гаральда Пендэра[d] (1990) прэмія Рольфа Шока па логіцы і філасофіі[d] (1997) Гёдэльскі лектар[d] (1991) прэмія Еўрапейскай асацыяцыі тэарэтычнай інфарматыкі[d] (2007) прэмія Стыла[d] (1972) прэмія Рольфа Шока[d] (1997) член Асацыяцыі вылічальнай тэхнікі[d] (1994) ганаровы доктар Утрэхцкага ўніверсітэта[d] ганаровы доктар Эдынбургскага ўніверсітэта[d] правадзейны член Амерыканскага матэматычнага таварыства[d] (2013)
Сайт	cs.cmu.edu/~scott
	Медыяфайлы на Вікісховішчы

Дана Сцюарт Скот (англ.: Dana Stewart Scott, нар. 11 кастрычніка 1932) — амерыканскі матэматык, вядомы працамі ў галіне матэматычнай логікі і інфарматыкі.

Даследаванні Скота звязаны з тэорыяй мадэлей, тэорыяй аўтаматаў, мадальнай і інтуіцыянісцкай логікамі, канструктыўнай матэматыкай і сувяззю паміж логікай і тэорыяй катэгорый. Філасофскія інтарэсы ляжаць у галіне асноў логікі, філасофіі матэматыкі і семантычнага аналізу натуральных моў.

Зрабіў буйны ўклад у развіццё інфарматыкі, распрацаваўшы матэматычную тэорыю вылічэнняў. Ім была распрацавана мадэль бестыпавага λ-вылічэння, для чаго была ўведзена спецыяльная тапалогія (пазней названая яго імем), спачатку на поўных рашотках, і пасля абагульненая да поўных часткова ўпарадкаваных мностваў. У межах гэтай мадэлі развіў тэорыю і мадэлі вылічэнняў, распрацаваў прынцыпы дэнатацыйнай семантыкі моў праграмавання, паглыбіў паняцце аб вылічальнасці.