Dana Scott
- Dana Scott
-
Dana S. Scott
Pour les articles homonymes,
voir Scott.
Dana S. Scott, né en 1932, était professeur d'informatique et de mathématiques à l'université Carnegie Mellon. Il est actuellement retraité mais possède un titre de professeur émérite ("Hillman University Professor").
Ses travaux de recherche, qui recoupent à la fois l'informatique, les mathématiques et la philosophie, se sont caractérisés par le souci d'élaborer des concepts fondamentaux de façon rigoureuse mais claire et par une étude des difficultés mathématiques sous-jacentes à ces concepts. Son travail sur la théorie des automates lui a valu le prix Turing en 1976 et le prix de l'EATCS en 2007, et sa collaboration avec Christopher Strachey dans les années 1970 a jeté les bases des approches modernes de la sémantique des langages de programmation.
Il a travaillé également sur les logiques modales, la topologie et la théorie des catégories.
Portail des mathématiques
Portail de la logique
Portail de l’informatique
Catégories : Personnalité américaine en informatique | Mathématicien | Mathématicien américain | Naissance en 1932 | Lauréat du prix Turing | Logicien | Logique modale | Personnalité en informatique théorique
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Dana Scott de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Dana Scott — Dana Stewart Scott Born October 11, 1932 (1932 10 11) (age 79) … Wikipedia
Dana Scott — Saltar a navegación, búsqueda Dana Stewart Scott Nacimiento 1932 … Wikipedia Español
Dana Scott — Dana Stewart Scott (* 11. Oktober 1932 in Berkeley) ist ein amerikanischer Mathematiker, Logiker, Informatiker und Philosoph, der bedeutende Beiträge zur Automatentheorie, Modelltheorie und Semantik der Programmiersprachen gel … Deutsch Wikipedia
Dana S. Scott — Dana Stewart Scott (* 1932 in Berkeley) ist ein US amerikanischer Mathematiker, Logiker, Informatiker und Philosoph, der bedeutende Beiträge zur Automatentheorie, Modelltheorie und Semantik der Programmiersprachen geleistet hat. Dana Scott … Deutsch Wikipedia
Dana (given name) — Dana Gender Female/Male Dana is a given name used for both males and females. As a male forename it is well known in the United States, being in the 314th rank out of 1219 in the 1990 U.S. Census. It was among the 100 most popular names given to… … Wikipedia
Scott (Familienname) — Scott ist ein verbreiteter Familienname; für den schottischen Clan dieses Namens siehe Scott (Clan). Bekannte Namensträger Inhaltsverzeichnis A B C D E F G H I J K L M N O P Q R S T U V W … Deutsch Wikipedia
Scott continuity — In mathematics, given two partially ordered sets P and Q a function between them is Scott continuous (named after the mathematician Dana Scott) if it preserves all directed suprema, i.e. if for every directed subset D of P with supremum in P its… … Wikipedia
Scott–Potter set theory — An approach to the foundations of mathematics that is of relatively recent origin, Scott–Potter set theory is a collection of nested axiomatic set theories set out by the philosopher Michael Potter, building on earlier work by the mathematician… … Wikipedia
Scott (name) — Infobox Given Name Revised| name = Scott | imagesize = | caption = pronunciation = gender = Male | meaning = Scottish Gaels region = | origin = Gaelic related names = also a less formal name of prescott footnotes = Scott is a Gaelic surname of… … Wikipedia
Scott — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Pour les articles homonymes, voir Scot. Sur les autres projets Wikimedia : « Scott », sur … Wikipédia en Français