Дана Стюарт Скотт | |
---|---|
Родилась | (1932-10-11) 11 октября 1932 г. (возраст 88). Беркли, Калифорния |
Образование | Калифорнийский университет, Беркли (бакалавр, 1954). Принстонский университет (доктор философии, 1958) |
Известен | Теория автоматов, семантика языков программирования, модальное μ-исчисление, трюк Скотта, теория множеств Скотта – Поттера |
Награды | Премия Лероя П. Стила (1972). Премия Тьюринга ACM (1976). Лекции Тарского (1989). Премия Гарольда Пендера (1990). Премии Рольфа Шока в области логики и философии (1997) |
Научная карьера | |
Области деятельности | Информатика. Математика. Философия |
Учреждения | Калифорнийский университет в Беркли. Стэнфорд. Оксфордский университет. Университет Карнеги-Меллона |
Диссертация | Конвергентные последовательности полных теорий (1958) |
Докторант | Алонзо Черч |
Докторант | Джек Коупленд. Майкл Форман. Кеннет Кунен. Ангус Макинтайр. Питер Моссес. Кетан Малмули. Марко Петковшек. Фред С. Робертс. Дэвид Тернер. Мартин Дэвис |
Дана Стюарт Скотт (родилась 11 октября 1932 г.) - американский логик, заслуженный профессор университета Хиллмана в областях информатики, философии и математической логики. в Университете Карнеги-Меллона ; Сейчас он на пенсии и живет в Беркли, Калифорния. Его работа по теории автоматов принесла ему Премию Тьюринга ACM в 1976 году, а его совместная работа с Кристофером Стрейчи в 1970-х заложила основы современных подходов к семантика языков программирования. Он также работал над модальной логикой, топологией и теорией категорий.
Он получил степень BA по математике в Калифорнийский университет, Беркли, в 1954 году. Он написал свою докторскую степень. диссертацию о конвергентных последовательностях полных теорий под руководством Алонзо Черча, находясь в Принстоне, и защитил диссертацию в 1958 году. Соломон Феферман (2005) пишет об этом периоде:
Скотт начал изучать логику в Беркли в начале 50-х годов, еще будучи студентом. Его необычные способности вскоре были признаны, и он быстро перешел в аспирантуру и семинары с Тарским и стал частью группы, которая его окружала, включая меня и Ричарда Монтегю ; Так что именно тогда мы стали друзьями. Скотт явно собирался получить степень доктора философии с Тарски, но они поссорились по причинам, объясненным в нашей биографии. Расстроенный этим, Скотт уехал в Принстон, где защитил докторскую диссертацию у Алонзо Черча. Но вскоре отношения между ними наладились до такой степени, что Тарский мог сказать ему: «Надеюсь, я смогу называть тебя своим учеником».
После получения докторской степени учебы, он перешел в Чикагский университет, где работал преподавателем до 1960 года. В 1959 году он опубликовал совместную статью с Майклом О. Рабином, коллегой из Принстона, под названием Конечные автоматы и проблема их решения (Скотт и Рабин, 1959), который ввел идею недетерминированных машин в теорию автоматов. Эта работа привела к совместному присуждению им Премии Тьюринга за введение этой фундаментальной концепции теории сложности вычислений.
Скотт занял должность доцента математики в Калифорнийском университете в Беркли и занялся классическими проблемами математической логики, особенно множеством теория и тарская теория моделей теория.
В этот период он стал руководить кандидатской диссертацией. студенты, такие как Джеймс Халперн (Вклад в изучение независимости аксиомы выбора) и Эдгар Лопес-Эскобар (Бесконечно длинные формулы со счетными степенями квантора).
Скотт также начал работать над модальной логикой в этот период, начав сотрудничество с Джоном Леммоном, который переехал в Клермонт, Калифорния, в 1963 году. Скотт особенно интересовался подходом Артура Прайора к временной логике и связью с трактовкой времени в семантике естественного языка., и начал сотрудничать с Ричардом Монтегю (Copeland 2004), которого он знал еще со студенческих лет в Беркли. Позже Скотт и Монтегю независимо друг от друга открыли важное обобщение семантики Крипке для модальной и временной логики, названное семантикой Скотта-Монтегю (Scott 1970).
Джон Леммон и Скотт начали работу над учебником модальной логики, которая была прервана смертью Леммона в 1966 году. Скотт распространил неполную монографию среди коллег, представив ряд важных методов семантики теории моделей, в первую очередь представление усовершенствованной канонической модели, ставшей стандартом, и введение техники построения моделей с помощью фильтрации, которые являются ключевыми концепциями современной семантики Крипке (Blackburn, de Rijke, and Venema, 2001). В конце концов Скотт опубликовал работу под названием «Введение в модальную логику» (Lemmon Scott, 1977).
Следуя первоначальному наблюдению Роберта Соловея, Скотт сформулировал концепцию булевозначной модели, как это сделали Соловай и Петр Вопенка примерно в одно и то же время. В 1967 году Скотт опубликовал статью «Доказательство независимости гипотезы континуума», в которой он использовал булевозначные модели, чтобы предоставить альтернативный анализ независимости гипотезы континуума от той, что предоставлен Пол Коэн. Эта работа привела к присуждению Премии Лероя П. Стила в 1972 году.
Скотт занял должность профессора математики. Логика на философском факультете Оксфордского университета в 1972 году. Он был членом Мертон-колледжа во время учебы в Оксфорде, а сейчас является почетным членом колледжа.
В этот период Скотт работал с Кристофером Стрейчи, и им удалось, несмотря на административное давление, провести работу по созданию математической основы для семантика языков программирования, работа которой наиболее известна Скотту. Вместе их работа составляет подход Скотта-Стрейчи к денотационной семантике, важный и плодотворный вклад в теоретическую информатику. Одним из вкладов Скотта является его формулировка теории предметной области, позволяющая придавать программам, включающим рекурсивные функции и конструкции управления циклами, денотационную семантику. Кроме того, он заложил основу для понимания бесконечной и непрерывной информации с помощью теории предметной области, а его теория информационных систем.
Работы Скотта этого периода привели к награждению:
В Университете Карнеги-Меллона Скотт предложил теорию как преемницу теории предметной области; Среди множества преимуществ категория равносильных пространств - это декартова замкнутая категория, а категория областей - нет. В 1994 году он был введен в должность научным сотрудником в Ассоциации вычислительной техники. В 2012 году он стал членом Американского математического общества.
Академические офисы | ||
---|---|---|
Предшествующий. Ежи Чос | Президент DLMPST / IUHPST. 1983–1987 | Преемник. Лоуренс Джонатан Коэн |