Скотт, Дана Стюарт

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

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

Работы в области компьютерных наук направлены на теорию и модели вычислений, включая разработку денотационной семантики языков программирования и математических основ вычислимости.

В настоящее время работает и проживает в Беркли, Калифорния.

Ссылки

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 latti

ce of flow diagrams.-- Lecture Notes in Mathematics, 188, Symposium on Semantics of Algorithmic Languages.-- Berlin, Heidelberg, New York: Springer-Verlag, 1971, pp.~311-372.

Основные работы

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

Источник: http://ru.wikipedia.org/wiki/Скотт,_Дана_Стюарт