Category:Dana Scott

Aus Wikimedia Commons, dem freien Medienarchiv
Zur Navigation springen Zur Suche springen
English: Dana Stewart Scott (born 1932) is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University.
Deutsch: Dana Stewart Scott (* 1932) ist ein US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph, der bedeutende Beiträge zur Automatentheorie, Modelltheorie und Semantik der Programmiersprachen geleistet hat.
<nowiki>Dana Scott; Dana Scott; Dana Scott; Дана Скотт; Dana Scott; Dana Scott; Дана Скот; دانا اسکات; 达纳·斯科特; Dana Scott; Dana Scott; デイナ・スコット; Dana S. Scott; دانا سكوت; דיינה סקוט; Dana Scott; Dana Scott; Dana Scott; Dana Scott; Dana Scott; ডানা স্টুয়ার্ট স্কট; Dana S. Scott; Dana Scott; Dana Scott; Dana Scott; Dana Scott; Дейна Скот; Dana Scott; Dana Scott; Dana Scott; Dana Scott; Dana Scott; Dana Scott; دینا اسکات; Дејна Скот; Dana Scott; Dana Scott; Dana Scott; Дана Скотт; Dana Scott; Dana Scott; Dana Scott; Dana Skott; 데이나 스콧; Dana Scott; Dana Scott; Dana Scott; Dana Scott; دانا سكوت; Ντέινα Σκοτ; Dana Scott; informatico e matematico statunitense; আমেরিকান গণিতবিদ এবং কম্পিউটার বিজ্ঞানী; mathématicien et informaticien américain; matemàtic, lògic, informàtic i filòsof estatunidenc; US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph; matamaiticeoir agus ríomheolaí Meiriceánach; ریاضی‌دان، دانشمند علوم کامپیوتر، و مهندس آمریکایی; amerikansk matematiker, informatiker og ingeniør; Amerikalı matematikçi ve bilgisayar bilimcisi; アメリカの計算機科学者、数学者、論理学者; американский математик и информатик; amerikansk matematiker, datavetare och ingenjör; amerikansk matematikar, informatikar og ingeniør; amerikansk matematiker, informatiker og ingeniør; Amerikaans wiskundige; 美國科學家; americký matematik a vysokoškolský pedagog zaměřený na matematickou logiku, teorii automatů a sémantiku programovacích jazyků; ಗಣಿತಜ್ಞ; United States of America karimba ŋun nyɛ doo; American mathematician and computer scientist; usona komputikisto kaj matematikisto; 美国科学家; matemático y científico de la computación estadounidense; Dana Stewart Scott; Dana S. Scott; Dana S. Scott; Dana Stewart Scott; Dana Stewart Scott; Dana Stewart Scott; Dana Stewart Scott; Dana Stewart Scott; Dana Stewart Scott; Dana Stewart Scott; Dana S. Scott; Скотт, Дана; Dana Stewart Scott; Dana Stewart Scott; Dana S. Scott; Dana Stewart Scott; Dana Stewart Scott; Dana S. Scott; Dana Stewart Scott; Dana Stewart Scott; Dana Stewart Scott</nowiki>
Dana Scott 
US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph
Medium hochladen
Name in Muttersprache
  • Dana Stewart Scott
Geburtsdatum11. Oktober 1932
Berkeley
Land der Staatsangehörigkeit
Besuchte Bildungseinrichtung
Promotionsbetreuer
  • Alonzo Church
Doktorand
  • Jack Copeland
  • Michael Fourman
  • Kenneth Kunen
  • Angus Macintyre
  • Ketan Mulmuley
  • Marko Petkovšek
  • Fred S. Roberts
  • David Turner
  • Kosta Došen
  • William Chesley Rounds
  • Jon Barwise
  • Roy Dyckhoff
  • James Daniel Halpern
  • Andrej Bauer
  • Michael L. Katz
  • Carl A. Gunter
  • Peter Holger Krauss
  • Daniel B. Demaree
  • Daniel Gallin
  • Edgar George Kenneth Lopez-Escobar
Tätigkeit
Arbeitgeber
Mitglied von
Arbeitsgebiet
Ehepartner(in)
  • Irene Schreier Scott
Verwandte
Auszeichnung
  • Turing Award (1976)
  • Guggenheim-Stipendium (1978)
  • Harold Pender Award (1990)
  • Rolf Schock Prize in Logic and Philosophy (1997)
  • Gödel-Lecturer (1991)
  • EATCS-Award (2007)
  • Leroy P. Steele Prize (1972)
  • Rolf-Schock-Preis (1997)
  • ACM Fellow (1994)
  • Ehrendoktor der Universität Utrecht
  • Ehrendoktor der Universität von Edinburgh
  • Fellow of the American Mathematical Society (2013)
offizielle Website
Normdatei
Wikidata Q49823
ISNI: 0000000110680677
VIAF-Kennung: 65289661
GND-Kennung: 1090819455
LCAuth-Kennung: n79118951
BnF-Kennung: 16034934c
IdRef-Normdatenkennung: 082943141
NLA-Kennung: 35435763
NKČR-AUT-Kennung: xx0267847
NLI-Kennung (Israel): 000305106
NTA-Kennung: 069584737
BIBSYS-Kennung: 90601455, 90124993
NUKAT-Kennung: n99023766
NLP-Kennung (Polen): a0000002340200
PLWABN-Kennung: 9810618466405606
J9U-Kennung der Israelischen Nationalbibliothek: 987007299816205171
NACSIS-CAT-Autor-ID: DA00234668
MGP-ID: 8024
Infoboxdaten auf Wikidata bearbeiten

Medien in der Kategorie „Dana Scott“

Folgende 4 Dateien sind in dieser Kategorie, von 4 insgesamt.