Dana Scott

Dana Stewart Scott
Dana Stewart Scott
Narození	11. října 1932 (92 let); Berkeley, Kalifornie, USA
Alma mater	University of California, Berkeley, Princeton University
Pracoviště	University of California, Berkeley, Oxfordská univerzita, Univerzita Carnegie Mellon
Obory	informatika, matematika, filosofie
Ocenění	Turingova cena
Manžel(ka)	Irene Schreier Scott
Příbuzní	Otto Schreier (tchán)
Web	www.cs.cmu.edu/~scott
	Některá data mohou pocházet z datové položky.

Dana Stewart Scott (* 11. října 1932, Berkeley, USA) je americký informatik, matematik, logik a filosof. V roce 1976 získal společně s Michaelem O. Rabinem Turingovu cenu za práci v oblasti teorie automatů. Výsledkem jeho spolupráce s Christopherem Stracheyem bylo položení základů moderního přístupu k sémantice programovacích jazyků. Pracoval též na poli modální logiky, topologie a teorie kategorií.

Odkazy

Reference

V tomto článku byl použit překlad textu z článku Dana Scott na slovenské Wikipedii.

↑ MacTutor History of Mathematics archive. Dostupné online.

Externí odkazy

Obrázky, zvuky či videa k tématu Dana Scott na Wikimedia Commons
Dana Scott na Mathematics Genealogy Project (anglicky)

Pahýl

Tento článek je příliš stručný nebo postrádá důležité informace.
Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.

[aa3958a3e854f5d9cd5124f434f48423ee226da3-1] MacTutor History of Mathematics archive. Dostupné online.

[1]

Dana Stewart Scott

Narození	11. října 1932 (92 let) Berkeley, Kalifornie, USA
Alma mater	University of California, Berkeley, Princeton University
Pracoviště	University of California, Berkeley, Oxfordská univerzita, Univerzita Carnegie Mellon
Obory	informatika, matematika, filosofie
Ocenění	Turingova cena
Manžel(ka)	Irene Schreier Scott
Příbuzní	Otto Schreier (tchán)^[1]
Web	www.cs.cmu.edu/~scott
Některá data mohou pocházet z datové položky.