Про знаменитості
Дана Скотт: біографія
-
американський вчений у галузі математики та інформатики
Дослідження Скотта пов'язані з теорією моделей, теорією автоматів, модальної та інтуіціоністской логіками, конструктивної математикою і зв'язком між логікою і теорією категорій. Філософські інтереси лежать в області підстав логіки, філософії математики та семантичного аналізу природних мов. Зробив великий внесок у розвиток комп'ютерних наук, розробивши математичну теорію обчислень. Ним була розроблена модель безтипових ?-числення, для чого попередньо була розвинена теорія апроксимаційних грат.
Роботи в галузі комп'ютерних наук спрямовані на теорію і моделі обчислень, включаючи розробку денотаціонной семантики мов програмування і математичних основ обчислюваності.
В даний час працює і проживає в Берклі, Каліфорнія.
Основні роботи
- Scott DSAdvice on modal logic. - Philosophical problems in logic. Some recent developments .-- Lambert K. (Ed.), Dordrecht; Holland: Reidel, 1970.
- Scott DS, 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 DSLogic and programming languages. - Comm. Assoc. for Comp. Mach. 20, 1977. - Pp. 634-641.
- Scott DSRelating theories of the lambda calculus. -Hindley J., Seldin J.(eds.) To HBCurry: Essays on combinatory logic, lambda calculus and formalism .-- NY & L.: Academic Press, 1980, pp. ~ 403-450.
