Scott, Dana S.
Overview
Works:  129 works in 296 publications in 2 languages and 2,661 library holdings 

Genres:  Conference proceedings Bibliography History Juvenile works 
Roles:  Author, Editor, 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 John L Baker John L Baker( Book )
Most widely held works by
Dana S Scott
Higher set theory : proceedings, Oberwolfach, Germany, April 1323, 1977
by
G. H Müller(
Book
)
15 editions published between 1978 and 2008 in 3 languages and held by 517 WorldCat member libraries worldwide
15 editions published between 1978 and 2008 in 3 languages and held by 517 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
Algebra, and Analysis Research Symposium on Applications of Sheaf Theory to Logic(
Book
)
16 editions published in 1979 in English and German and held by 511 WorldCat member libraries worldwide
16 editions published in 1979 in English and German and held by 511 WorldCat member libraries worldwide
Axiomatic set theory
by
Dana S Scott(
Book
)
27 editions published between 1971 and 1987 in English and Undetermined and held by 444 WorldCat member libraries worldwide
27 editions published between 1971 and 1987 in English and Undetermined and held by 444 WorldCat member libraries worldwide
An introduction to modal logic : the Lemmon notes
by
E. J Lemmon(
Book
)
9 editions published between 1976 and 1977 in English and Undetermined and held by 254 WorldCat member libraries worldwide
9 editions published between 1976 and 1977 in English and Undetermined and held by 254 WorldCat member libraries worldwide
A selective bibliography of philosophical logic
by
Christopher Peacocke(
Book
)
18 editions published between 1973 and 1979 in English and Undetermined and held by 159 WorldCat member libraries worldwide
18 editions published between 1973 and 1979 in English and Undetermined and held by 159 WorldCat member libraries worldwide
The innovative university
(
Book
)
3 editions published in 2004 in English and held by 101 WorldCat member libraries worldwide
3 editions published in 2004 in English and held by 101 WorldCat member libraries worldwide
The lattice of flow diagrams
by
Dana S Scott(
Book
)
5 editions published between 1970 and 1978 in English and Undetermined and held by 72 WorldCat member libraries worldwide
5 editions published between 1970 and 1978 in English and Undetermined and held by 72 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 68 WorldCat member libraries worldwide
4 editions published in 1970 in English and held by 68 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 39 WorldCat member libraries worldwide
4 editions published between 1975 and 1981 in English and held by 39 WorldCat member libraries worldwide
Toward a mathematical semantics for computer languages
by
Dana S Scott(
Book
)
3 editions published in 1971 in English and held by 35 WorldCat member libraries worldwide
3 editions published in 1971 in English and held by 35 WorldCat member libraries worldwide
Kurt Gödel and the foundations of mathematics : horizons of truth
by
Matthias Baaz(
)
3 editions published in 2011 in English and held by 33 WorldCat member libraries 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
3 editions published in 2011 in English and held by 33 WorldCat member libraries 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
Continuous lattices
by
Dana S Scott(
Book
)
9 editions published between 1971 and 1972 in English and Undetermined and held by 27 WorldCat member libraries worldwide
9 editions published between 1971 and 1972 in English and Undetermined and held by 27 WorldCat member libraries worldwide
Notes on the formalization of logic
by
Dana S Scott(
Book
)
10 editions published in 1981 in English and held by 26 WorldCat member libraries worldwide
10 editions published in 1981 in English and held by 26 WorldCat member libraries worldwide
Toposes, algebraic geometry and logic
by
I Bucur(
)
2 editions published in 1972 in English and held by 25 WorldCat member libraries worldwide
2 editions published in 1972 in English and held by 25 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 20 WorldCat member libraries worldwide
4 editions published between 1980 and 1981 in English and Undetermined and held by 20 WorldCat member libraries worldwide
Axiomatic set theory : [proceedings of the Symposium in Pure Mathematics of the AMS, held at the Univ. of Calif., LosAngeles, Calif., July 10Aug. 5, 1967]
by American mathematical society summer research institute(
Book
)
3 editions published in 1974 in English and Undetermined and held by 20 WorldCat member libraries worldwide
3 editions published in 1974 in English and Undetermined and held by 20 WorldCat member libraries worldwide
World resources
by
Dana S Scott(
Book
)
2 editions published in 1978 in English and held by 19 WorldCat member libraries worldwide
2 editions published in 1978 in English and held by 19 WorldCat member libraries worldwide
Removal of phosphates and metals from sewage sludge
by
Dana S Scott(
Book
)
3 editions published between 1973 and 1976 in English and held by 17 WorldCat member libraries worldwide
3 editions published between 1973 and 1976 in English and held by 17 WorldCat member libraries worldwide
Kurt Godel and Foundations of Maths
(
)
in English and held by 16 WorldCat member libraries worldwide
Annotation
in English and held by 16 WorldCat member libraries worldwide
Annotation
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Fourman, M. P. 1950 Author Editor
 Müller, G. H. (Gert Heinz) 1923 Author Editor
 Mulvey, C. J. 1946 Editor
 London Mathematical Society
 Jech, Thomas J. Editor
 Lemmon, E. J. (Edward John) Author
 Peacocke, Christopher Author
 Resnick, Daniel Philip
 CarnegieMellon University
 Davies, Martin K.
Useful Links
Associated Subjects
Analysis (Philosophy) Axiomatic set theory 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 Mines and mineral resources Modality (Logic) Natural resources Numerical calculations PennsylvaniaPittsburgh Philosophy Power resources Programmable logic devices Programming languages (Electronic computers) Set theory SewagePurification SewagePurificationPhosphate removal Sewage sludge Sheaf theory Topological spaces Toposes Universities and colleges