Дейна Скот: Разлика между версии
Редакция без резюме |
кат, меп |
||
Ред 2: | Ред 2: | ||
| име = Дейна Стюарт Скот |
| име = Дейна Стюарт Скот |
||
| портрет = Scott Dana small.jpg |
| портрет = Scott Dana small.jpg |
||
| описание = |
| описание = американски информатик, философи и математик |
||
| роден-дата = |
| роден-дата = {{дрг|1932|10|11}} |
||
| роден-място = [[Бъркли]], [[САЩ]] |
|||
| работа = [[Калифорнийски университет, Бъркли]],[[Оксфордски университет]],[[Университет „Карнеги Мелън“]] |
|||
| университети = бакалавърска степен (математика)1954,[[Калифорнийски университет, Бъркли]] |
|||
}} |
}} |
||
′′′Дана Стюарт Скот′′′ (роден на 11 октомври, 1932 г.) |
′′′Дана Стюарт Скот′′′ (роден на 11 октомври, 1932 г.) е [[Съединени американски щати|американски]] [[Информатика|информатик]], [[философ]], и [[Математическа логика|логик]] в университета [[Университет „Карнеги Мелън“|"Карнеги Мелън"]], сега той е пенсионер и живее в Бъркли, Калифорния. Научнaтa му кариера обхваща компютърни науки, математика и философия. |
||
==Ранна кариера== |
==Ранна кариера== |
||
Ред 35: | Ред 35: | ||
EATCS Award за 2007 г. за неговия принос към теоретичните компютърни науки. |
EATCS Award за 2007 г. за неговия принос към теоретичните компютърни науки. |
||
==Източници== |
|||
{{DEFAULTSORT:Скот, Дейна}} |
|||
*Wikipedia - Dana Scott |
|||
[[Категория:Информатици]] |
|||
[[Категория:Американски математици]] |
|||
[[Категория:Американски философи]] |
|||
[[Категория:Логици]] |
|||
[[Категория:Математици на 20-ти век]] |
|||
[[Категория:Членове и член-кореспонденти на Националната академия на науките на САЩ]] |
|||
[[Категория:Университет Карнеги Мелън]] |
|||
[[Категория:Принстънски университет]] |
|||
[[Категория:Чикагски университет]] |
|||
[[Категория:Възпитаници на Калифорнийския университет в Бъркли]] |
|||
[[Категория:Преподаватели в Калифорнийския университет в Бъркли]] |
|||
[[cs:Dana Scott]] |
|||
[[de:Dana Scott]] |
|||
[[en:Dana Scott]] |
|||
[[es:Dana Scott]] |
|||
[[fi:Dana Scott]] |
|||
[[fr:Dana S. Scott]] |
|||
[[ht:Dana Scott]] |
|||
[[id:Dana Scott]] |
|||
[[it:Dana Scott]] |
|||
[[ja:デイナ・スコット]] |
|||
[[pl:Dana Scott]] |
|||
[[pt:Dana Scott]] |
|||
[[ro:Dana Scott]] |
|||
[[ru:Скотт, Дана Стюарт]] |
|||
[[sk:Dana Scott]] |
|||
[[sr:Дејна Скот]] |
|||
[[zh:达纳·斯科特]] |
Версия от 12:21, 2 декември 2011
Дейна Стюарт Скот Dana Stewart Scott | |
американски информатик, философи и математик | |
Роден |
11 октомври 1932 г.
|
---|---|
Учил в | Принстънски университет Калифорнийски университет – Бъркли |
Работил в | Калифорнийски университет – Бъркли Чикагски университет Университет „Карнеги Мелън“ |
Награди | Награда Тюринг (1976)[1][2] |
Семейство | |
Уебсайт | www.cs.cmu.edu/~scott |
Дейна Стюарт Скот в Общомедия |
′′′Дана Стюарт Скот′′′ (роден на 11 октомври, 1932 г.) е американски информатик, философ, и логик в университета "Карнеги Мелън", сега той е пенсионер и живее в Бъркли, Калифорния. Научнaтa му кариера обхваща компютърни науки, математика и философия.
Ранна кариера
Той е получил бакалавърска степен по математика от Калифорнийския университет, Бъркли, през 1954 година. Пише докторската си дисертация на сходни последователности от Пълни Теории под надзора на Aлонсо Чърч, докато e в Принстън, и защитава тезата си през 1958 година.
Университета на Калифорния, Бъркли, 1960-1963
Скот поема поста на асистент по математика, в Калифорнийски университет, Бъркли и се занимава с класически въпроси в математическата логика, особено теорията на множествата и Тарски теоритичен модел.
Джон Лемън и Скот започват работа по учебник по модална логика, който бил прекъснат от смъртта на Лемън, през 1966 г.. Скот разпространил непълна монография сред колеги, въвеждане на редица важни техники в семантиката на модел теория, най-важното е представянето на усъвършенстването на каноничнаят модел, който става стандарт.
Станфорд, Амстердам и Принстън, 1963-1972
След първоначалното наблюдение на Робърт Соловай, Скот формулира концепцията на Булеви стойностни модели, като Соловай и Petr Vopěnka направиха приблизително същото в същото време. През 1967 г. Скот публикува статия, доказателство на Независимостта на Continuum Hypothesi, в която той използва Булеви стойностни модели за предоставяне на алтернативен анализ на независимостта на Continuum Hypothesi , предвиден от Пол Коен. Тази работа донася на Leroy P. Steele награда през 1972 година.
Оксфордския университет, 1972-1981
Скот поема поста на професор по математическа логика на Философския факултет на Оксфордския университет през 1972 г.
Семантика на езиците за програмиране
Този период води Скот до работа в тясно сътрудничество с Кристофър Стрейчи, и двамата успяват, въпреки интензивния административен натиск, да контролира голяма част от основните условия на труд за осигуряване на математическа основа за семантиката на езиците за програмиране.
Hагради:
Харолд Pender - награда за прилагането му на понятия от логиката и алгебра за развитието на математическата семантика на езиците за програмиране от 1990 г.;
През 1997 Rolf Schock - награда в логиката и философията на Кралска шведска академия на науките за неговите концептуално ориентирани логични работи, особено създаването на домейн теория.
Болцано - награда за заслуги в областта на математическите науки от Чешката академия на науките от 2001 г.
EATCS Award за 2007 г. за неговия принос към теоретичните компютърни науки.
- Информатици
- Американски математици
- Американски философи
- Логици
- Математици на 20-ти век
- Членове и член-кореспонденти на Националната академия на науките на САЩ
- Университет Карнеги Мелън
- Принстънски университет
- Чикагски университет
- Възпитаници на Калифорнийския университет в Бъркли
- Преподаватели в Калифорнийския университет в Бъркли