Дана Скотт

Эта статья включает в себя список общих ссылок , но он остается в значительной степени непроверенным, поскольку в нем отсутствует достаточное количество соответствующих встроенных ссылок . Пожалуйста, помогите улучшить эту статью, добавив более точные цитаты. ( Февраль 2018 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения )

Дана Стюарт Скотт
Родившийся	(1932-10-11) 11 октября 1932 г. (88 лет) Беркли, Калифорния
Образование	Калифорнийский университет, Беркли (бакалавр, 1954), Принстонский университет (доктор философии, 1958)
Известен	Теория автоматов , семантика языков программирования , модальное μ-исчисление , трюк Скотта , Скотт-Поттер теории множеств
Награды	Премия Лероя П. Стила (1972 г.) Премия Тьюринга ACM (1976 г.) Лекции Тарского (1989 г.) Премия Гарольда Пендера (1990 г.) Призы Рольфа Шока в области логики и философии (1997)
Научная карьера
Поля	Информатика Математика Философия
Учреждения	Калифорнийский университет, Беркли Стэнфордский университет Оксфордский университет Карнеги-Меллон
Тезис	Сходящиеся последовательности полных теорий  (1958)
Докторант	Церковь Алонсо
Докторанты	Джек Коупленд Майкл Фурман Кеннет Кунен Ангус Макинтайр Питер Моссес Кетан Малмули Марко Петковшек Фред С. Робертс Дэвид Тернер Мартин Дэвис

Дана Стюарт Скотт (родился 11 октября 1932) американский логик , который является почетным Hillman университета профессор компьютерных наук , философии и математической логики в Университете Карнеги - Меллона ; Сейчас он на пенсии и живет в Беркли, Калифорния . Его работа по теории автоматов принесла ему премию Тьюринга ACM в 1976 году, а его совместная работа с Кристофером Стрейчи в 1970-х годах заложила основы современных подходов к семантике языков программирования . Он также работал над модальной логикой , топологией итеория категорий .

Ранняя карьера [ править ]

Он получил степень бакалавра математики в Калифорнийском университете в Беркли в 1954 году. Он написал докторскую степень. защитил диссертацию о конвергентных последовательностях полных теорий под руководством Алонзо Черча в Принстоне и защитил диссертацию в 1958 году. Соломон Феферман (2005) пишет об этом периоде:

Скотт начал изучать логику в Беркли в начале 50-х годов, еще будучи студентом. Его необычные способности вскоре были признаны, и он быстро перешел в аспирантуру и семинары с Тарским и стал частью группы, которая его окружала, включая меня и Ричарда Монтегю ; Так что именно тогда мы стали друзьями. Скотт явно собирался получить степень доктора философии с Тарским, но они поссорились по причинам, объясненным в нашей биографии. ^[1] Расстроенный этим, Скотт уехал в Принстон, где получил степень доктора философии у Алонзо Черча. Но вскоре отношения между ними наладились до такой степени, что Тарский мог сказать ему: «Надеюсь, я могу называть тебя своим учеником».

После получения докторской степени После учебы он переехал в Чикагский университет , где работал преподавателем до 1960 года. В 1959 году он опубликовал совместную работу с Майклом О. Рабином , коллегой из Принстона, под названием « Конечные автоматы и их проблема решения» (Скотт и Рабин, 1959). который ввел идею недетерминированных машин в теорию автоматов . Эта работа привела к совместному присуждению им премии Тьюринга за введение этой фундаментальной концепции теории сложности вычислений .

Калифорнийский университет, Беркли, 1960–1963 [ править ]

Скотт занял пост доцента математики в Калифорнийском университете в Беркли и занялся классическими проблемами математической логики , особенно теорией множеств и теорией моделей Тарского .

В этот период он стал руководить кандидатской диссертацией. студенты, такие как Джеймс Халперн ( Вклад в изучение независимости аксиомы выбора ) и Эдгар Лопес-Эскобар ( Бесконечно длинные формулы со счетными степенями квантора ).

Модальная и временная логика [ править ]

Скотт также начал работать над модальной логикой в этот период, начав сотрудничество с Джоном Леммоном , который переехал в Клермонт, штат Калифорния , в 1963 году. Скотта особенно интересовал подход Артура Прайора к временной логике и его связь с трактовкой времени в семантики естественного языка и начал сотрудничать с Ричардом Монтегю (Copeland 2004), которого он знал еще со студенческих лет в Беркли. Позже Скотт и Монтегю независимо друг от друга открыли важное обобщение семантики Крипке для модальной и временной логики, названное семантикой Скотта-Монтегю (Scott 1970).

Джон Леммон и Скотт начали работу над учебником модальной логики, которая была прервана смертью Леммона в 1966 году. Скотт распространил неполную монографию среди своих коллег, представив ряд важных методов семантики теории моделей, наиболее важно представив уточнение канонической модели. это стало стандартом, и в нем представлена ​​техника построения моделей с помощью фильтрации , которые являются ключевыми концепциями современной семантики Крипке (Blackburn, de Rijke, and Venema, 2001). В конце концов Скотт опубликовал работу под названием «Введение в модальную логику» (Lemmon & Scott, 1977).

Стэнфорд, Амстердам и Принстон, 1963–1972 гг. [ Править ]

Следуя первоначальному наблюдению Роберта Соловея , Скотт сформулировал концепцию булевозначной модели , как это сделали Соловей и Петр Вопенка примерно в то же время. В 1967 году Скотт опубликовал статью «Доказательство независимости гипотезы континуума» , в которой он использовал булевозначные модели, чтобы предоставить анализ независимости гипотезы континуума, альтернативный тому, который был предоставлен Полом Коэном . Эта работа привела к присуждению премии Лероя П. Стила в 1972 году.

Оксфордский университет, 1972–1981 гг. [ Править ]

Скотт занял пост профессора математической логики на философском факультете Оксфордского университета в 1972 году. Он был членом Мертон-колледжа, когда учился в Оксфорде, а теперь является почетным членом колледжа.

Семантика языков программирования [ править ]

В этот период Скотт работал с Кристофером Стрейчи , и им удалось, несмотря на административное давление, ^{[ необходимо разъяснение ]} провести работу по обеспечению математической основы семантики языков программирования, работа, которой Скотт наиболее известен ^{[ мнение ]} . Вместе их работа составляет подход Скотта-Стрейчи к денотационной семантике , важный и плодотворный вклад в теоретическую информатику . Один из вкладов Скотта - его формулировка теории предметной области., позволяя программам, включающим рекурсивные функции и конструкции управления циклами, получать денотационную семантику. Кроме того, он заложил основу для понимания бесконечной и непрерывной информации с помощью теории предметной области и своей теории информационных систем .

Работы Скотта этого периода привели к награждению:

• Премия Гарольда Пендера 1990 г. за применение концепций из логики и алгебры к развитию математической семантики языков программирования ;
• Премия Рольфа Шока по логике и философии от Шведской королевской академии наук 1997 г. за его концептуально ориентированные логические работы, особенно за создание теории предметной области, которая позволила распространить семантическую парадигму Тарского на языки программирования, а также построить модели Комбинаторная логика Карри и лямбда-преобразование Черча ; и
• Премия Больцано 2001 г. за заслуги в области математических наук Чешской академией наук
• Премия EATCS 2007 за вклад в теоретическую информатику.

Университет Карнеги-Меллона, 1981–2003 гг. [ Править ]

В Университете Карнеги-Меллона Скотт предложил теорию равных пространств в качестве теории преемника теории областей ; среди множества преимуществ категория равносильных пространств является декартовой замкнутой категорией , а категория областей ^[2] - нет. В 1994 году он был введен в качестве стипендиата от Ассоциации вычислительной техники . В 2012 году он стал членом Американского математического общества . ^[3]

Библиография [ править ]

• Совместно с Майклом О. Рабином , 1959. Конечные автоматы и проблема их решения . DOI : 10,1147 / rd.32.0114
• 1967. Доказательство независимости гипотезы континуума . Математическая теория систем 1: 89–111.
• 1970. «Советы по модальной логике». В философских проблемах логики , под ред. К. Ламберт, страницы 143–173.
• С Джоном Леммоном , 1977 г. Введение в модальную логику . Оксфорд: Блэквелл.
• Gierz, G .; Hofmann, KH; Keimel, K .; Лоусон, JD; Mislove, MW; Скотт, Д.С. (2003). Непрерывные решетки и домены . Энциклопедия математики и ее приложений. 93 . Издательство Кембриджского университета. ISBN 978-0521803380.

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

Дальнейшее чтение [ править ]

• Блэкберн, де Райке и Венема (2001). Модальная логика . Издательство Кембриджского университета .
• Джек Коупленд (2004). Артур Прайор . В Стэнфордской энциклопедии философии .
• Анита Бурдман Феферман и Соломон Феферман (2004). Альфред Тарский: жизнь и логика . Издательство Кембриджского университета, ISBN 0-521-80240-7 , ISBN 978-0-521-80240-6 .  
• Соломон Феферман (2005). Влияние Тарского на информатику . Proc. LICS'05. IEEE Press .
• Джозеф Э. Стой (1977). Денотационная семантика: подход Скотта-Стрейчи к теории языка программирования . MIT Press . ISBN 0-262-19147-4 

Внешние ссылки [ править ]

• Официальный веб-сайт
• DOMAIN 2002 Семинар по теории доменов - проводится в честь 70-летия Скотта.
• Дана Скотт в проекте « Математическая генеалогия»
• Список публикаций от Microsoft Academic