YaChudo

Дана Скотт

Переглядів: 0. Оновлено 23.10.2026.

Дана Скотт
англ. Dana Stewart Scott
Дана Скотт (2007)
Дана Скотт (2007)
Народився11 жовтня 1932 (94 роки)
Берклі, Каліфорнія
КраїнаСША США
Діяльністьматематик, інформатик, інженер, тополог, викладач університету, логік, філософ Редагувати інформацію у Вікіданих
Alma materУніверситет Каліфорнії (Берклі),
Принстонський університет
ГалузьІнформатика
ЗакладСтенфордський університет,
Університет Каліфорнії (Берклі),
Оксфордський університет,
Університет Карнегі-Меллон
Науковий ступіньдоктор філософії (1958)
Науковий керівникАлонзо Черч [1]
Аспіранти, докторантиДжек Коупленд
Michael Fourmand
Kenneth Kunend
Angus Macintyred
Ketan Mulmuleyd
Marko Petkovšekd
Фред С. Робертс
David Turnerd[2]
Kosta Došend[2]
William Chesley Roundsd[2]
Jon Barwised[2]
Roy Dyckhoffd[2]
James Daniel Halpernd[2]
Andrej Bauerd[2]
Michael L. Katzd[2]
Carl A. Gunterd[2]
Peter Holger Kraussd[2]
Daniel B. Demareed[2]
Daniel Gallind[2]
Edgar George Kenneth Lopez-Escobard[2]
Peter Perkinsd[2]
Nicolas Daniels Goodmand[2]
Richard Beech Mansfieldd[2]
William Frederick Ogdend[2]
Ljubomir Perkovicd[2]
Lars Birkedald[2]
Kim Ritter Wagnerd[2]
J. Todd Wilsond[2]
Vijay Saraswatd[2]
Jesse Hughesd[2]
Michael B. Smythd[2]
Brian F. Chellasd[2]
Krister Segerbergd[2]
William James Meyersd[2]
Shun-On Adrian Tangd[2]
Jay David Atlasd[2]
Martin K. Daviesd[2]
Robin John Graysond[2]
William Ewaldd[2]
John Cartmelld[2]
Joseph E. Quinseyd[2]
Stephen R. Blameyd[2]
Marcus Giaquintod[2]
Joseph Almogd[2]
Felipe Brachod[2]
David Charles McCartyd[2]
Sidney C. Bailind[2]
Giuseppe Rosolinid[2]
John L. Mummad[2]
Christopher Carlsond[2]
Jeff Heissermand[2] Редагувати інформацію у Вікіданих
ЧленствоНаціональна академія наук США[3]
Європейська академія[4][3]
Фінська академія наук[3]
Американська академія мистецтв і наук[3]
Association for Computing Machinery[5][3]
Американське математичне товариство[6][7]
Kurt Gödel Societyd[8]
AAAS[3]
Британська академія[3]
Нью-Йоркська академія наук[3] Редагувати інформацію у Вікіданих
Відомий завдяки:Теорія автоматів, Денотаційна семантика
У шлюбі зIrene Schreier Scottd[9] Редагувати інформацію у Вікіданих
РодичіОтто Шреєрd[9] Редагувати інформацію у Вікіданих
Нагороди

премія Тюрінга (1976)

грант Гуггенгайма (1978)

премія Гарольда Пендера (1990)

Rolf Schock Prize in Logic and Philosophyd (1997)

Gödel Lecturerd (1991)

EATCS awardd (2007)

премія Стіла (1972)

премія Рольфа Шока (1997)

Дійсний член ACMd (1994)

honorary doctor of the University of Utrechtd (червень 1986)

honorary doctor of the University of Edinburghd (липень 1995)

член Американського математичного товаристваd (2013)

Bernard Bolzano Honorary Medal for Merit in the Mathematical Sciencesd (2001)

Особ. сторінкамова|англ.] [http://www.cs.nyu.edu/cs/faculty/pnueli/]</i>]
CMNS: Дана Скотт у Вікісховищі Редагувати інформацію у Вікіданих

Дана Скотт (англ. Dana Stewart Scott; нар.11 жовтня 1932)  — американський математик та теоретик в галузі інформатики, лауреат премії Тюрінга.

Примітки

  1. ↑ (англ. )Mathematics Genealogy Project
  2. ↑ а б в г д е ж и к л м н п р с т у ф х ц ш щ ю я аа аб ав аг ад ае аж аи ак ал ам ан ап ар ас ат ау аф ах ац Математичний генеалогічний проєкт — 1997.
  3. ↑ а б в г д е ж и Career Highlights for Dana S. Scott — Європейська академія, 2013.
  4. ↑ www.ae-info.org
  5. ↑ https://awards.acm.org/fellows/award-recipients
  6. ↑ http://www.ams.org/fellows_by_year.cgi?year=2013
  7. ↑ http://www.ams.org/news?news_id=1680
  8. ↑ https://kgs.logic.at/organization
  9. ↑ а б Архів історії математики Мактьютор — 1995.

Посилання


США Це незавершена стаття про особу США.
Ви можете допомогти проєкту, виправивши або дописавши її.
науковець Це незавершена стаття про науковця.
Ви можете допомогти проєкту, виправивши або дописавши її.

Джерело: стаття у Вікіпедії та історія редагувань (автори).