Открыть главное меню

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

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

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

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

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

Содержание

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

Основные работыПравить

  • 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.

ПримечанияПравить

  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 // ACM
  6. The Harold Pender Award (недоступная ссылка). Дата обращения 10 ноября 2015. Архивировано 22 февраля 2012 года.
  7. Rolf Shock prizes
  8. European Association for Theoretical Computer Science
  9. EATCS Award (Monday, 9th)
  10. Carnegie Mellon University.

См. такжеПравить

СсылкиПравить