Скотт, Дана

Материал из Википедии — свободной энциклопедии
(перенаправлено с «Скотт, Дана Стюарт»)
Перейти к: навигация, поиск
Дана Скотт
Dana Stewart Scott
Scott Dana small.jpg
Дата рождения:

11 октября 1932(1932-10-11) (83 года)

Место рождения:

Беркли

Страна:

Flag of the United States.svg США

Научная сфера:

Топология,
Математическая логика,
Программирование

Место работы:

Калифорнийский университет в Беркли и Чикагский университет

Учёная степень:

доктор философии (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
  6. The Harold Pender Award
  7. Rolf Shock prizes
  8. European Association for Theoretical Computer Science
  9. EATCS Award (Monday, 9th)
  10. Carnegie Mellon University

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

Ссылки[править | править вики-текст]