Dana Stewart Scott

GPTKB entity

Statements (56)
Predicate Object
gptkbp:instanceOf gptkb:computer_scientist
gptkb:mathematician
gptkb:person
gptkbp:almaMater gptkb:University_of_California,_Berkeley
gptkbp:awardReceived gptkb:Leroy_P._Steele_Prize
gptkb:National_Medal_of_Science
gptkb:Rolf_Schock_Prize_in_Logic_and_Philosophy
Turing Award
gptkbp:birthDate 1932-10-11
gptkbp:birthPlace gptkb:Berkeley,_California,_USA
gptkbp:doctoralAdvisor gptkb:Alonzo_Church
gptkbp:doctoralStudent gptkb:Carl_Jockusch
gptkb:David_Park
gptkb:Edmund_M._Clarke
gptkb:Gordon_Plotkin
gptkb:John_C._Reynolds
gptkb:Michael_O._Rabin
gptkb:Robert_L._Constable
gptkbp:employer gptkb:Carnegie_Mellon_University
gptkb:Princeton_University
gptkb:Stanford_University
gptkb:University_of_California,_Berkeley
gptkb:University_of_Oxford
gptkbp:field gptkb:logic
gptkb:philosophy
computer science
https://www.w3.org/2000/01/rdf-schema#label Dana Stewart Scott
gptkbp:influenced gptkb:David_Park
gptkb:Edmund_M._Clarke
gptkb:Gordon_Plotkin
gptkb:John_C._Reynolds
gptkb:Michael_O._Rabin
gptkb:Robert_L._Constable
gptkbp:influencedBy gptkb:Alan_Turing
gptkb:Alonzo_Church
gptkb:Kurt_Gödel
gptkbp:knownFor gptkb:lambda_calculus
gptkb:logic
gptkb:Scott–Curry_theorem
gptkb:Scott–Potter_set_theory
gptkb:Scott_topology
model theory
denotational semantics
domain theory
gptkbp:memberOf gptkb:American_Academy_of_Arts_and_Sciences
gptkb:American_Mathematical_Society
gptkb:National_Academy_of_Sciences
gptkbp:nationality gptkb:American
gptkbp:notableWork gptkb:A_Proof_of_the_Independence_of_the_Continuum_Hypothesis
gptkb:Outline_of_a_Mathematical_Theory_of_Computation
Domains for Denotational Semantics
gptkbp:spouse gptkb:Irena_Scott
gptkbp:TuringAwardYear gptkb:Michael_O._Rabin
1976
gptkbp:bfsParent gptkb:Dana_Scott
gptkbp:bfsLayer 5