S. Barry Cooper

Jianer Chen

Theory and Applications of Models of Computation (TAMC) is an inter- tional conference series with an interdisciplinary character, bringing together researchers working in computer science, mathematics (especially logic) and the physical sciences. This crossdisciplinary character, together with its focus on - gorithms, complexity and computability theory, gives the conference a special ?avor and distinction. TAMC2009wasthesixthconferenceintheseries.Theprevious?vemeetings wereheldduringMay17–19,2004inBeijing,May17–20,2005inKunming,May 15–20, 2006 in Beijing, May 22–25, 2007 in Shanghai, and April 25–29, 2008 in Xi'an. TAMC 2009 was held in ChangSha, during May 18–22, 2009. Next year will see a new departure, namely, the ?rst TAMC conference to be held outside of Asia. TAMC 2010 will be held in Prague, capital of the Czech Republic. At TAMC 2009 we had three plenary speakers, Leslie Valiant (Harvard U- versity, USA), Moshe Vardi (Rice University, USA) and Matthew Hennessy (Trinity College, Ireland), giving one-hour talks each. Professor Valiant spoke on “Neural Computations That Support Long Mixed Sequence of Knowledge Acquisition Tasks,” Professor Vardi on “Constraints, Graphs, Algebra, Logic, and Complexity,” and Professor Hennessy on “Distributed Systems and Their Environments.” Their respective abstracts accompanying the talks are included in these proceedings.

6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings

Theory and Applications of Models of Computation

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.

Computation and Logic in the Real World

Computability in Context

The 2006 proceedings from the Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium.

Logic Colloquium 2006

Andrew Hodges

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.

Computing the World

The Once and Future Turing

Original essays by world-leading researchers reveal Alan Turing's lasting contributions to modern research.

Mariya I. Soskova

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.

Journeys Beyond the Turing Barrier

The Incomputable

Benedikt Lowe

CiE2007:ComputationandLogicintheRealWorld Siena,Italy,June18-23,2007 Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, technical devel- ment, and applications. Among the aims of the network is to advance our t- oretical understanding of what can and cannot be computed, by any means of computation. Its scienti'c vision is broad: computations may be performed with discrete or continuous data by all kinds of algorithms, programs, and - chines. Computations may be made by experimenting with any sort of physical system obeying the laws of a physical theory such as Newtonian mechanics, quantum theory, or relativity. Computations may be very general, depending upon the foundations of set theory; or very speci'c, using the combinatorics of ?nite structures. CiE also works on subjects intimately related to computation, especially theories of data and information, and methods for formal reasoning about computations. The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, natural computation, molecular computation, computational learning. Applications are everywhere,especially, in algebra,analysisand geometry, or data types and p- gramming. Within CiE there is general recognition of the underlying relevance of computability to physics and a broad range of other sciences, providing as it does a basic analysis of the causal structure of dynamical systems.

Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings

J. van Leeuwen

In this 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP, 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 Alan Turing's work. Offering a more modern perspective than anything currently available, Alan Turing: His Work and Impact gives wide coverage of the many ways in which Turing's scientific endeavors have impacted current research and understanding of the world. His pivotal writings on subjects including computing, artificial intelligence, cryptography, morphogenesis, and more display continued relevance and insight into today's scientific and technological landscape. This collection provides a great service to researchers, but is also an approachable entry point for readers with limited training in the science, but an urge to learn more about the details of Turing's work. 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP Named a 2013 Notable Computer Book in Computing Milieux by Computing Reviews Affordable, key collection of the most significant papers by A.M. Turing Commentary explaining the significance of each seminal paper by preeminent leaders in the field Additional resources available online

S. Barry Cooper

Books

Your next favorite book is out there