Faster access than browser!
72 relations: Alfred Tarski, Alonzo Church, American Mathematical Society, Angus Macintyre, Arthur Prior, Association for Computing Machinery, Automata theory, Bachelor of Arts, Berkeley, California, Boolean-valued model, Cambridge University Press, Carnegie Mellon University, Cartesian closed category, Category theory, Christopher Strachey, Claremont, California, Complete partial order, Computational complexity theory, Computer science, Continuum hypothesis, Czech Academy of Sciences, David Turner (computer scientist), Denotational semantics, Doctor of Philosophy, Domain theory, European Association for Theoretical Computer Science, Fellow, Fred S. Roberts, Harold Pender Award, Institute of Electrical and Electronics Engineers, Jack Copeland, John Lemmon, Kenneth Kunen, Ketan Mulmuley, Kripke semantics, Leroy P. Steele Prize, Marko Petkovšek, Mathematical logic, Mathematics, Merton College, Oxford, Michael Fourman, Michael O. Rabin, MIT Press, Modal μ-calculus, Modal logic, Model theory, Neighborhood semantics, Paul Cohen, Petr Vopěnka, Philosophy, ..., Princeton University, Richard Montague, Robert M. Solovay, Rolf Schock Prizes, Royal Swedish Academy of Sciences, Scott continuity, Scott information system, Scott's trick, Scott–Potter set theory, Semantics (computer science), Set theory, Solomon Feferman, Stanford Encyclopedia of Philosophy, Stanford University, Tarski Lectures, Temporal logic, Theoretical computer science, Topology, Turing Award, University of California, Berkeley, University of Chicago, University of Oxford. Expand index (22 more) »
Alfred Tarski
Alfred Tarski (January 14, 1901 – October 26, 1983), born Alfred Teitelbaum,School of Mathematics and Statistics, University of St Andrews,, School of Mathematics and Statistics, University of St Andrews.
New!!: Dana Scott and Alfred Tarski · See more »
Alonzo Church
Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science.
New!!: Dana Scott and Alonzo Church · See more »
American Mathematical Society
The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, advocacy and other programs.
New!!: Dana Scott and American Mathematical Society · See more »
Angus Macintyre
Angus John Macintyre FRS, FRSE (born 1941) is a British mathematician and logician known for his work in Model theory, logic, and their applications in algebra, algebraic geometry, and number theory.
New!!: Dana Scott and Angus Macintyre · See more »
Arthur Prior
Arthur Norman Prior (4 December 1914 – 6 October 1969), usually cited as A. N. Prior, was a noted logician and philosopher.
New!!: Dana Scott and Arthur Prior · See more »
Association for Computing Machinery
The Association for Computing Machinery (ACM) is an international learned society for computing.
New!!: Dana Scott and Association for Computing Machinery · See more »
Automata theory
Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them.
New!!: Dana Scott and Automata theory · See more »
Bachelor of Arts
A Bachelor of Arts (BA or AB, from the Latin baccalaureus artium or artium baccalaureus) is a bachelor's degree awarded for an undergraduate course or program in either the liberal arts, sciences, or both.
New!!: Dana Scott and Bachelor of Arts · See more »
Berkeley, California
Berkeley is a city on the east shore of San Francisco Bay in northern Alameda County, California.
New!!: Dana Scott and Berkeley, California · See more »
Boolean-valued model
In mathematical logic, a Boolean-valued model is a generalization of the ordinary Tarskian notion of structure from model theory.
New!!: Dana Scott and Boolean-valued model · See more »
Cambridge University Press
Cambridge University Press (CUP) is the publishing business of the University of Cambridge.
New!!: Dana Scott and Cambridge University Press · See more »
Carnegie Mellon University
Carnegie Mellon University (commonly known as CMU) is a private research university in Pittsburgh, Pennsylvania.
New!!: Dana Scott and Carnegie Mellon University · See more »
Cartesian closed category
In category theory, a category is considered Cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally identified with a morphism defined on one of the factors.
New!!: Dana Scott and Cartesian closed category · See more »
Category theory
Category theory formalizes mathematical structure and its concepts in terms of a labeled directed graph called a category, whose nodes are called objects, and whose labelled directed edges are called arrows (or morphisms).
New!!: Dana Scott and Category theory · See more »
Christopher Strachey
Christopher S. Strachey (16 November 1916 – 18 May 1975) was a British computer scientist.
New!!: Dana Scott and Christopher Strachey · See more »
Claremont, California
Claremont is a city on the eastern edge of Los Angeles County, California, United States, east of downtown Los Angeles.
New!!: Dana Scott and Claremont, California · See more »
Complete partial order
In mathematics, the phrase complete partial order is variously used to refer to at least three similar, but distinct, classes of partially ordered sets, characterized by particular completeness properties.
New!!: Dana Scott and Complete partial order · See more »
Computational complexity theory
Computational complexity theory is a branch of the theory of computation in theoretical computer science that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other.
New!!: Dana Scott and Computational complexity theory · See more »
Computer science
Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.
New!!: Dana Scott and Computer science · See more »
Continuum hypothesis
In mathematics, the continuum hypothesis (abbreviated CH) is a hypothesis about the possible sizes of infinite sets.
New!!: Dana Scott and Continuum hypothesis · See more »
Czech Academy of Sciences
The Czech Academy of Sciences (abbr. CAS, Akademie věd České republiky, abbr. AV ČR) was established in 1992 by the Czech National Council as the Czech successor of the former Czechoslovak Academy of Sciences and its tradition goes back to the Royal Bohemian Society of Sciences (founded in 1784) and the Emperor Franz Joseph Czech Academy for Sciences, Literature and Arts (founded in 1890).The Academy is the leading non-university public research institution in the Czech Republic.
New!!: Dana Scott and Czech Academy of Sciences · See more »
David Turner (computer scientist)
David A. Turner (born 1946) is a British computer scientist.
New!!: Dana Scott and David Turner (computer scientist) · See more »
Denotational semantics
In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages.
New!!: Dana Scott and Denotational semantics · See more »
Doctor of Philosophy
A Doctor of Philosophy (PhD or Ph.D.; Latin Philosophiae doctor) is the highest academic degree awarded by universities in most countries.
New!!: Dana Scott and Doctor of Philosophy · See more »
Domain theory
Domain theory is a branch of mathematics that studies special kinds of partially ordered sets (posets) commonly called domains.
New!!: Dana Scott and Domain theory · See more »
European Association for Theoretical Computer Science
The European Association for Theoretical Computer Science (EATCS) is an international organization with a European focus, founded in 1972.
New!!: Dana Scott and European Association for Theoretical Computer Science · See more »
Fellow
A fellow is a member of a group (or fellowship) that work together in pursuing mutual knowledge or practice.
New!!: Dana Scott and Fellow · See more »
Fred S. Roberts
Fred Stephen Roberts (born June 19, 1943) from Roberts' web site, retrieved 2010-02-16.
New!!: Dana Scott and Fred S. Roberts · See more »
Harold Pender Award
The Harold Pender Award, initiated in 1972 and named after founding Dean Harold Pender, is given by the Faculty of the School of Engineering and Applied Science of the University of Pennsylvania to an outstanding member of the engineering profession who has achieved distinction by significant contributions to society.
New!!: Dana Scott and Harold Pender Award · See more »
Institute of Electrical and Electronics Engineers
The Institute of Electrical and Electronics Engineers (IEEE) is a professional association with its corporate office in New York City and its operations center in Piscataway, New Jersey.
New!!: Dana Scott and Institute of Electrical and Electronics Engineers · See more »
Jack Copeland
Brian Jack Copeland (born 1950) is Professor of Philosophy at the University of Canterbury, Christchurch, New Zealand, and author of books on the computing pioneer Alan Turing.
New!!: Dana Scott and Jack Copeland · See more »
John Lemmon
Edward John Lemmon (1 June 1930 – 29 July 1966) was a logician and philosopher born in Sheffield, England.
New!!: Dana Scott and John Lemmon · See more »
Kenneth Kunen
Herbert Kenneth Kunen (born August 2, 1943) is an emeritus professor of mathematics at the University of Wisconsin–Madison who works in set theory and its applications to various areas of mathematics, such as set-theoretic topology and measure theory.
New!!: Dana Scott and Kenneth Kunen · See more »
Ketan Mulmuley
Ketan Mulmuley is a professor in the Department of Computer Science at the University of Chicago, and a sometime visiting professor at IIT Bombay.
New!!: Dana Scott and Ketan Mulmuley · See more »
Kripke semantics
Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke and André Joyal.
New!!: Dana Scott and Kripke semantics · See more »
Leroy P. Steele Prize
The Leroy P. Steele Prizes are awarded every year by the American Mathematical Society, for distinguished research work and writing in the field of mathematics.
New!!: Dana Scott and Leroy P. Steele Prize · See more »
Marko Petkovšek
Marko Petkovšek is a Slovenian mathematician, born: 1955, working mainly in symbolic computation.
New!!: Dana Scott and Marko Petkovšek · See more »
Mathematical logic
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics.
New!!: Dana Scott and Mathematical logic · See more »
Mathematics
Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.
New!!: Dana Scott and Mathematics · See more »
Merton College, Oxford
Merton College (in full: The House or College of Scholars of Merton in the University of Oxford) is one of the constituent colleges of the University of Oxford in England.
New!!: Dana Scott and Merton College, Oxford · See more »
Michael Fourman
Michael Paul Fourman FBCS (born 12 September 1950) is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001–2009.
New!!: Dana Scott and Michael Fourman · See more »
Michael O. Rabin
Michael Oser Rabin (מִיכָאֵל עוזר רַבִּין, born September 1, 1931) is an Israeli computer scientist and a recipient of the Turing Award.
New!!: Dana Scott and Michael O. Rabin · See more »
MIT Press
The MIT Press is a university press affiliated with the Massachusetts Institute of Technology (MIT) in Cambridge, Massachusetts (United States).
New!!: Dana Scott and MIT Press · See more »
Modal μ-calculus
In theoretical computer science, the modal μ-calculus (Lμ, Lμ, sometimes just μ-calculus, although this can have a more general meaning) is an extension of propositional modal logic (with many modalities) by adding the least fixed point operator μ and the greatest fixed point operator \nu, thus a fixed-point logic.
New!!: Dana Scott and Modal μ-calculus · See more »
Modal logic
Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality.
New!!: Dana Scott and Modal logic · See more »
Model theory
In mathematics, model theory is the study of classes of mathematical structures (e.g. groups, fields, graphs, universes of set theory) from the perspective of mathematical logic.
New!!: Dana Scott and Model theory · See more »
Neighborhood semantics
Neighborhood semantics, also known as Scott-Montague semantics, is a formal semantics for modal logics.
New!!: Dana Scott and Neighborhood semantics · See more »
Paul Cohen
Paul Joseph Cohen (April 2, 1934 – March 23, 2007) was an American mathematician.
New!!: Dana Scott and Paul Cohen · See more »
Petr Vopěnka
Petr Vopěnka (16 May 1935 – 20 March 2015) was a Czech mathematician.
New!!: Dana Scott and Petr Vopěnka · See more »
Philosophy
Philosophy (from Greek φιλοσοφία, philosophia, literally "love of wisdom") is the study of general and fundamental problems concerning matters such as existence, knowledge, values, reason, mind, and language.
New!!: Dana Scott and Philosophy · See more »
Princeton University
Princeton University is a private Ivy League research university in Princeton, New Jersey.
New!!: Dana Scott and Princeton University · See more »
Richard Montague
Richard Merritt Montague (September 20, 1930 – March 7, 1971) was an American mathematician and philosopher.
New!!: Dana Scott and Richard Montague · See more »
Robert M. Solovay
Robert Martin Solovay (born December 15, 1938) is an American mathematician specializing in set theory.
New!!: Dana Scott and Robert M. Solovay · See more »
Rolf Schock Prizes
The Rolf Schock Prizes were established and endowed by bequest of philosopher and artist Rolf Schock (1933–1986).
New!!: Dana Scott and Rolf Schock Prizes · See more »
Royal Swedish Academy of Sciences
The Royal Swedish Academy of Sciences or Kungliga Vetenskapsakademien is one of the Royal Academies of Sweden.
New!!: Dana Scott and Royal Swedish Academy of Sciences · See more »
Scott continuity
In mathematics, given two partially ordered sets P and Q, a function f \colon P \rightarrow Q 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 image has a supremum in Q, and that supremum is the image of the supremum of D: that is, \sqcup f.
New!!: Dana Scott and Scott continuity · See more »
Scott information system
In domain theory, a branch of mathematics and computer science, a Scott information system is a primitive kind of logical deductive system often used as an alternative way of presenting Scott domains.
New!!: Dana Scott and Scott information system · See more »
Scott's trick
In set theory, Scott's trick is a method for giving a definition of equivalence classes for equivalence relations on a proper class (Jech 2003:65).
New!!: Dana Scott and Scott's trick · See more »
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 Dana Scott and the philosopher George Boolos.
New!!: Dana Scott and Scott–Potter set theory · See more »
Semantics (computer science)
In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages.
New!!: Dana Scott and Semantics (computer science) · See more »
Set theory
Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects.
New!!: Dana Scott and Set theory · See more »
Solomon Feferman
Solomon Feferman (December 13, 1928 – July 26, 2016) was an American philosopher and mathematician with works in mathematical logic.
New!!: Dana Scott and Solomon Feferman · See more »
Stanford Encyclopedia of Philosophy
The Stanford Encyclopedia of Philosophy (SEP) combines an online encyclopedia of philosophy with peer-reviewed publication of original papers in philosophy, freely accessible to Internet users.
New!!: Dana Scott and Stanford Encyclopedia of Philosophy · See more »
Stanford University
Stanford University (officially Leland Stanford Junior University, colloquially the Farm) is a private research university in Stanford, California.
New!!: Dana Scott and Stanford University · See more »
Tarski Lectures
The Alfred Tarski Lectures are an annual distinction in mathematical logic and series of lectures held at the University of California, Berkeley.
New!!: Dana Scott and Tarski Lectures · See more »
Temporal logic
In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time.
New!!: Dana Scott and Temporal logic · See more »
Theoretical computer science
Theoretical computer science, or TCS, is a subset of general computer science and mathematics that focuses on more mathematical topics of computing and includes the theory of computation.
New!!: Dana Scott and Theoretical computer science · See more »
Topology
In mathematics, topology (from the Greek τόπος, place, and λόγος, study) is concerned with the properties of space that are preserved under continuous deformations, such as stretching, crumpling and bending, but not tearing or gluing.
New!!: Dana Scott and Topology · See more »
Turing Award
The ACM A.M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) to an individual selected for contributions "of lasting and major technical importance to the computer field".
New!!: Dana Scott and Turing Award · See more »
University of California, Berkeley
The University of California, Berkeley (UC Berkeley, Berkeley, Cal, or California) is a public research university in Berkeley, California.
New!!: Dana Scott and University of California, Berkeley · See more »
University of Chicago
The University of Chicago (UChicago, U of C, or Chicago) is a private, non-profit research university in Chicago, Illinois.
New!!: Dana Scott and University of Chicago · See more »
University of Oxford
The University of Oxford (formally The Chancellor Masters and Scholars of the University of Oxford) is a collegiate research university located in Oxford, England.
New!!: Dana Scott and University of Oxford · See more »
Redirects here:
D. S. Scott, Dana S. Scott, Dana Stewart Scott.
References
[1] https://en.wikipedia.org/wiki/Dana_Scott
