Дана Скот

З пляцоўкі Вікіпедыя
Дана Скот
англ.: Dana Stewart Scott
Scott Dana small.jpg
Дата нараджэння 11 кастрычніка 1932(1932-10-11) (90 гадоў)
Месца нараджэння
Грамадзянства
Жонка Ірэн Шраер Скот[d]
Род дзейнасці матэматык, спецыяліст у галіне інфарматыкі, інжынер, таполаг, выкладчык універсітэта
Навуковая сфера рашотка[d], матэматычная логіка[1], тэорыя мадэлей[d], тапалогія, праграмаванне, automata theory[d][1], семантыка[1] і мова праграмавання[1]
Месца працы
Навуковая ступень доктар філасофіі (1958)
Альма-матар
Навуковы кіраўнік Алонза Чорч
Член у
Узнагароды

прэмія Цьюрынга (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) — амерыканскі матэматык, вядомы працамі ў галіне матэматычнай логікі і інфарматыкі.

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

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

Зноскі

  1. а б в г Czech National Authority Database Праверана 7 лістапада 2022.
  2. https://www.ae-info.org/ae/User/Scott_Dana
  3. http://www.ams.org/fellows_by_year.cgi?year=2013 Праверана 24 лістапада 2022.
  4. http://www.ams.org/news?news_id=1680 Праверана 24 лістапада 2022.