Scott, Dana S.
Overview
Works:  93 works in 299 publications in 2 languages and 2,890 library holdings 

Genres:  Conference papers and proceedings Bibliography History 
Roles:  Editor, Author, Thesis advisor, Honoree, Other, Compiler, Author of introduction 
Classifications:  QA3, 510.8 S 
Publication Timeline
.
Most widely held works about
Dana S Scott
 Recent developments in domain theory : a collection of papers in honour of Dana S. Scott( Book )
 Scott's suggestions augmented and applied by J. N. L Baker( Book )
Most widely held works by
Dana S Scott
Axiomatic set theory by
Dana S Scott(
Book
)
25 editions published between 1967 and 1987 in English and Undetermined and held by 423 WorldCat member libraries worldwide
25 editions published between 1967 and 1987 in English and Undetermined and held by 423 WorldCat member libraries worldwide
Higher set theory : proceedings, Oberwolfach, Germany, April 1323, 1977 by
G. H Müller(
Book
)
27 editions published between 1978 and 2008 in 3 languages and held by 421 WorldCat member libraries worldwide
27 editions published between 1978 and 2008 in 3 languages and held by 421 WorldCat member libraries worldwide
Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis,
Durham, July 921, 1977 by
M. P Fourman(
Book
)
26 editions published in 1979 in English and German and held by 420 WorldCat member libraries worldwide
26 editions published in 1979 in English and German and held by 420 WorldCat member libraries worldwide
An introduction to modal logic : the Lemmon notes by
E. J Lemmon(
Book
)
12 editions published between 1976 and 1977 in English and Undetermined and held by 258 WorldCat member libraries worldwide
12 editions published between 1976 and 1977 in English and Undetermined and held by 258 WorldCat member libraries worldwide
The innovative university(
Book
)
3 editions published in 2004 in English and held by 104 WorldCat member libraries worldwide
3 editions published in 2004 in English and held by 104 WorldCat member libraries worldwide
A selective bibliography of philosophical logic by
Christopher Peacocke(
Book
)
18 editions published between 1975 and 1980 in English and held by 92 WorldCat member libraries worldwide
18 editions published between 1975 and 1980 in English and held by 92 WorldCat member libraries worldwide
The lattice of flow diagrams by
Dana S Scott(
Book
)
5 editions published between 1970 and 1978 in English and held by 87 WorldCat member libraries worldwide
5 editions published between 1970 and 1978 in English and held by 87 WorldCat member libraries worldwide
A selective bibliography of philosophical logic by
Christopher Peacocke(
Book
)
7 editions published between 1978 and 1979 in English and Undetermined and held by 84 WorldCat member libraries worldwide
7 editions published between 1978 and 1979 in English and Undetermined and held by 84 WorldCat member libraries worldwide
Outline of a mathematical theory of computation by
Dana S Scott(
Book
)
4 editions published in 1970 in English and held by 73 WorldCat member libraries worldwide
4 editions published in 1970 in English and held by 73 WorldCat member libraries worldwide
A bibliography of logic books by
Michael S Moss(
Book
)
4 editions published between 1975 and 1981 in English and held by 41 WorldCat member libraries worldwide
4 editions published between 1975 and 1981 in English and held by 41 WorldCat member libraries worldwide
Toward a mathematical semantics for computer languages by
Dana S Scott(
Book
)
4 editions published in 1971 in English and held by 37 WorldCat member libraries worldwide
4 editions published in 1971 in English and held by 37 WorldCat member libraries worldwide
Notes on the formalization of logic by
Dana S Scott(
Book
)
18 editions published in 1981 in English and Undetermined and held by 33 WorldCat member libraries worldwide
18 editions published in 1981 in English and Undetermined and held by 33 WorldCat member libraries worldwide
Toposes, algebraic geometry and logic by
Ionel Bucur(
)
2 editions published in 1972 in English and held by 31 WorldCat member libraries worldwide
2 editions published in 1972 in English and held by 31 WorldCat member libraries worldwide
Continuous lattices by
Dana S Scott(
Book
)
8 editions published between 1971 and 1972 in English and Undetermined and held by 26 WorldCat member libraries worldwide
8 editions published between 1971 and 1972 in English and Undetermined and held by 26 WorldCat member libraries worldwide
Lectures on a mathematical theory of computation by
Dana S Scott(
Book
)
4 editions published between 1980 and 1981 in English and Undetermined and held by 21 WorldCat member libraries worldwide
4 editions published between 1980 and 1981 in English and Undetermined and held by 21 WorldCat member libraries worldwide
Data types as lattices by
Dana S Scott(
Book
)
2 editions published between 1974 and 1976 in English and held by 13 WorldCat member libraries worldwide
2 editions published between 1974 and 1976 in English and held by 13 WorldCat member libraries worldwide
Semantic domains and denotational semantics by
Carl A Gunter(
Book
)
10 editions published in 1989 in English and held by 12 WorldCat member libraries worldwide
This chapter discusses classes of mathematical structures suitable for use as the semantic domains of programming language constructs. Such structures play a significant role in the foundation of denotational semantics. Many categories of domains have been introduced to serve various purposes, but existing theories share several important characteristics. One such common concept is the view of partial elements provided by the theory. This concept of partiality is integral to the way the semantic domains we discuss can be used to model such programming language features as recursive definitions of functions and datatypes. A theory of computability on abstract spaces requires a concept of finite approximation which is also provided by the theory of semantic domains. These concepts must be defined for spaces that maintain the desired level of abstraction while still providing an intuitive explanation of computability for functions, functionals, and such programming constructs as higherorder procedures streams and so on. We discuss two classes of domains in some detail with an attempt to motivate the need for the conditions being imposed on the structures in computational terms. We have attempted to avoid heavy abstractions while trying to introduce the reader to several of the central concepts and techniques which are common to all of the approaches we might have taken. (edc)
10 editions published in 1989 in English and held by 12 WorldCat member libraries worldwide
This chapter discusses classes of mathematical structures suitable for use as the semantic domains of programming language constructs. Such structures play a significant role in the foundation of denotational semantics. Many categories of domains have been introduced to serve various purposes, but existing theories share several important characteristics. One such common concept is the view of partial elements provided by the theory. This concept of partiality is integral to the way the semantic domains we discuss can be used to model such programming language features as recursive definitions of functions and datatypes. A theory of computability on abstract spaces requires a concept of finite approximation which is also provided by the theory of semantic domains. These concepts must be defined for spaces that maintain the desired level of abstraction while still providing an intuitive explanation of computability for functions, functionals, and such programming constructs as higherorder procedures streams and so on. We discuss two classes of domains in some detail with an attempt to motivate the need for the conditions being imposed on the structures in computational terms. We have attempted to avoid heavy abstractions while trying to introduce the reader to several of the central concepts and techniques which are common to all of the approaches we might have taken. (edc)
Recent developments in domain theory : a collection of papers in honour of Dana S. Scott(
Book
)
2 editions published in 2004 in English and held by 3 WorldCat member libraries worldwide
2 editions published in 2004 in English and held by 3 WorldCat member libraries worldwide
Axiomatic set theory by
American Mathematical Society(
Book
)
3 editions published between 1971 and 1987 in English and held by 2 WorldCat member libraries worldwide
3 editions published between 1971 and 1987 in English and held by 2 WorldCat member libraries worldwide
Kurt Gödel and the foundations of mathematics : horizons of truth by
Matthias Baaz(
Book
)
4 editions published between 2011 and 2014 in English and held by 1 WorldCat member library worldwide
This volume commemorates the life, work and foundational views of Kurt Gödel (19061978), most famous for his hallmark works on the completeness of firstorder logic, the incompleteness of number theory, and the consistency  with the other widely accepted axioms of set theory  of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Gödel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Gödel's fundamental work in mathematics, logic, philosophy and other disciplines for future generations of researchers
4 editions published between 2011 and 2014 in English and held by 1 WorldCat member library worldwide
This volume commemorates the life, work and foundational views of Kurt Gödel (19061978), most famous for his hallmark works on the completeness of firstorder logic, the incompleteness of number theory, and the consistency  with the other widely accepted axioms of set theory  of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Gödel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Gödel's fundamental work in mathematics, logic, philosophy and other disciplines for future generations of researchers
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Müller, G. H. (Gert Heinz) 1923 Author Editor
 Fourman, M. P. 1950 Author Editor
 Mulvey, C. J. 1946 Editor
 London Mathematical Society
 Jech, Thomas J. Editor
 Lemmon, E. J. (Edward John) Author
 Peacocke, Christopher Author
 Baaz, Matthias Author Editor
 Papadimitriou, Christos H. Editor
 Harper Jr., Charles L.
Useful Links
Associated Subjects
Analysis (Philosophy) Axiomatic set theory CarnegieMellon University Categories (Mathematics) Computer programming Continuous lattices Flow charts Functions, Continuous Geometry, Algebraic Gödel, Kurt Gödel's theorem Influence (Literary, artistic, etc.) Lattice theory Logic Logic, Symbolic and mathematical Machine theory Mathematics MathematicsPhilosophy Modality (Logic) Numerical calculations PennsylvaniaPittsburgh Philosophy Programmable logic devices Programming languages (Electronic computers) Programming languages (Electronic computers)Semantics Recursive functions Scott, Dana S Semantics Set theory Sheaf theory Topological spaces Toposes Universities and colleges
Alternative Names
Dana S. Scott
Dana Scott Amerikaans wiskundige
Dana Scott amerikanischer Mathematiker, Logiker, Informatiker und Philosoph
Dana Scott amerikansk matematikar, informatikar og ingeniør
Dana Scott amerikansk matematiker, datavetare och ingenjör
Dana Scott amerikansk matematiker, informatiker og ingeniør
Dana Scott informatico e matematico statunitense
Dana Scott matemàtic, lògic, informàtic i filòsof estatunidenc
Dana Scott USamerikanischer Mathematiker, Logiker, Informatiker und Philosoph
Scott, D. S.
Scott, D. S. 1932
Scott, D. S. (Dana S.)
Scott, D. S. (Dana Stewart), 1932
Scott, Dana.
Scott, Dana 1932
Scott, Dana S. 1932
Scott, Dana Stewart 1932
Ντέινα Σκοτ
Дана Скотт
Дейна Скот
Дејна Скот
Скотт, Дана
דיינה סקוט
دانا اسکات ریاضیدان، دانشمند علوم کامپیوتر، و مهندس آمریکایی
دانا سكوت
ডানা স্টুয়ার্ট স্কট
데이나 스콧
デイナ・スコット
达纳·斯科特
Languages
Covers