WorldCat Identities

Scott, Dana S.

Overview
Works: 153 works in 360 publications in 2 languages and 3,025 library holdings
Genres: Conference papers and proceedings  Bibliography  History 
Roles: Editor, Author, Other, Thesis advisor, Honoree, Compiler, Author of introduction
Classifications: QA248, 511.3
Publication Timeline
.
Most widely held works by Dana S Scott
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 by Dana S Scott( Book )

28 editions published between 1978 and 2008 in 3 languages and held by 567 WorldCat member libraries worldwide

Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 by Algebra, and Analysis Research Symposium on Applications of Sheaf Theory to Logic( Book )

18 editions published between 1979 and 2006 in English and German and held by 534 WorldCat member libraries worldwide

Axiomatic set theory by Paul Bernays( Book )

26 editions published between 1967 and 2012 in English and Undetermined and held by 438 WorldCat member libraries worldwide

Provability, Computability and Reflection
An introduction to modal logic : the Lemmon notes by E. J Lemmon( Book )

7 editions published in 1977 in English and held by 246 WorldCat member libraries worldwide

A selective bibliography of philosophical logic by Christopher Peacocke( Book )

18 editions published between 1973 and 1990 in English and held by 145 WorldCat member libraries worldwide

Kurt Gödel and the foundations of mathematics : horizons of truth by Matthias Baaz( )

5 editions published between 2011 and 2014 in English and held by 118 WorldCat member libraries worldwide

This volume commemorates the life, work and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order 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
The innovative university( Book )

3 editions published in 2004 in English and held by 108 WorldCat member libraries worldwide

The lattice of flow diagrams by Dana S Scott( Book )

2 editions published in 1970 in English and held by 82 WorldCat member libraries worldwide

Outline of a mathematical theory of computation by Dana S Scott( Book )

3 editions published in 1970 in English and held by 65 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

Higher Set Theory : Proceedings, Oberwolfach, Germany, April 13-23, 1977( )

1 edition published in 1978 in English and held by 40 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 33 WorldCat member libraries worldwide

Toposes, Algebraic Geometry and Logic : Dalhousie University, Halifax, January 16-19, 1971 by I Bucur( )

1 edition published in 1972 in English and held by 32 WorldCat member libraries worldwide

Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 by M. P Fourman( )

5 editions published in 1979 in English and German and held by 32 WorldCat member libraries worldwide

Notes on the formalization of logic by Dana S Scott( Book )

16 editions published in 1981 in English and held by 32 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 21 WorldCat member libraries worldwide

Continuous lattices by Dana S Scott( Book )

5 editions published between 1971 and 1972 in English and Undetermined and held by 21 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.66 (from 0.56 for An introdu ... to 0.92 for Axiomatic ...)

Applications of Sheaves : Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977
Covers
Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977Axiomatic set theoryKurt Gödel and the foundations of mathematics : horizons of truthThe innovative universityApplications of Sheaves : Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977Higher Set Theory : Proceedings, Oberwolfach, Germany, April 13-23, 1977Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977Axiomatic set theory : [proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at the University of California, Los Angeles, California, July 10 - August 5, 1967]
Alternative Names
Dana S. Scott

Dana Scott American mathematician and computer scientist

Dana Scott Amerikaans wiskundige

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 US-amerikanischer 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
English (149)

German (3)