Дейна Скот
Дейна Скот Dana Scott | |
американски информатик и математик | |
Роден | |
---|---|
Учил в | Принстънски университет Калифорнийски университет – Бъркли |
Научна дейност | |
Област | Информатика,математика |
Учил при | Алонсо Чърч |
Работил в | Калифорнийски университет в Бъркли Станфордски университет Оксфордски университет Университет „Карнеги Мелън “ |
Семейство | |
Уебсайт | www.cs.cmu.edu/~scott |
Дейна СкотвОбщомедия |
Дейна Стюарт Скот(наанглийски:Dana Stewart Scott;роден на11 октомври1932г.) еамериканскиинформатикилогикв университета„Карнеги Мелън “,сега той е пенсионер и живее в Бъркли, Калифорния. Научната му кариера обхваща компютърните науки, математиката и логиката.
Биография
[редактиране|редактиране на кода]Начало на кариерата
[редактиране|редактиране на кода]Бакалавърска степен по математика получава вКалифорнийския университет в Бърклипрез 1954 г. Докторската си дисертация на тема „Сходни следствия на завършените теории “, подготвена под научното ръководство на Aлонсо Чърч, защитава вПринстънския университетпрез 1958 г.
Калифорнийски университет в Бъркли, 1960-1963
[редактиране|редактиране на кода]През 1960 г. Скот се завръща в Калифорнийския университет в Бъркли и става асистент по математика, като се занимава с класически въпроси в областта на математическата логика, особено теорията на множествата и теоретичния модел на Тарски.
Джон Лемън и Скот започват работа по учебник по модална логика, която прекъсва заради смъртта на Лемън през 1966 г. Скот разпространява незавършената монография сред свои колеги, като по този начин въвежда в обращение редица важни техники в семантиката на моделната теория.
Станфорд, Амстердам и Принстън, 1963-1972
[редактиране|редактиране на кода]Следвайки първоначалните наблюдения на Робърт Соловей, Скот формулира концепцията на Булевия стойностен модел, теория, до която приблизително по същото време достигат Соловей и Петр Вопенка. През 1967 г. Скот публикува статията „Доказателство на независимостта на хипотезата за континуума “, в която използва Булевия стойностен модел, за да предложи алтернативен анализ на независимостта на хипотезата за континуума, различен от този на Пол Коен. Този му труд му донася през 1972 г. наградата „Лерой П. Стийл “.
Оксфордски университет, 1972-1981
[редактиране|редактиране на кода]Скот поема поста на професор по математическа логика на Философския факултет наОксфордския университетпрез 1972 г.
Семантика на езиците за програмиране
[редактиране|редактиране на кода]Този период води Скот до работа в тясно сътрудничество с Кристофър Стрейчи, и двамата успяват, въпреки интензивния административен натиск, да контролират голяма част от основните условия на труд за осигуряване на математическа основа за семантиката на езиците за програмиране.
Hагради
[редактиране|редактиране на кода]- 1990 – награда „Харолд Пендър “за прилагането на понятия от логиката и алгебрата за развитието на математическата семантика на езиците за програмиране;
- 1997 – награда „Ролф Шок “в логиката и философията наКралска шведска академия на наукитеза неговите концептуално ориентирани трудове по логика, особено създаването на домейн теория;
- 2001 – награда „Болцано “на Чешката академия на науките за заслуги в областта на математическите науки;
- 2007 – EATCS Award заради приноса му към теоретичните компютърни науки.
Външни препратки
[редактиране|редактиране на кода]- Официален сайт на Дейна Скот((en))
- DOMAIN 2002 Workshop on Domain TheoryАрхив на оригинала от2004-10-12 вWayback Machine.((en))
- Дейна Скотна сайта наMathematics Genealogy Project((en))
|
|
- Американски математици
- Математици от 20 век
- Математици (логика и теория на множествата)
- Американски информатици
- Принстънски университет
- Възпитаници на Калифорнийския университет – Бъркли
- Преподаватели в Калифорнийския университет – Бъркли
- Преподаватели в Чикагския университет
- Университет „Карнеги Мелън “
- Членове на Националната академия на науките на САЩ
- Членове на Кралската шведска академия на науките
- Родени в Бъркли