Дана Скотт

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

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

Ранняя карьера

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

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

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

Калифорнийский университет, Беркли, 1960–1963 гг.

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

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

Модальная и временная логика

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

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

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

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

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

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

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

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

Работа Скотта в этот период привела к получению:

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

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

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

Библиография

• С Майклом О. Рабином , 1959. Конечные автоматы и проблема их решения . два : 10.1147/рд.32.0114
• 1967. Доказательство независимости гипотезы континуума . Теория математических систем 1:89–111.
• 1970. «Советы по модальной логике». В «Философских проблемах логики» под ред. К. Ламберт, страницы 143–173.
• С Джоном Леммоном , 1977. Введение в модальную логику . Оксфорд: Блэквелл.
• Гирц, Г.; Хофманн, К.Х.; Кеймель, К.; Лоусон, доктор юридических наук; Мислов, М.В.; Скотт, DS (2003). Непрерывные решетки и области . Энциклопедия математики и ее приложений. Том. 93. Издательство Кембриджского университета. ISBN  978-0521803380 .

Дальнейшее чтение

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

Внешние ссылки

• Официальный сайт
• ДОМЕН 2002 Семинар по теории предметной области - проведен в честь 70-летия Скотта.
• Дана Скотт в проекте «Математическая генеалогия»
• Публикации Даны Скотт, индексируемые Microsoft Academic
• Интервью Даны Скотт с Гордоном Плоткиным в рамках Ассоциации вычислительной техники серии интервью с лауреатами премии Тьюринга : Часть 1 (12 ноября 2020 г.) Часть 2 (29 декабря 2020 г.) Часть 3 (12 января 2021 г.) Часть 4 ( 18 февраля 2021 г.)
• Избранные статьи Даны С. Скотт