WikiDer > Дана Скотт
Эта статья включает в себя список общих использованная литература, но он остается в основном непроверенным, потому что ему не хватает соответствующих встроенные цитаты. (Февраль 2018 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Дана Стюарт Скотт | |
---|---|
Родился | |
Образование | Калифорнийский университет в Беркли (Бакалавр, 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.
использованная литература
- ^ Феферман и Феферман 2004.
- ^ Здесь Дана Скотт считает категорию доменов той категорией, объекты которой направлены направленно.полные частичные заказы (DCPOs), морфизмы которых строгие, Скотт-непрерывный функции
- ^ Список членов Американского математического общества, получено 14 июля 2013.
дальнейшее чтение
- Блэкберн, де Райке и Венема (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
Академические офисы | ||
---|---|---|
Предшествует Ежи Лось | Президент DLMPST / IUHPST 1983–1987 | Преемник Лоуренс Джонатан Коэн |