Dana Scott (original) (raw)

About DBpedia

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.

thumbnail

Property Value
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 (* 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 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í. (cs) دانا سكوت (بالإنجليزية: Dana Scott)‏ عالم حاسوب أمريكي، اشتهر بعمله في مجال علم الحاسوب ورياضياتوفلسفة، فاز مع مايكل رابينبجائزة تورنغ في عام 1976. (ar) Ο Ντέινα Σκοτ (Dana Stewart Scott, 11 Οκτωβρίου, 1932) είναι ομότιμος καθηγητής Πληροφορικής, Φιλοσοφίας και Μαθηματικής Λογικής, στο Πανεπιστήμιο Κάρνεγκι Μέλον, που πλέον ζει στο Μπέρκλεϊ της Καλιφόρνια. Εκπόνησε τη διδακτορική του διατριβή υπό τον Αλόνζο Τσερτς, την οποία υποστήριξε στο Πανεπιστήμιο Πρίνστον το 1958. Ερευνητικά έχει εντρυφήσει στη θεωρία υπολογισμού, και γενικότερα στα μαθηματικά και τη φιλοσοφία, με θεμελιώδεις συνεισφορές στη θεωρία αυτομάτων και τη σημασιολογία γλωσσών προγραμματισμού, καθώς και στην τροπική λογική, την τοπολογία και τη θεωρία κατηγοριών. Για το έργο του έχει τιμηθεί μεταξύ άλλων και με το βραβείο Τούρινγκ. (el) Dana Stewart Scott (* 11. Oktober 1932 in Berkeley, Kalifornien) ist ein US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph, der bedeutende Beiträge zur Automatentheorie, Modelltheorie, axiomatischen Mengenlehre und Semantik der Programmiersprachen geleistet hat. (de) Dana Stewart Scott (born October 11, 1932) is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His work on automata theory earned him the Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has worked also on modal logic, topology, and category theory. (en) Dana Stewart Scott (nacido en 1932) es el Profesor Emérito de Ciencias de la Computación, Filosofía y Lógica Matemática en Carnegie Mellon University; Se encuentra jubilado y vive en Berkeley, California. Su carrera investigadora alcanzó los campos de las Ciencias de la Computación, Matemáticas y Filosofía, y ha sido caracterizada por combinar una preocupación por elucidar conceptos fundamentales rigurosa pero informalmente, al mismo tiempo que afrontaba los difíciles problemas matemáticos que yacen bajo dichos conceptos. Su trabajo sobre teoría de autómatas le hizo ganar el Premio Turing de la ACM en 1976, mientras que su trabajo en colaboración con Christopher Strachey en los años 1970 fijó los cimientos para los enfoques modernos en semántica de lenguajes de programación. Ha trabajado también en lógica modal, topología y teoría de categorías. Es el redactor jefe de la nueva revista Logical Methods in Computer Science (en inglés). (es) Dana Stewart Scott, né le 11 octobre 1932 à Berkeley en Californie, est un mathématicien et informaticien américain. (fr) Dana Stewart Scott (lahir 1932) adalah seorang ilmuwan komputer yang mendapat penghargaan Turing Award pada tahun 1976 atas kontribusinya di bidang . (in) 데이나 스튜어트 스콧(영어: Dana Stewart Scott IPA: [ˈdeɪnə ˈstjuːə(r)t ˈskɒt], 1932~)은 미국의 컴퓨터 과학자·수리논리학자이다. (ko) Dana Stewart Scott (Berkeley, 11 ottobre 1932) è un informatico e matematico statunitense. È stato professore emerito di informatica all', filosofia e logica matematica alla Carnegie Mellon University; ora è in pensione e vive a Berkeley, California. La sua carriera di ricerca ha spaziato tra informatica, matematica e filosofia ed è stata caratterizzata dall'unione dell'illustrazione di concetti fondamentali con rigore informale, con lo sviluppo di problemi matematicamente complessi fondati su questi concetti. Il suo lavoro in teoria degli automi gli fece conseguire l'ACM Turing Award nel 1976, mentre la sua collaborazione con Christopher Strachey, negli anni '70, pose le basi per i moderni approcci alla semantica dei linguaggi di programmazione. Ha lavorato anche sulla logica modale, topologia e teoria delle categorie. È redattore capo della rivista Logical Methods in Computer Science. (it) デイナ・スチュアート・スコット (英語:Dana Stewart Scott、1932年10月11日 - )はアメリカの計算機科学者、数学者、論理学者。数学的に難しい問題についての素養に基づき、非形式的だが厳格な方法で計算機科学・論理学・哲学にまたがる領域の根本的概念を明確化させてきた。オートマトン理論についての業績により1976年にチューリング賞を受賞。1970年代にはクリストファー・ストレイチーと共同でプログラム意味論への新たなアプローチを基礎付けた。様相論理、位相幾何学、圏論などでも業績を残している。 2012年現在は、カーネギーメロン大学で計算機科学と哲学と数理論理学の名誉教授を務めている。事実上引退しており、カリフォルニア州バークレー在住。2005年に創刊した学術誌 Logical Methods in Computer Science の編集長を務めている。 (ja) Dana Stewart Scott (ur. 11 października 1932) – amerykański informatyk, logik, filozof. W 1976 roku wraz z Michaelem Rabinem otrzymał nagrodę Turinga za pracę Finite Automata and Their Decision Problem, w której do teorii automatów wprowadzono maszyny niedeterministyczne. (pl) Да́на Стю́арт Скотт (англ. Dana Stewart Scott, род. 11 октября 1932 года) — американский математик, известный работами в области математической логики и информатики. Исследования Скотта связаны с теорией моделей, теорией автоматов, модальной и интуиционистской логиками, конструктивной математикой и связью между логикой и теорией категорий. Философские интересы лежат в области , философии математики и семантического анализа естественных языков. Сделал крупный вклад в развитие информатики, разработав математическую теорию вычислений. Им была разработана модель бестипового λ-исчисления, для чего была введена специальная топология (позднее названная его именем), вначале на , и впоследствии обобщенная до полных частично упорядоченных множеств. В рамках этой модели развил теорию и модели вычислений, разработал принципы языков программирования, углубил понятие о вычислимости. По состоянию на 2012 год работает и проживает в Беркли, Калифорния. (ru) Dana Stewart Scott (11 oktober 1932) is een Amerikaans emeritus hoogleraar, die onderzoek verricht heeft in de informatica, wiskunde en wijsbegeerte. Samen met Michael Rabin kreeg hij in 1976 de Turing Award voor hun werk op het gebied van de automatentheorie. Hij is vooral bekend van zijn werk op het gebied van de semantiek van programmeertalen, dat hij samen met uitvoerde. (nl) Dana Stewart Scott (Berkeley, 11 de outubro de 1932) é um matemático, lógico, informático e filósofo estadunidense. Contribuiu significativamente para a teoria dos autômatos, teoria dos modelos e semântica de linguagens de programação. (pt) Дана Скотт (англ. Dana Stewart Scott; нар.11 жовтня 1932) — американський математик та теоретик в галузі інформатики, лауреат премії Тюрінга. (uk) 达纳·斯图尔特·斯科特（英語：Dana Stewart Scott，1932年10月11日－），美国科学家，研究领域涉及计算机科学、数学和哲学，1976年图灵奖得主。 (zh)
dbo:academicDiscipline dbr:Mathematics dbr:Computer_science dbr:Philosophy
dbo:award dbr:Rolf_Schock_Prizes dbr:Harold_Pender_Award dbr:Leroy_P._Steele_Prize dbr:Turing_Award dbr:Gödel_Lecture dbr:Tarski_Lectures
dbo:birthDate 1932-10-11 (xsd:date)
dbo:birthPlace dbr:Berkeley,_California
dbo:doctoralAdvisor dbr:Alonzo_Church
dbo:doctoralStudent dbr:David_Turner_(computer_scientist) dbr:Peter_Mosses dbr:Angus_Macintyre dbr:Ketan_Mulmuley dbr:Marko_Petkovšek dbr:Jack_Copeland dbr:Kenneth_Kunen dbr:Fred_S._Roberts dbr:Michael_Fourman dbr:Martin_Davies_(philosopher)
dbo:knownFor dbr:Powerset_construction dbr:Nondeterministic_finite_automaton dbr:Scott's_trick dbr:Scott_domain dbr:Denotational_semantics dbr:Scott_information_system dbr:Logic_of_Computable_Functions dbr:Scott_continuity dbr:Mogensen–Scott_encoding dbr:Automata_theory dbr:Scott-Montague_semantics dbr:Cartesian_monoid dbr:Semantics_of_programming_languages dbr:Modal_μ-calculus dbr:Scott–Potter_set_theory
dbo:thumbnail wiki-commons:Special:FilePath/Scott_Dana_small.jpg?width=300
dbo:wikiPageExternalLink https://books.google.com/books/about/Modal_Logic.html%3Fid=pbb_Asgoq0oC https://web.archive.org/web/20041012130754/http:/floc02.diku.dk/DOMAIN/ https://www.worldcat.org/title/convergent-sequences-of-complete-theories/oclc/83498680 https://www.youtube.com/watch%3Fv=E31qtmAuaVU https://www.youtube.com/watch%3Fv=M2yXOfwo-vc https://www.youtube.com/watch%3Fv=OHHmuU_eRg0 https://www.youtube.com/watch%3Fv=l_wyFxwkZJc http://google.com/books%3Fid=wqktlxHo9wkC http://www-2.cs.cmu.edu/~scott/ http://math.stanford.edu/~feferman/papers/tarskiandcs.pdf http://plato.stanford.edu/entries/prior/ https://archive.org/details/continuouslattic0000unse
dbo:wikiPageID 161875 (xsd:integer)
dbo:wikiPageLength 14008 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID 1108673113 (xsd:integer)
dbo:wikiPageWikiLink dbr:Cambridge_University_Press dbr:Carnegie_Mellon_University dbc:Programming_language_researchers dbr:Powerset_construction dbr:Princeton_University dbr:Royal_Swedish_Academy_of_Sciences dbr:Modal_logic dbr:Model_theory dbr:Nondeterministic_finite_automaton dbr:Scott's_trick dbr:Scott_domain dbr:Berkeley,_California dbr:David_Turner_(computer_scientist) dbr:Denotational_semantics dbc:Lattice_theorists dbc:Rolf_Schock_Prize_laureates dbr:Anita_Burdman_Feferman dbr:Peter_Mosses dbr:Petr_Vopěnka dbr:Richard_Montague dbr:University_of_California,_Berkeley dbr:University_of_Chicago dbr:University_of_Oxford dbr:Rolf_Schock_Prizes dbc:Living_people dbc:Semanticists dbr:Mathematical_logic dbr:Mathematics dbr:Scott_information_system dbr:Christopher_Strachey dbr:Claremont,_California dbc:Gödel_Lecturers dbc:Tarski_lecturers dbr:Gordon_Plotkin dbr:Continuum_hypothesis dbr:Angus_Macintyre dbr:MIT_Press dbr:Stanford dbr:Stanford_Encyclopedia_of_Philosophy dbr:Computational_complexity_theory dbr:Computer_science dbr:Fellow dbr:Harold_Pender_Award dbr:John_Lemmon dbr:Ketan_Mulmuley dbr:Kripke_semantics dbr:Leroy_P._Steele_Prize dbr:Theoretical_computer_science dbr:Marko_Petkovšek dbr:Bachelor_of_Arts dbc:1932_births dbc:20th-century_American_engineers dbc:20th-century_American_mathematicians dbc:21st-century_American_engineers dbc:21st-century_American_mathematicians dbc:21st-century_American_scientists dbc:American_computer_scientists dbc:Engineers_from_California dbc:Mathematical_logicians dbc:Members_of_the_United_States_National_Academy_of_Sciences dbc:Princeton_University_alumni dbc:Scientists_from_California dbc:UC_Berkeley_College_of_Letters_and_Science_alumni dbc:University_of_California,_Berkeley_College_of_Letters_and_Science_faculty dbc:University_of_Chicago_faculty dbc:20th-century_American_scientists dbc:Carnegie_Mellon_University_faculty dbc:Fellows_of_Merton_College,_Oxford dbc:Turing_Award_laureates dbr:Topology dbr:Turing_Award dbr:Doctor_of_Philosophy dbr:Domain_theory dbr:Gödel_Lecture dbr:Logic_of_Computable_Functions dbr:Alfred_Tarski dbr:Alonzo_Church dbr:American_Mathematical_Society dbr:Czech_Academy_of_Sciences dbr:Scott_continuity dbr:Jack_Copeland dbr:EATCS dbr:Paul_Cohen_(mathematician) dbr:Arthur_Prior dbr:Association_for_Computing_Machinery dbc:Fellows_of_the_Association_for_Computing_Machinery dbc:Fellows_of_the_American_Mathematical_Society dbc:Model_theorists dbc:Set_theorists dbc:Topologists dbc:Formal_methods_people dbc:Modal_logicians dbc:American_logicians dbc:People_from_Berkeley,_California dbr:Jerzy_Łoś dbr:Kenneth_Kunen dbr:Laurence_Jonathan_Cohen dbr:Mogensen–Scott_encoding dbr:Automata_theory dbr:Boolean-valued_model dbr:Philosophy dbr:Solomon_Feferman dbr:Fred_S._Roberts dbr:Tense_logic dbr:Scott-Montague_semantics dbr:Merton_College,_Oxford dbr:Michael_Fourman dbr:Michael_O._Rabin dbr:Cartesian_closed_category dbr:Cartesian_monoid dbr:Category_theory dbr:Semantics_of_programming_languages dbr:Set_theory dbr:Modal_μ-calculus dbr:Martin_Davies_(philosopher) dbr:Scott–Potter_set_theory dbr:Tarski_Lectures dbr:Robert_Solovay dbr:Rolf_Schock_Prize dbr:IEEE_Press dbr:DLMPST dbr:Bolzano_Prize dbr:Equilogical_spaces
dbp:after dbr:Laurence_Jonathan_Cohen
dbp:before dbr:Jerzy_Łoś
dbp:birthDate 1932-10-11 (xsd:date)
dbp:birthPlace dbr:Berkeley,_California
dbp:date May 2017 (en)
dbp:doctoralAdvisor dbr:Alonzo_Church
dbp:doctoralStudents (en) David Turner (en) Martin Davies (en) Angus Macintyre (en) Fred S. Roberts (en) Jack Copeland (en) Kenneth Kunen (en) Ketan Mulmuley (en) Marko Petkovšek (en) Michael Fourman (en) Peter Mosses (en)
dbp:education Princeton University (en) UC Berkeley (en) (en)
dbp:field Computer science (en) Mathematics (en) Philosophy (en) (en)
dbp:knownFor Automata theory (en) (en) Cartesian monoid (en) Logic of Computable Functions (en) Modal μ-calculus (en) Nondeterministic finite automaton (en) Rabin–Scott powerset construction (en) Scott domain (en) Scott encoding (en) Scott information system (en) Scott topology (en) Scott's trick (en) Scott-Montague semantics (en) Scott–Potter set theory (en) Scott–Strachey semantics (en) Semantics of programming languages (en)
dbp:name Dana Stewart Scott (en)
dbp:prizes (en) Turing Award (en) Leroy P. Steele Prize (en) Gödel Lecture (en) Harold Pender Award (en) Rolf Schock Prize (en) Tarski Lectures (en)
dbp:reason vague (en)
dbp:thesisTitle Convergent Sequences of Complete Theories (en)
dbp:thesisUrl https://www.worldcat.org/title/convergent-sequences-of-complete-theories/oclc/83498680
dbp:thesisYear 1958 (xsd:integer)
dbp:title President of the DLMPST/IUHPST (en)
dbp:wikiPageUsesTemplate dbt:Authority_control dbt:Cite_book dbt:Clarify dbt:Doi dbt:ISBN dbt:More_footnotes dbt:Quote dbt:Reflist dbt:S-end dbt:S-start dbt:Short_description dbt:Small dbt:Succession_box dbt:Birth_date_and_age dbt:Schock_Prize_laureates dbt:MathGenealogy dbt:EATCS_Award_laureates dbt:Infobox_scientist dbt:S-aca dbt:Opinion dbt:AcademicSearch dbt:Turing_award
dbp:wordnet_type http://www.w3.org/2006/03/wn/wn20/instances/synset-scientist-noun-1
dbp:workInstitution Carnegie Mellon University (en) UC Berkeley (en) University of Oxford (en) (en) Stanford (en)
dbp:years 1983 (xsd:integer)
dcterms:subject dbc:Programming_language_researchers dbc:Lattice_theorists dbc:Rolf_Schock_Prize_laureates dbc:Living_people dbc:Semanticists dbc:Gödel_Lecturers dbc:Tarski_lecturers dbc:1932_births dbc:20th-century_American_engineers dbc:20th-century_American_mathematicians dbc:21st-century_American_engineers dbc:21st-century_American_mathematicians dbc:21st-century_American_scientists dbc:American_computer_scientists dbc:Engineers_from_California dbc:Mathematical_logicians dbc:Members_of_the_United_States_National_Academy_of_Sciences dbc:Princeton_University_alumni dbc:Scientists_from_California dbc:UC_Berkeley_College_of_Letters_and_Science_alumni dbc:University_of_California,_Berkeley_College_of_Letters_and_Science_faculty dbc:University_of_Chicago_faculty dbc:20th-century_American_scientists dbc:Carnegie_Mellon_University_faculty dbc:Fellows_of_Merton_College,_Oxford dbc:Turing_Award_laureates dbc:Fellows_of_the_Association_for_Computing_Machinery dbc:Fellows_of_the_American_Mathematical_Society dbc:Model_theorists dbc:Set_theorists dbc:Topologists dbc:Formal_methods_people dbc:Modal_logicians dbc:American_logicians dbc:People_from_Berkeley,_California
gold:hypernym dbr:Professor
schema:sameAs http://viaf.org/viaf/65289661
rdf:type owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 yago:WikicatAmericanComputerScientists yago:WikicatAmericanInformationTheorists yago:WikicatAmericanLogicians yago:WikicatAmericanMathematicians yago:WikicatAmericanPeople yago:WikicatAmericanPhilosophers dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person yago:WikicatLatticeTheorists yago:WikicatLivingPeople yago:WikicatLogicians yago:WikicatMathematicalLogicians yago:WikicatModalLogicians yago:WikicatModelTheorists yago:WikicatTuringAwardLaureates yago:WikicatPeopleFromBerkeley,California yago:WikicatRolfSchockPrizeLaureates yago:WikicatSemanticists yago:WikicatSetTheorists wikidata:Q901 yago:Acquirer109764201 yago:Adult109605289 yago:Alumnus109786338 yago:Associate109816771 yago:CausalAgent100007347 yago:Colleague109935990 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Educator110045713 yago:Expert109617867 yago:Honoree110183757 yago:Intellectual109621545 yago:Laureate110249011 yago:Lector110252222 yago:Linguist110264437 yago:LivingThing100004258 yago:Logician110269785 yago:Mathematician110301261 yago:Object100002684 yago:Organism100004475 yago:Peer109626238 yago:Person100007846 yago:Philosopher110423589 yago:PhysicalEntity100001930 yago:Professional110480253 yago:Recipient109627906 yago:ResearchWorker110523076 yago:WikicatGuggenheimFellows yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Semanticist110577820 yago:Theorist110706812 yago:Whole100003553 yago:Wikicat20th-centuryMathematicians yago:WikicatAlumniOfMertonCollege,Oxford yago:WikicatFellowsOfMertonCollege,Oxford yago:WikicatFellowsOfTheAmericanAcademyOfArtsAndSciences yago:WikicatFellowsOfTheAmericanAssociationForTheAdvancementOfScience yago:WikicatFellowsOfTheAmericanMathematicalSociety yago:WikicatFellowsOfTheAssociationForComputingMachinery yago:WikicatFellowsOfTheBritishAcademy yago:WikicatFormalMethodsPeople yago:WikicatPrincetonUniversityAlumni yago:WikicatProgrammingLanguageResearchers yago:WikicatTarskiLecturers umbel-rc:PersonWithOccupation umbel-rc:Scientist
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 (* 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 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í. (cs) دانا سكوت (بالإنجليزية: Dana Scott)‏ عالم حاسوب أمريكي، اشتهر بعمله في مجال علم الحاسوب ورياضياتوفلسفة، فاز مع مايكل رابينبجائزة تورنغ في عام 1976. (ar) Dana Stewart Scott (* 11. Oktober 1932 in Berkeley, Kalifornien) ist ein US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph, der bedeutende Beiträge zur Automatentheorie, Modelltheorie, axiomatischen Mengenlehre und Semantik der Programmiersprachen geleistet hat. (de) Dana Stewart Scott (born October 11, 1932) is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His work on automata theory earned him the Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has worked also on modal logic, topology, and category theory. (en) Dana Stewart Scott, né le 11 octobre 1932 à Berkeley en Californie, est un mathématicien et informaticien américain. (fr) Dana Stewart Scott (lahir 1932) adalah seorang ilmuwan komputer yang mendapat penghargaan Turing Award pada tahun 1976 atas kontribusinya di bidang . (in) 데이나 스튜어트 스콧(영어: Dana Stewart Scott IPA: [ˈdeɪnə ˈstjuːə(r)t ˈskɒt], 1932~)은 미국의 컴퓨터 과학자·수리논리학자이다. (ko) デイナ・スチュアート・スコット (英語:Dana Stewart Scott、1932年10月11日 - )はアメリカの計算機科学者、数学者、論理学者。数学的に難しい問題についての素養に基づき、非形式的だが厳格な方法で計算機科学・論理学・哲学にまたがる領域の根本的概念を明確化させてきた。オートマトン理論についての業績により1976年にチューリング賞を受賞。1970年代にはクリストファー・ストレイチーと共同でプログラム意味論への新たなアプローチを基礎付けた。様相論理、位相幾何学、圏論などでも業績を残している。 2012年現在は、カーネギーメロン大学で計算機科学と哲学と数理論理学の名誉教授を務めている。事実上引退しており、カリフォルニア州バークレー在住。2005年に創刊した学術誌 Logical Methods in Computer Science の編集長を務めている。 (ja) Dana Stewart Scott (ur. 11 października 1932) – amerykański informatyk, logik, filozof. W 1976 roku wraz z Michaelem Rabinem otrzymał nagrodę Turinga za pracę Finite Automata and Their Decision Problem, w której do teorii automatów wprowadzono maszyny niedeterministyczne. (pl) Dana Stewart Scott (11 oktober 1932) is een Amerikaans emeritus hoogleraar, die onderzoek verricht heeft in de informatica, wiskunde en wijsbegeerte. Samen met Michael Rabin kreeg hij in 1976 de Turing Award voor hun werk op het gebied van de automatentheorie. Hij is vooral bekend van zijn werk op het gebied van de semantiek van programmeertalen, dat hij samen met uitvoerde. (nl) Dana Stewart Scott (Berkeley, 11 de outubro de 1932) é um matemático, lógico, informático e filósofo estadunidense. Contribuiu significativamente para a teoria dos autômatos, teoria dos modelos e semântica de linguagens de programação. (pt) Дана Скотт (англ. Dana Stewart Scott; нар.11 жовтня 1932) — американський математик та теоретик в галузі інформатики, лауреат премії Тюрінга. (uk) 达纳·斯图尔特·斯科特（英語：Dana Stewart Scott，1932年10月11日－），美国科学家，研究领域涉及计算机科学、数学和哲学，1976年图灵奖得主。 (zh) Ο Ντέινα Σκοτ (Dana Stewart Scott, 11 Οκτωβρίου, 1932) είναι ομότιμος καθηγητής Πληροφορικής, Φιλοσοφίας και Μαθηματικής Λογικής, στο Πανεπιστήμιο Κάρνεγκι Μέλον, που πλέον ζει στο Μπέρκλεϊ της Καλιφόρνια. Εκπόνησε τη διδακτορική του διατριβή υπό τον Αλόνζο Τσερτς, την οποία υποστήριξε στο Πανεπιστήμιο Πρίνστον το 1958. Ερευνητικά έχει εντρυφήσει στη θεωρία υπολογισμού, και γενικότερα στα μαθηματικά και τη φιλοσοφία, με θεμελιώδεις συνεισφορές στη θεωρία αυτομάτων και τη σημασιολογία γλωσσών προγραμματισμού, καθώς και στην τροπική λογική, την τοπολογία και τη θεωρία κατηγοριών. (el) Dana Stewart Scott (nacido en 1932) es el Profesor Emérito de Ciencias de la Computación, Filosofía y Lógica Matemática en Carnegie Mellon University; Se encuentra jubilado y vive en Berkeley, California. Su carrera investigadora alcanzó los campos de las Ciencias de la Computación, Matemáticas y Filosofía, y ha sido caracterizada por combinar una preocupación por elucidar conceptos fundamentales rigurosa pero informalmente, al mismo tiempo que afrontaba los difíciles problemas matemáticos que yacen bajo dichos conceptos. Su trabajo sobre teoría de autómatas le hizo ganar el Premio Turing de la ACM en 1976, mientras que su trabajo en colaboración con Christopher Strachey en los años 1970 fijó los cimientos para los enfoques modernos en semántica de lenguajes de programación. Ha trabajado t (es) Dana Stewart Scott (Berkeley, 11 ottobre 1932) è un informatico e matematico statunitense. È stato professore emerito di informatica all', filosofia e logica matematica alla Carnegie Mellon University; ora è in pensione e vive a Berkeley, California. La sua carriera di ricerca ha spaziato tra informatica, matematica e filosofia ed è stata caratterizzata dall'unione dell'illustrazione di concetti fondamentali con rigore informale, con lo sviluppo di problemi matematicamente complessi fondati su questi concetti. È redattore capo della rivista Logical Methods in Computer Science. (it) Да́на Стю́арт Скотт (англ. Dana Stewart Scott, род. 11 октября 1932 года) — американский математик, известный работами в области математической логики и информатики. Исследования Скотта связаны с теорией моделей, теорией автоматов, модальной и интуиционистской логиками, конструктивной математикой и связью между логикой и теорией категорий. Философские интересы лежат в области , философии математики и семантического анализа естественных языков. По состоянию на 2012 год работает и проживает в Беркли, Калифорния. (ru)
rdfs:label Dana Scott (en) دانا سكوت (ar) Dana Scott (ca) Dana Scott (cs) Dana Scott (de) Ντέινα Σκοτ (el) Dana Scott (eo) Dana Scott (es) Dana S. Scott (fr) Dana Scott (in) Dana Scott (it) デイナ・スコット (ja) 데이나 스콧 (ko) Dana Scott (nl) Dana Scott (pl) Dana Scott (pt) Скотт, Дана (ru) 达纳·斯科特 (zh) Дана Скотт (uk)
owl:sameAs freebase:Dana Scott http://d-nb.info/gnd/11396532X http://d-nb.info/gnd/151384517 https://dblp.org/pid/s/DanaSScott wikidata:Dana Scott http://data.bibliotheken.nl/id/thes/p069584737 dbpedia-ar:Dana Scott http://arz.dbpedia.org/resource/دانا_سكوت dbpedia-az:Dana Scott http://azb.dbpedia.org/resource/دینا_اسکات dbpedia-be:Dana Scott dbpedia-bg:Dana Scott http://bn.dbpedia.org/resource/ডানা_স্টুয়ার্ট_স্কট dbpedia-ca:Dana Scott dbpedia-cs:Dana Scott dbpedia-de:Dana Scott dbpedia-el:Dana Scott dbpedia-eo:Dana Scott dbpedia-es:Dana Scott dbpedia-fa:Dana Scott dbpedia-fi:Dana Scott dbpedia-fr:Dana Scott dbpedia-gl:Dana Scott http://ht.dbpedia.org/resource/Dana_Scott dbpedia-id:Dana Scott dbpedia-it:Dana Scott dbpedia-ja:Dana Scott dbpedia-ko:Dana Scott http://mg.dbpedia.org/resource/Dana_S._Scott dbpedia-nl:Dana Scott dbpedia-pl:Dana Scott dbpedia-pt:Dana Scott dbpedia-ro:Dana Scott dbpedia-ru:Dana Scott dbpedia-sh:Dana Scott dbpedia-sk:Dana Scott dbpedia-sr:Dana Scott dbpedia-tr:Dana Scott dbpedia-uk:Dana Scott dbpedia-zh:Dana Scott https://global.dbpedia.org/id/4ccQr http://viaf.org/viaf/65289661 yago-res:Dana Scott http://d-nb.info/gnd/1090819455
prov:wasDerivedFrom wikipedia-en:Dana_Scott?oldid=1108673113&ns=0
foaf:depiction wiki-commons:Special:FilePath/Scott_Dana_small.jpg
foaf:isPrimaryTopicOf wikipedia-en:Dana_Scott
foaf:name Dana Stewart Scott (en)
is dbo:doctoralAdvisor of dbr:Peter_Mosses dbr:Angus_Macintyre dbr:Jack_Copeland dbr:Kenneth_Kunen dbr:Michael_Fourman
is dbo:doctoralStudent of dbr:Alonzo_Church
is dbo:wikiPageRedirects of dbr:D._S._Scott dbr:Dana_S._Scott dbr:Dana_Stewart_Scott
is dbo:wikiPageWikiLink of dbr:Categorical_logic dbr:Powerset_construction dbr:Programming_Computable_Functions dbr:Robert_Taylor_(computer_scientist) dbr:Scott_Draves dbr:List_of_University_of_California,_Berkeley_alumni dbr:List_of_University_of_California,_Berkeley_faculty dbr:List_of_alumni_of_Merton_College,_Oxford dbr:List_of_computer_scientists dbr:List_of_fellows_of_the_Association_for_Computing_Machinery dbr:List_of_fellows_of_the_British_Academy_elected_in_the_1970s dbr:Modal_logic dbr:Nondeterministic_finite_automaton dbr:Scott_domain dbr:1932_in_philosophy dbr:Denotational_semantics dbr:Applied_category_theory dbr:History_of_the_Actor_model dbr:List_of_important_publications_in_theoretical_computer_science dbr:List_of_philosophers_born_in_the_20th_century dbr:List_of_pioneers_in_computer_science dbr:Per_Martin-Löf dbr:Peter_Mosses dbr:Unbounded_nondeterminism dbr:Index_of_philosophy_articles_(D–H) dbr:Intermediate_logic dbr:Intersection_non-emptiness_problem dbr:Jane_Kister dbr:L._Jonathan_Cohen dbr:Let_expression dbr:List_of_logicians dbr:List_of_members_of_the_National_Academ...s_(computer_and_information_sciences) dbr:List_of_people_by_Erdős_number dbr:List_of_set_theory_topics dbr:Combinatory_logic dbr:Measurable_cardinal dbr:Pumping_lemma_for_regular_languages dbr:Scott–Curry_theorem dbr:Timeline_of_algorithms dbr:1997_in_philosophy dbr:Christopher_Strachey dbr:Glossary_of_set_theory dbr:Constructive_set_theory dbr:Ramified_forcing dbr:Operational_semantics dbr:1976_in_science dbr:Andrzej_Grzegorczyk dbr:Angus_Macintyre dbr:Anne_C._Morel dbr:Stanford_University dbr:Computable_topology dbr:John_Lemmon dbr:Ketan_Mulmuley dbr:Programming_language_theory dbr:Marko_Petkovšek dbr:Pentomino dbr:Turing_Award dbr:Type_theory dbr:UC_Berkeley_College_of_Engineering dbr:William_Lawvere dbr:Domain_theory dbr:Gödel's_ontological_proof dbr:Gödel_Lecture dbr:Large_cardinal dbr:Lawson_topology dbr:List_of_American_mathematicians dbr:List_of_Carnegie_Mellon_University_people dbr:Logic_for_Computable_Functions dbr:Logic_of_Computable_Functions dbr:Logical_Methods_in_Computer_Science dbr:Logics_for_computability dbr:Alfred_Tarski dbr:Alonzo_Church dbr:Dana_(given_name) dbr:Forcing_(mathematics) dbr:Cardinal_assignment dbr:Cardinal_number dbr:Four-valued_logic dbr:Scott_continuity dbr:List_of_Honorary_Fellows_of_Merton_College,_Oxford dbr:List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers dbr:List_of_Miller_Research_Fellows dbr:List_of_Stanford_University_people dbr:Predicate_functor_logic dbr:Heyting_algebra dbr:International_Union_of_History_and_Philosophy_of_Science dbr:Jack_Copeland dbr:State_complexity dbr:Arturo_Carsetti dbr:ACM_SIGLOG dbr:Jerzy_Łoś dbr:Kenneth_Kunen dbr:Lambda_calculus dbr:Mogensen–Scott_encoding dbr:Association_for_Symbolic_Logic dbr:Automata_theory dbr:Boolean-valued_model dbr:Boolean_algebra_(structure) dbr:Fred_S._Roberts dbr:D._S._Scott dbr:Merton_College,_Oxford dbr:Michael_Fourman dbr:Michael_O._Rabin dbr:Carnegie_Mellon_School_of_Computer_Science dbr:Cartesian_monoid dbr:Chalfont_Road dbr:Semën_Samsonovich_Kutateladze dbr:Modal_μ-calculus dbr:MANIAC_I dbr:Martin_Davies_(philosopher) dbr:Singular_cardinals_hypothesis dbr:Otto_Schreier dbr:Scott_(surname) dbr:Neighborhood_semantics dbr:Implementation_of_mathematics_in_set_theory dbr:Theory_of_conjoint_measurement dbr:Scott–Potter_set_theory dbr:Stanford_University_Computer_Science dbr:Non-well-founded_set_theory dbr:Non-wellfounded_mereology dbr:The_Higher_Infinite dbr:Two-way_finite_automaton dbr:Dana_S._Scott dbr:Dana_Stewart_Scott
is dbp:after of dbr:Jerzy_Łoś
is dbp:before of dbr:L._Jonathan_Cohen
is dbp:doctoralAdvisor of dbr:Peter_Mosses dbr:Angus_Macintyre dbr:Jack_Copeland dbr:Kenneth_Kunen
is foaf:primaryTopic of wikipedia-en:Dana_Scott