Скотт, Дана (Vtkmm, :gug)

Дана Скотт
Дана Скотт
	англ. Dana Stewart Scott
Дата рождения	11 октября 1932 (92 года)
Место рождения	Беркли, Аламида, Калифорния, США;
Страна	США;
Род деятельности	математик, специалист в области информатики, инженер, тополог, преподаватель университета
Научная сфера	Топология,; Математическая логика,; Программирование
Место работы	Калифорнийский университет в Беркли; Чикагский университет; Университет Карнеги — Меллона; Линцский университет;
Альма-матер	Принстонский университет; Калифорнийский университет в Беркли;
Учёная степень	доктор философии (1958)
Научный руководитель	Алонзо Чёрч
Известен как	топология Скотта
Награды и премии	Премия Стила (1972) ; Премия Тьюринга (1976) ; Премия Гарольда Пендера (1990) ; Премия Рольфа Шока (1997)
Сайт	cs.cmu.edu/~scott
	Медиафайлы на Викискладе

Да́на Стю́арт Скотт (англ. Dana Stewart Scott, род. 11 октября 1932 года) — американский математик, известный работами в области математической логики и информатики.

Исследования Скотта связаны с теорией моделей, теорией автоматов, модальной и интуиционистской логиками, конструктивной математикой и связью между логикой и теорией категорий. Философские интересы лежат в области оснований логики, философии математики и семантического анализа естественных языков.

Сделал крупный вклад в развитие информатики, разработав математическую теорию вычислений^[1]. Им была разработана модель бестипового λ-исчисления^[2], для чего была введена специальная топология (позднее названная его именем), вначале на полных решётках, и впоследствии обобщенная до полных частично упорядоченных множеств^[3]^[4]. В рамках этой модели развил теорию и модели вычислений, разработал принципы денотационной семантики^[англ.] языков программирования, углубил понятие о вычислимости.

По состоянию на 2012 год работает и проживает в Беркли, Калифорния.

Награды

В 1972 году получил премию Стила за работу, опубликованную в 1967 году — доказательство независимости континуум-гипотезы, альтернативное доказательству Пола Коэна.
В 1976 году с Михаэлем Рабином стал лауреатом Премии Тьюринга, наградой отмечена их статья «Конечные автоматы», в которой была предложена идея недетерминированного автомата, концепции, доказавшей впоследствии свою исключительную ценность^[5].
В 1978 году получил стипендию Гуггенхайма^[6].
В 1990 году удостоен премии Гарольда Пендера как новатор в применении понятий из логики и алгебры для разработки математической семантики языков программирования^[7].
В 1997 году в номинации «логика и философия» получил премию Рольфа Шока за концептуально ориентированные логические работы, особенно по созданию теории областей^[англ.], что позволило применить семантическую парадигму Тарского к языкам программирования, а также построить модели комбинаторной логики Карри и лямбда-исчисления Чёрча^[8].
В 2001 году стал лауреатом премии Больцано от Академии наук Чехии за заслуги в области математики.
В 2007 году получил награду от Европейской ассоциации по теоретической информатике в знак признания вклада в теоретическую информатику и продуктивной научной карьеры^[9]^[10].
В 2009 году Институт математики СО РАН присудил учёному золотую медаль за вклад в математику^[11].
Почётный доктор Сент-Эндрюсского университета (2014).

Основные работы

Scott D.S. Advice on modal logic. — Philosophical problems in logic. Some recent developments.-- Lambert K. (ed.), Dordrecht; Holland: Reidel, 1970.

Русский перевод: Скотт Д. С. Советы по модальной логике. — В кн.: Семантика модальных и интенсиональных логик. — Под. ред. д.ф.н. В. А. Смирнова. — М.: ``Прогресс, 1981. — с.~280-317.

Scott D.S., Strachey C. Towards a mathematical semantics for computer languages. — In: Proc. Symp. on Computers and Automata, Polytechnic Institute of Brooklyn, 21, 1971. — pp.~19—46.
Scott D.S. Logic and programming languages. — Comm. Assoc. for Comp. Mach. 20, 1977. — pp. 634—641.

Русский перевод: Скотт Д. С. Логика и языки программирования. — Лекции лауреатов премии Тьюринга (ред.: Эшенхерст Р.). — М.: Мир, 1993. — с.~65-83.

Scott D.S. Relating theories of the lambda calculus. — Hindley J., Seldin J. (eds.) To H.B.Curry: Essays on combinatory logic, lambda calculus and formalism.-- N.Y. & L.: Academic Press, 1980, pp.~403-450.

См. также

Примечания

↑ Scott D.S. Outline of mathematical theory of computation. In: Proc. 4th Annual Princeton Conf. on Information Sciences and Systems, Princeton University, 1970. — pp.~169—176.
↑ Scott D.S. Lattice-theoretic models for various type-free calculi. — In: Proc. 4th Int. Congress for Logic, Methodology, and the Philosophy of Science, Bucharest, 1972.
↑ Scott D.S. The lattice of flow diagrams.-- Lecture Notes in Mathematics, 188, Symposium on Semantics of Algorithmic Languages.-- Berlin, Heidelberg, New York: Springer-Verlag, 1971, pp.~311-372.
↑ Барендрегт, Хенк. Ламбда-исчисление. Его синтаксис и семантика = The Lambda Calculus. Its syntax and semantics (рус.). — М.: Мир, 1985. — С. 24. — 606 с. — 4800 экз.
↑ A. M. Turing Award Winners by Dana Stewart Scott Архивная копия от 19 сентября 2017 на Wayback Machine // ACM
↑ Dana S. Scott (англ.). John Simon Guggenheim Foundation. gf.org. Дата обращения: 18 сентября 2019. Архивировано 30 сентября 2020 года.
↑ The Harold Pender Award (англ.). Дата обращения: 10 ноября 2015. Архивировано из оригинала 22 февраля 2012 года.
↑ Rolf Shock prizes (неопр.). Дата обращения: 10 ноября 2015. Архивировано 1 февраля 2016 года.
↑ European Association for Theoretical Computer Science (неопр.). Дата обращения: 10 ноября 2015. Архивировано 26 января 2011 года.
↑ EATCS Award (Monday, 9th) (неопр.). Дата обращения: 11 ноября 2015. Архивировано 4 марта 2016 года.
↑ Carnegie Mellon University.

Ссылки

О Дана Стюарте Скотте на сайте Encyclopaedia Britannica
Byron Spice. Carnegie Mellon’s Dana Scott Awarded Sobolev Institute Gold Medal (англ.). Carnegie Mellon University (13 апреля 2009).

[1] Scott D.S. Outline of mathematical theory of computation. In: Proc. 4th Annual Princeton Conf. on Information Sciences and Systems, Princeton University, 1970. — pp.~169—176.

[2] Scott D.S. Lattice-theoretic models for various type-free calculi. — In: Proc. 4th Int. Congress for Logic, Methodology, and the Philosophy of Science, Bucharest, 1972.

[3] Scott D.S. The lattice of flow diagrams.-- Lecture Notes in Mathematics, 188, Symposium on Semantics of Algorithmic Languages.-- Berlin, Heidelberg, New York: Springer-Verlag, 1971, pp.~311-372.

[4] Барендрегт, Хенк. Ламбда-исчисление. Его синтаксис и семантика = The Lambda Calculus. Its syntax and semantics (рус.). — М.: Мир, 1985. — С. 24. — 606 с. — 4800 экз.

[5] A. M. Turing Award Winners by Dana Stewart Scott Архивная копия от 19 сентября 2017 на Wayback Machine // ACM

[6] Dana S. Scott (англ.). John Simon Guggenheim Foundation. gf.org. Дата обращения: 18 сентября 2019. Архивировано 30 сентября 2020 года.

[7] The Harold Pender Award (англ.). Дата обращения: 10 ноября 2015. Архивировано из оригинала 22 февраля 2012 года.

[8] Rolf Shock prizes (неопр.). Дата обращения: 10 ноября 2015. Архивировано 1 февраля 2016 года.

[9] European Association for Theoretical Computer Science (неопр.). Дата обращения: 10 ноября 2015. Архивировано 26 января 2011 года.

[10] EATCS Award (Monday, 9th) (неопр.). Дата обращения: 11 ноября 2015. Архивировано 4 марта 2016 года.

[_dbe5588c7410cc1e-11] Carnegie Mellon University.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

Лауреаты премии Рольфа Шока
Логика и философия	Уиллард Куайн (1993) Майкл Даммит (1995) Дана Скотт (1997) Джон Ролз (1999) Сол Крипке (2001) Соломон Феферман (2003) Яакко Хинтикка (2005) Томас Нагель (2008) Хилари Патнэм (2011) Дерек Парфит (2014) Рут Милликен (2017) Сахарон Шелах (2018) Даг Правиц^[англ.] / Пер Мартин-Лёф (2020)
Математика	Элиас Стейн (1993) Эндрю Уайлс (1995) Микио Сато (1997) Юрий Манин (1999) Эллиот Либ (2001) Ричард Стэнли^[англ.] (2003) Луис Каффарелли (2005) Эндре Семереди (2008) Майкл Ашбахер^[англ.] (2011) Чжан Итан (2014) Ричард Шон^[англ.] (2017) Рональд Койфман^[англ.] (2018) Николай Макаров (2020)
Музыка	Ингвар Лидхольм^[англ.] (1993) Дьёрдь Лигети (1995) Йорма Панула (1997) Кронос-квартет (1999) Кайя Саариахо (2001) Анне Софи фон Оттер (2003) Маурисио Кагель (2005) Гидон Кремер (2008) Эндрю Манце (2011) Герберт Блумстедт (2014) Уэйн Шортер (2017) Барбара Ханниган (2018) Дьёрдь Куртаг (2020)
Визуальные искусства	Рафаэль Монео (1993) Клас Олденбург (1995) Торстен Андерссон^[англ.] (1997) Херцог и де Мёрон (1999) Джузеппе Пеноне (2001) Сьюзен Ротенберг (2003) SANAA / Кадзуё Сэдзима + Рюэ Нисидзава (2005) Мона Хатум (2008) Марлен Дюма (2011) Анн Лакатон и Жан-Филипп Вассаль (2014) Дорис Сальседо^[англ.] (2017) Андреа Бранци^[итал.] (2018) Франсис Алис (2020)

Дана Скотт
англ. Dana Stewart Scott

Дата рождения	11 октября 1932(1932-10-11) (92 года)
Место рождения	Беркли, Аламида, Калифорния, США
Страна	США
Род деятельности	математик, специалист в области информатики, инженер, тополог, преподаватель университета
Научная сфера	Топология, Математическая логика, Программирование
Место работы	Калифорнийский университет в Беркли Чикагский университет Университет Карнеги — Меллона Линцский университет
Альма-матер	Принстонский университет Калифорнийский университет в Беркли
Учёная степень	доктор философии (1958)
Научный руководитель	Алонзо Чёрч
Известен как	топология Скотта
Награды и премии	Премия Стила (1972) Премия Тьюринга (1976) Премия Гарольда Пендера (1990) Премия Рольфа Шока (1997)
Сайт	cs.cmu.edu/~scott
Медиафайлы на Викискладе