Скотт, Дана

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Дана Скотт
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 Медиафайлы на Викискладе

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

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

Сделал крупный вклад в развитие информатики, разработав математическую теорию вычислений[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. 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.

См. также[править | править код]

Ссылки[править | править код]