Dana Stewart Scott (nascut l'11 d'octubre de 1932) és professor emèrit de la càtedra Hillman d'informàtica, filosofia i lògica matemàtica de la Carnegie Mellon; ara està retirat i viu a Berkeley (Califòrnia). La seva carrera com a investigador va comprendre informàtica, les matemàtiques i la filosofia. La seva feina en teoria d'autòmats li va fer guanyar el Premi Turing el 1976, mentre que la seva feina en col·laboració amb Christopher Strachey els anys 1970 va posar els fonaments de la semàntica de llenguatges de programació. També ha treballat en lògica modal, topologia i teoria de categories.

Property Value
prop-ca:almaMater
prop-ca:conegutPer
prop-ca:direccioTesi
prop-ca:estudiantsDoctorals
  • David Turner
  • Angus Macintyre
  • Fred S. Roberts
  • Jack Copeland
  • Kenneth Kunen
  • Ketan Mulmuley
  • Marko Petkovšek
  • Michael Fourman
prop-ca:llocNaixement
prop-ca:nacionalitat
prop-ca:nom
  • Dana Stewart Scott
prop-ca:ocupacio
prop-ca:organitzacio
prop-ca:premis
  • Premi Turing
  • Harold Pender Award
  • Premi Leroy P. Steele
  • Premis Rolf Schock en Lògica i Filosofia
prop-ca:tesi
  • Convergent Sequences of Complete Theories
prop-ca:tesiAny
  • 1958 (xsd:integer)
prop-ca:tipusInfotaula
  • científic
dbo:abstract
  • Dana Stewart Scott (nascut l'11 d'octubre de 1932) és professor emèrit de la càtedra Hillman d'informàtica, filosofia i lògica matemàtica de la Carnegie Mellon; ara està retirat i viu a Berkeley (Califòrnia). La seva carrera com a investigador va comprendre informàtica, les matemàtiques i la filosofia. La seva feina en teoria d'autòmats li va fer guanyar el Premi Turing el 1976, mentre que la seva feina en col·laboració amb Christopher Strachey els anys 1970 va posar els fonaments de la semàntica de llenguatges de programació. També ha treballat en lògica modal, topologia i teoria de categories. (ca)
  • Dana Stewart Scott (nascut l'11 d'octubre de 1932) és professor emèrit de la càtedra Hillman d'informàtica, filosofia i lògica matemàtica de la Carnegie Mellon; ara està retirat i viu a Berkeley (Califòrnia). La seva carrera com a investigador va comprendre informàtica, les matemàtiques i la filosofia. La seva feina en teoria d'autòmats li va fer guanyar el Premi Turing el 1976, mentre que la seva feina en col·laboració amb Christopher Strachey els anys 1970 va posar els fonaments de la semàntica de llenguatges de programació. També ha treballat en lògica modal, topologia i teoria de categories. (ca)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 1380549 (xsd:integer)
dbo:wikiPageRevisionID
  • 17561490 (xsd:integer)
dct:subject
rdfs:comment
  • Dana Stewart Scott (nascut l'11 d'octubre de 1932) és professor emèrit de la càtedra Hillman d'informàtica, filosofia i lògica matemàtica de la Carnegie Mellon; ara està retirat i viu a Berkeley (Califòrnia). La seva carrera com a investigador va comprendre informàtica, les matemàtiques i la filosofia. La seva feina en teoria d'autòmats li va fer guanyar el Premi Turing el 1976, mentre que la seva feina en col·laboració amb Christopher Strachey els anys 1970 va posar els fonaments de la semàntica de llenguatges de programació. També ha treballat en lògica modal, topologia i teoria de categories. (ca)
  • Dana Stewart Scott (nascut l'11 d'octubre de 1932) és professor emèrit de la càtedra Hillman d'informàtica, filosofia i lògica matemàtica de la Carnegie Mellon; ara està retirat i viu a Berkeley (Califòrnia). La seva carrera com a investigador va comprendre informàtica, les matemàtiques i la filosofia. La seva feina en teoria d'autòmats li va fer guanyar el Premi Turing el 1976, mentre que la seva feina en col·laboració amb Christopher Strachey els anys 1970 va posar els fonaments de la semàntica de llenguatges de programació. També ha treballat en lògica modal, topologia i teoria de categories. (ca)
rdfs:label
  • Dana Scott (ca)
  • Dana Scott (ca)
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is prop-ca:estudiantsDoctorals of
is foaf:primaryTopic of