Да́на Стю́арт Скотт (, род. 11 октября 1932 года) — американский , известный работами в области математической логики и информатики.
Исследования Скотта связаны с теорией моделей, теорией автоматов, модальной и интуиционистской логиками, конструктивной математикой и связью между логикой и теорией категорий. Философские интересы лежат в области оснований логики, философии математики и семантического анализа естественных языков.
Сделал крупный вклад в развитие информатики, разработав математическую теорию вычислений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.. В рамках этой модели развил теорию и модели вычислений, разработал принципы языков программирования, углубил понятие о вычислимости.
По состоянию на 2012 год работает и проживает в Беркли, Калифорния.
Награды В 1972 году получил премию Стила за работу, опубликованную в 1967 году — доказательство независимости континуум-гипотезы, альтернативное доказательству Пола Коэна. В 1976 году с Михаэлем Рабином стал лауреатом Премии Тьюринга, наградой отмечена их статья «Конечные автоматы», в которой была предложена идея недетерминированного автомата, концепции, доказавшей впоследствии свою исключительную ценностьA. M. Turing Award Winners by Dana Stewart Scott // ACM. В 1978 году получил стипендию Гуггенхайма. В 1990 году удостоен премии Гарольда Пендера как новатор в применении понятий из логики и алгебры для разработки математической семантики языков программирования. В 1997 году в номинации «логика и философия» получил премию Рольфа Шока за концептуально ориентированные логические работы, особенно по созданию , что позволило применить семантическую парадигму Тарского к языкам программирования, а также построить модели комбинаторной логики Карри и лямбда-исчисления Чёрча. В 2001 году стал лауреатом премии Больцано от Академии наук Чехии за заслуги в области математики. В 2007 году получил награду от Европейской ассоциации по теоретической информатике в знак признания вклада в теоретическую информатику и продуктивной научной карьеры. В 2009 году Институт математики СО РАН присудил учёному золотую медаль за вклад в математику. Почётный доктор Сент-Эндрюсского университета (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.
См. также Модели вычислений Теория вычислений Лямбда-исчисление с типами
Примечания
Ссылки О Дана Стюарте Скотте на сайте Encyclopaedia Britannica
Категория:Логики США Категория:Топологи Категория:Учёные в области информатики США Категория:Члены Национальной академии наук США Категория:Почётные доктора Сент-Эндрюсского университета Категория:Почётные доктора Эдинбургского университета Категория:Почётные доктора Утрехтского университета Категория:Почётные доктора Люблянского университета Категория:Почётные доктора Дармштадтского технического университета Категория:Лауреаты премии Гарольда Пендера Категория:Стипендиаты Гуггенхайма Категория:Члены Финской академии наук Категория:Преподаватели Чикагского университета Категория:Выпускники Принстонского университета Категория:Выпускники Калифорнийского университета в Беркли Категория:Выпускники Колледжа литературы и естественных наук Калифорнийского университета в Беркли Категория:Преподаватели Калифорнийского университета в Беркли Категория:Преподаватели Школы литературы и наук Калифорнийского университета в Беркли Категория:Лауреаты премии Рольфа Шока