Скотт, Дана

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

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

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

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

По состоянию на 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. Dana S. Scott (англ.). John Simon Guggenheim Foundation. gf.org. Дата обращения: 18 сентября 2019.
  7. The Harold Pender Award (англ.) (недоступная ссылка). Дата обращения: 10 ноября 2015. Архивировано 22 февраля 2012 года.
  8. Rolf Shock prizes
  9. European Association for Theoretical Computer Science
  10. EATCS Award (Monday, 9th)
  11. Carnegie Mellon University.

См. также

Ссылки

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.