Скотт, Дана

Родился 11 октября 1932 года в Беркли (штат Калифорния). В 1954 году получил степень бакалавра искусств в Калифорнийском университете в Беркли. Продолжил обучение в Принстонском университете, где в 1958 году получил степень доктора философии (PhD); его научным руководителем был Алонзо Чёрч^[3].

Академическая карьера учёного включает преподавание в Чикагском университете, Калифорнийском университете в Беркли и Стэнфорде. В 1972 году он был избран членом Американской академии искусств и наук^[4]. С 1972 по 1981 год работал в Оксфордском университете, а с 1981 по 2003 год — в Университете Карнеги — Меллона^[3].

В 2003 году вышел на пенсию в статусе эмерит-профессора, заняв позицию приглашённого исследователя (Visitor) в Калифорнийском университете в Беркли^[3][2].

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

В 1959 году совместно с Михаэлем Рабином опубликовал работу «Конечные автоматы и проблема их разрешения», в которой была впервые предложена концепция недетерминированных конечных автоматов. Учёные доказали теорему Скотта — Рабина, устанавливающую эквивалентность недетерминированных и детерминированных автоматов по их выразительной мощности. За этот вклад в теорию автоматов Скотт и Рабин в 1976 году были удостоены премии Тьюринга^[1][3].

В начале 1970-х годов Скотт совместно с Кристофером Стрейчи заложил основы денотационной семантики (также известной как семантика Скотта — Стрейчи). Для её математического обоснования он разработал теорию доменов, которая позволила описать семантику рекурсивных функций и циклов с использованием непрерывных функций на полных частичных порядках^[1][3].

В области математической логики и теории множеств в 1960-х годах Скотт совместно с Робертом Соловеем и Петром Вопенкой представил булевозначные модели. Этот подход обобщил классическую семантику и стал важным инструментом для понимания метода форсинга.

• В 1972 году получил премию Стила за работу, опубликованную в 1967 году — доказательство независимости континуум-гипотезы, альтернативное доказательству Пола Коэна.
• В 1976 году с Михаэлем Рабином стал лауреатом Премии Тьюринга, наградой отмечена их статья «Конечные автоматы», в которой была предложена идея недетерминированного автомата, концепции, доказавшей впоследствии свою исключительную ценность.
• В 1978 году получил стипендию Гуггенхайма.
• В 1990 году удостоен премии Гарольда Пендера как новатор в применении понятий из логики и алгебры для разработки математической семантики языков программирования.
• В 1997 году в номинации «логика и философия» получил премию Рольфа Шока за концептуально ориентированные логические работы, особенно по созданию теории областей, что позволило применить семантическую парадигму Тарского к языкам программирования, а также построить модели комбинаторной логики Карри и лямбда-исчисления Чёрча.
• В 2001 году стал лауреатом премии Больцано от Академии наук Чехии за заслуги в области математики.
• В 2007 году получил награду от Европейской ассоциации по теоретической информатике в знак признания вклада в теоретическую информатику и продуктивной научной карьеры^[8][9].
• В 2009 году Институт математики СО РАН присудил учёному золотую медаль за вклад в математику^[10].
• Почётный доктор Сент-Эндрюсского университета (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. Domains for denotational semantics. — International Colloquium on Automata, Languages, and Programming (ICALP), 1982^[11].
• Benzmüller C., Scott D. Notes on Gödel’s and Scott’s variants of the ontological argument. — Monatshefte für Mathematik, 208(4), 2025. — pp. 569—611.