Дана Скотт (Dana Scott), родившийся в 1932 году, — американский логик и информатик, чьи исследования заложили математические основы языков программирования. Его работа в области формальной семантики и теории автоматов изменила то, как машины интерпретируют сложные инструкции, преодолев разрыв между абстрактной математической логикой и практическим применением компьютерного программирования в инженерном ландшафте XX века.
Ранние исследования и теория автоматов
Скотт начал свой академический путь в Калифорнийском университете в Беркли и Принстонском университете, где получил докторскую степень. Во время стажировки в IBM в 1957 году он сотрудничал с Майклом О. Рабином (Michael O. Rabin). Их совместное исследование ввело понятие недетерминированных конечных автоматов — прорыв в теории автоматов, который принес им премию Тьюринга в 1976 году.
Вклад в логику и теорию множеств
Во время работы в Чикагском университете, а затем в Беркли, Скотт сосредоточился на математической логике и теории множеств. Он доказал несовместимость аксиомы конструктивности с измеримыми кардиналами. Его публикация 1967 года, касающаяся независимости континуум-гипотезы, использовала булевозначные модели — исследование, которое привело к премии Лероя П. Стила в 1972 году.
Денотационная семантика и теория доменов
Работая профессором в Оксфордском университете с 1972 по 1981 год, Скотт сотрудничал с Кристофером Стрэчи (Christopher Strachey) для разработки денотационной семантики. Он сформулировал теорию доменов, чтобы обеспечить математическую основу для рекурсивных функций и конструкций управления. Эта работа, расширившая семантические парадигмы Тарского на языки программирования, была дополнительно отмечена премией Рольфа Шока в 1997 году.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Академические назначения и членство
Скотт занимал преподавательские должности во многих учреждениях, включая Стэнфордский университет, Амстердамский университет, Принстонский университет и Университет Иоганна Кеплера в Линце. Свою формальную академическую карьеру он завершил в Университете Карнеги — Меллона, где работал с 1981 по 2003 год. Он является членом престижных организаций, таких как Британская академия, Национальная академия наук США и Американское математическое общество.
Краткие факты
- Родился: 1932, Беркли - Образование: Калифорнийский университет в Беркли; Принстонский университет - Основная область: Математическая логика и информатика - Лауреат премии Тьюринга: 1976 - Известная теория: Теория доменов - Ключевой соавтор: Майкл О. Рабин - Известная награда: Премия Рольфа Шока (1997) - Академическая карьера: Университет Карнеги — Меллона (1981-2003)
Вопросы читателей
### Чем больше всего известен Дана Скотт?
Он наиболее известен созданием теории доменов и установлением математических основ семантики языков программирования, часто работая в сотрудничестве с Кристофером Стрэчи.
### За какое исследование Скотт получил премию Тьюринга?
Он получил премию Тьюринга в 1976 году вместе с Майклом О. Рабином за их совместную статью 1959 года, в которой было введено понятие недетерминированных конечных автоматов.
.jpg)