Дана Скотт - Dana Scott

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Список используемой литературы

• С участием Майкл О. Рабин, 1959. Конечные автоматы и проблема их решения. Дои:10.1147 / rd.32.0114
• 1967. Доказательство независимости гипотезы континуума. Математическая теория систем 1: 89–111.
• 1970. «Советы по модальной логике». В Философские проблемы логики, изд. К. Ламберт, страницы 143–173.
• С участием Джон Леммон, 1977. Введение в модальную логику. Оксфорд: Блэквелл.
• Gierz, G .; Hofmann, K. H .; Keimel, K .; Lawson, J.D .; Mislove, M. W .; Скотт, Д. С. (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

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

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