WorldCat Identities

Cooper, S. B. (S. Barry)

Overview
Works: 77 works in 382 publications in 2 languages and 13,006 library holdings
Genres: Conference papers and proceedings  Biography  History 
Roles: Author, Editor, Other, Redactor, htt
Publication Timeline
.
Most widely held works by S. B Cooper
Computability in context : computation and logic in the real world( )

18 editions published between 2009 and 2011 in English and held by 1,482 WorldCat member libraries worldwide

Addresses various ways computability and theoretical computer science enable scientists and philosophers to deal with mathematical and real-world issues. This book covers problems related to logic, mathematics, physical processes, real computation and learning theory
Computability, enumerability, unsolvability : directions in recursion theory( )

19 editions published between 1996 and 2009 in English and Undetermined and held by 1,479 WorldCat member libraries worldwide

The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book, by leaders in the field, provide a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory. The topics range over computable functions, enumerable sets, degree structures, complexity, subrecursiveness, domains and inductive inference. A number of the articles contain introductory and background material which it is hoped will make this volume an invaluable resource
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 by Logic Colloquium '97( )

17 editions published in 1999 in English and Undetermined and held by 1,410 WorldCat member libraries worldwide

Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist
Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 by Logic Colloquium( )

16 editions published in 1999 in English and held by 1,108 WorldCat member libraries worldwide

Together, Models and Computability and its sister volume Sets and Proofs provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at "Logic Colloquium '97" (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist
Theory and applications of models of computation : 6th international conference, TAMC 2009, Changsa, China, May 18-22, 2009 : proceedings by David Hutchison( )

29 editions published between 2006 and 2009 in English and held by 1,066 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 6th International Conference on Theory and Applications of Models of Computation, TAMC 2009, held in Changsha, China in May 2009. The 39 full papers presented together with 7 invited papers as well as 3 plenary talks were selected from 86 submissions. The papers address the three main themes of the conference which were Computability, Complexity, and Algorithms. The conference aimed to bring together researchers with interests in theoretical computer science, algorithmic mathematics, and applications to the physical sciences
The selected works of A.M. Turing : his work and impact by S. B Cooper( )

3 editions published in 2012 in English and held by 897 WorldCat member libraries worldwide

""The fact remains that everyone who taps at a keyboard, opening a spreadsheet or a word-processing program, is working on an incarnation of a Turing machine.""--TIME In this accessible new selection of writings by Information Age pioneer Alan Turing, readers will find many of the most significant contributions from the four-volume set of the Collected Works of A.M. Turing. These contributions, together with commentaries from current experts in a wide spectrum of fields and backgrounds, provide insight on the significance and contemporary impact of A.M. Turing's
New computational paradigms : changing conceptions of what is computable by S. B Cooper( )

19 editions published between 2005 and 2008 in English and Undetermined and held by 614 WorldCat member libraries worldwide

Examines developments in the theory and practice of computation from a mathematical perspective, with topics ranging from classical computability to complexity, from biocomputing to quantum computing. This book covers topics in computability theory such as relative computability, theory of numberings, and domain theory
New computational paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, the Netherlands, June 8-12, 2005 ; proceedings by S. Barry Cooper( )

23 editions published in 2005 in English and Undetermined and held by 605 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, held in Amsterdam, The Netherlands in June 2005. The 68 revised full papers presented were carefully reviewed and selected from 144 submissions. Among them are papers corresponding to two tutorials, six plenary talks and papers of six special sessions involving mathematical logic and computer science at the same time as offering the methodological foundations for models of computation. The papers address many aspects of computability in Europe with a special focus on new computational paradigms. These include first of all connections between computation and physical systems (e.g., quantum and analog computation, neural nets, molecular computation), but also cover new perspectives on models of computation arising from basic research in mathematical logic and theoretical computer science
Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings by S. Barry Cooper( )

26 editions published in 2007 in English and Undetermined and held by 577 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, Italy, in June 2007. The 50 revised full papers presented together with 36 invited papers were carefully reviewed and selected from 167 submissions. Among them are papers corresponding to 12 plenary talks and papers of 8 special sessions entitled doing without turing machines: constructivism and formal topology, approaches to computational learning, real computation, computability and mathematical structure, complexity of algorithms and proofs, logic and new paradigms of computability, computational foundations of physics and biology, as well as a women in computability workshop
Alan Turing : his work and impact by S. B Cooper( Book )

20 editions published between 2012 and 2016 in English and held by 570 WorldCat member libraries worldwide

This new and exciting book, published in celebration of the centenary of Alan Turing's birth in London, includes a large number of the most significant contributions from the 4-volume set of the Collected Works of A.M. Turing. These contributions, together with a wide spectrum of accompanying commentaries from current world-leading experts in many different fields and backgrounds, provide insight on the significance and contemporary impact of A.M. Turing's work
Theory and applications of models of computation : 4th international conference, TAMC 2007, Shanghai, China, May 22-25, 2007 ; proceedings by Jin-Yi Cai( )

15 editions published in 2007 in English and held by 542 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 4th International Conference on Theory and Applications of Models of Computation, TAMC 2007, held in Shanghai, China in May 2007. The 67 revised full papers presented together with 2 plenary lectures were carefully reviewed and selected from over 500 submissions. All major areas in computer science, mathematics (especially logic) and the physical sciences particularly with regard to computation and computability theory are addressed. The papers - featuring this crossdisciplinary character - particularly focus on algorithms, complexity and computability theory, giving the conference a special flavor and distinction
How the world computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings by S. Barry Cooper( )

14 editions published in 2012 in English and held by 440 WorldCat member libraries worldwide

Annotation. This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in Cambridge, UK, in June 2012. The 53 revised papers presented together with 6 invited lectures were carefully reviewed and selected with an acceptance rate of under 29,8%. The CiE 2012 Turing Centenary Conference will be remembered as a historic event in the continuing development of the powerful explanatory role of computability across a wide spectrum of research areas. The papers presented at CiE 2012 represent the best of current research in the area, and forms a fitting tribute to the short but brilliant trajectory of Alan Mathison Turing. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing
Theory and applications of models of computation : 9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 ; proceedings by Manindra Agrawal( )

10 editions published in 2012 in English and held by 399 WorldCat member libraries worldwide

Annotation
Theory and applications of models of computation : 11th annual conference, TAMC 2014, Chennai, India, April 11-13, 2014, proceedings by T. V Gopal( )

7 editions published in 2014 in English and held by 357 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 11th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Chennai, India, in April 2014. The 27 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers explore the algorithmic foundations, computational methods, and computing devices to meet today's and tomorrow's challenges of complexity, scalability, and sustainability, with wide-ranging impacts on everything from the design of biological systems to the understanding of economic markets and social networks
The once and future Turing : computing the world by S. Barry Cooper( )

14 editions published in 2016 in English and Undetermined and held by 321 WorldCat member libraries worldwide

"Alan Turing (1912-1954) made seminal contributions to mathematical logic, computation, computer science, artificial intelligence, cryptography and theoretical biology. In this volume, outstanding scientific thinkers take a fresh look at the great range of Turing's contributions, on how the subjects have developed since his time, and how they might develop still further. The contributors include Martin Davis, J.M.E. Hyland, Andrew R. Booker, Ueli Maurer, Kanti V. Mardia, S. Barry Cooper, Stephen Wolfram, Christof Teuscher, Douglas Richard Hofstadter, Philip K. Maini, Thomas E. Woolley, Eamonn A. Gaffney, Ruth E. Baker, Richard Gordon, Stuart Kauffman, Scott Aaronson, Solomon Feferman, P.D. Welch and Roger Penrose. These specially commissioned essays will provoke and engross the reader who wishes to understand better the lasting significance of one of the twentieth century's deepest thinkers"--Publisher's description
The incomputable : journeys beyond the Turing barrier( )

10 editions published in 2017 in English and German and held by 246 WorldCat member libraries worldwide

This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued discourse between researchers from different disciplines, and this book is unique in its focus on the mathematical theory of incomputability and its relevance for the real world. The core of the book consists of thirteen chapters in five parts on extended models of computation; the search for natural examples of incomputable objects; mind, matter, and computation; the nature of information, complexity, and randomness; and the mathematics of emergence and morphogenesis. This book will be of interest to researchers in the areas of theoretical computer science, mathematical logic, and philosophy
Computability theory by S. B Cooper( Book )

2 editions published in 2004 in English and held by 246 WorldCat member libraries worldwide

"Computability Theory presents a comprehensive, highly readable introduction to contemporary computability theory, techniques, and results. The author places the basic concepts and techniques in their historical, philosophical, and logical contexts, and offers an unusual breadth of coverage, including a number of advanced topics not usually addressed in books at this level. The result is an invaluable text, reference, and guide to the direction of current research in the field. The author brings the techniques and results of this beautiful and basic subject alive in an approachable and lively way."--Jacket
Computability and models : perspectives east and west by S. Barry Cooper( Book )

10 editions published in 2003 in English and held by 193 WorldCat member libraries worldwide

There are few notions as fundamental to contemporary science as those of computability and modelling. Computability and Models attempts to make some of the exciting and important new research developments in this area accessible to a wider readership. Written by international leaders drawn from major research centres both East and West, this book is an essential addition to scientific libraries serving both specialist and the interested non-specialist reader
Logic Colloquium 2006 by S. Barry Cooper( )

13 editions published in 2009 in English and held by 164 WorldCat member libraries worldwide

The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, with contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world. The most topical areas of current research are covered: valued fields, Hrushovski constructions (from model theory), algorithmic randomness, relative computability (from computability theory), strong forcing axioms and cardinal arithmetic, large cardinals and determinacy (from set theory), as well as foundational topics such as algebraic set theory, reverse mathematics, and unprovability. This volume will be invaluable for experts as well as those interested in an overview of central contemporary themes in mathematical logic
Computability theory by S. B Cooper( Book )

20 editions published between 2002 and 2017 in English and held by 75 WorldCat member libraries worldwide

Computability theory originated with the seminal work of Gödel, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, such as the theory of reducibilities and their degree structures, computably enumerable sets and their automorphisms, and subrecursive hierarchy classifications. Recent work in computability theory has focused on Turing definability and promises to have far-reaching mathematical, scientific, and philosophical consequences. Written by a leading researcher, Computability Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion of advanced topics not to be found elsewhere in the literature at this level.The book includes both the standard material for a first course in computability and more advanced looks at degree structures, forcing, priority methods, and determinacy. The final chapter explores a variety of computability applications to mathematics and science.Computability Theory is an invaluable text, reference, and guide to the direction of current research in the field. Nowhere else will you find the techniques and results of this beautiful and basic subject brought alive in such an approachable and lively way
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.29 (from 0.02 for Computabil ... to 0.81 for Computabil ...)

WorldCat IdentitiesRelated Identities
New computational paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, the Netherlands, June 8-12, 2005 ; proceedings
Covers
Computability, enumerability, unsolvability : directions in recursion theorySets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997Theory and applications of models of computation : 6th international conference, TAMC 2009, Changsa, China, May 18-22, 2009 : proceedingsNew computational paradigms : changing conceptions of what is computableNew computational paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, the Netherlands, June 8-12, 2005 ; proceedingsComputation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedingsTheory and applications of models of computation : 4th international conference, TAMC 2007, Shanghai, China, May 22-25, 2007 ; proceedings
Alternative Names
Barry Cooper, Stuart 1943-

Barry Cooper, Stuart 1943-2015

Cooper, B. 1943-

Cooper, B. 1943-2015

Cooper, Barry 1943-

Cooper, Barry 1943-2015

Cooper, Barry 1943, 9 oct.-

Cooper, Barry 1943 October 9-

Cooper, Barry 1943 říjen 9.-

Cooper, Barry S.

Cooper, S.B.

Cooper S.Barry

Cooper, S. Barry 1943-

Cooper, S. Barry 1943-2015

Cooper, Stuart Barry

Cooper, Stuart Barry 1943-

Cooper, Stuart Barry 1943-2015

S. Barry Cooper British philosopher

S. Barry Cooper Brits filosoof (-2015)

S. Barry Cooper filòsof britànic

S. Barry Cooper filósofo británico

S. Barry Cooper filósofu británicu (1943–2015)

S. Barry Cooper philosophe britannique

S・バリー・クーパー

Languages
English (297)

German (1)