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
|