Dana Scott
Scott [skɑ:t], Dana, född 1932, amerikansk logiker, professor bland annat i Oxford 1972–81, professor i datavetenskap och matematisk logik vid Carnegie-Mellon University, Pittsburgh, 1981–2003.
Dana Scott är en av upphovsmännnen till domänteorin och har även bidragit till modellteoretiska undersökningar av bland annat axiomatisk mängdteori och matematisk intuitionism.
Källangivelse
Vill du komma åt hela artikeln?
Objektiv och pålitlig kunskap.
Prova det, du kommer att gilla det!
Marknadsledare i Sverige.