Дейна Скот: Разлика между версии

′′′Дана′′′Дейна Стюарт Скот′′′ ({{lang-en|Dana Scott}}; роден на [[11 октомври,]] [[1932]] г.) е [[Съединени американски щати|американски]] [[Информатика|информатик]], [[философ]], и [[Математическа логика|логик]] в университета [[Университет „Карнеги Мелън“|"Карнеги„Карнеги Мелън"Мелън“]], сега той е пенсионер и живее в Бъркли, Калифорния. Научнaтa му кариера обхваща компютърникомпютърните науки, математикаматематиката и философияфилософията.

Той е получил бакалавърскаБакалавърска степен по математика отполучава в [[Калифорнийски университет, Бъркли|Калифорнийския университет, в Бъркли]], през 1954 годинаг. Пише докторскатаДокторската си дисертация на сходнитема последователности„Сходни отследствия Пълнина Теориизавършените теории“, подготвена под надзоранаучното ръководство на Aлонсо Чърч, докато eзащитава в Принстън,[[Принстънски иуниверситет|Принстънския защитава тезата сиуниверситет]] през 1958 годинаг.

==Университета= наКалифорнийски Калифорния,университет в Бъркли, 1960-1963 ===

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

Джон Лемън и Скот започват работа по учебник по модална логика, койтокоято билпрекъсва прекъснат отзаради смъртта на Лемън, през 1966 г.. Скот разпространилразпространява непълнанезавършената монография сред свои колеги, въвежданекато напо този начин въвежда в обръщение редица важни техники в семантиката на моделмоделната теория, най-важното е представянето на усъвършенстването на каноничнаят модел, който става стандарт.

=== Станфорд, Амстердам и Принстън, 1963-1972 ===

СледСледвайки първоначалнотопървоначалните наблюдениенаблюдения на Робърт Соловей, Скот формулира концепцията на БулевиБулевия стойностнистойностен моделимодел, катотеория, Соловейдо икоято Petrприблизително Vopěnkaпо направихасъщото приблизителновреме същотодостигат вСоловей същотои времеПетр Вопенка. През 1967 г. Скот публикува статия,статията доказателство„Доказателство на независимостта отна Continuumхипотезата Hypothesiза континуума“, в която той използва БулевиБулевия стойностнистойностен моделимодел, за предоставянеда напредложи алтернативен анализ на независимостта на Continuumхипотезата Hypothesiза континуума, предвиденразличен от този на Пол Коен. ТазиТози му труд работаму донася напрез Leroy1972 Pг. Steeleнаградата награда„Лерой през 1972П. годинаСтийл“.

==Оксфордския= Оксфордски университет, 1972-1981 ===

==== Семантика на езиците за програмиране ====

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

== Hагради: ==

Harold* Pender Award1990 - награда „Харолд Пендър“ за прилагането му на понятия от логиката и алгебраалгебрата за развитието на математическата семантика на езиците за програмиране от 1990 г.;