Скотт, Дана

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

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

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

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

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

НаградыПравить

В 1972 году получил премию Стила за работу, опубликованную в 1967 году — доказательство независимости континуум-гипотезы, альтернативное доказательству Пола Коэна.
В 1976 году с Михаэлем Рабином стал лауреатом Премии Тьюринга, наградой отмечена их статья «Конечные автоматы», в которой была предложена идея недетерминированного автомата, концепции, доказавшей впоследствии свою исключительную ценность^[5].
В 1978 году получил стипендию Гуггенхайма^[6].
В 1990 году удостоен премии Гарольда Пендера как новатор в применении понятий из логики и алгебры для разработки математической семантики языков программирования^[7].
В 1997 году в номинации «логика и философия» получил премию Рольфа Шока за концептуально ориентированные логические работы, особенно по созданию теории областей^[en], что позволило применить семантическую парадигму Тарского^[en] к языкам программирования, а также построить модели комбинаторной логики Карри и лямбда-исчисления Чёрча^[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]