I have just received an e-mail from Barry Cooper (one of the coordinators of the Computability in Europe Network) announcing this new book:
NEW COMPUTATIONAL PARADIGMS - CHANGING CONCEPTIONS OF WHAT IS COMPUTABLE
Cooper, S. Barry; Loewe, Benedikt; Sorbi, Andrea (Eds.)
2008, Springer Mathematics of Computing series XIII,
560 pp. 19 illus., Hardcover, ISBN: 978-0-387-36033-1
As written in the description of the book on the Springer site:
[It] examines new 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. The book opens with an introduction by Andrew Hodges, the Turing biographer, who analyzes the pioneering work that anticipated recent developments concerning computation’s allegedly new paradigms. The remaining material covers traditional topics in computability theory such as relative computability, theory of numberings, and domain theory, in addition to topics on the relationships between proof theory, computability, and complexity theory. New paradigms of computation arising from biology and quantum physics are also discussed, as well as the computability of the real numbers and its related issues.
The researchers that contributed to this book are: Serikzhan Badaev, Johan van Benthem, Olivier Bournez, Vasco Brattka, Samuel R. Buss, Manuel L. Campagnolo, Abbas Edalat, Sergey Goncharov, Joel David Hamkins, Peter Hertling, Andrew Hodges, Ulrich Kohlenbach, Yuri Matiyasevich, Elvira Mayordomo, Russell Miller, Yiannis N. Moschovakis, Dag Normann, Dana Pardubska, Vasilis Paschalis, Gheorghe Paun, Michael Rathjen, Grzegorz Rozenberg, Helmut Schwichtenberg, Daniel Seabold, Wilfried Sieg, Viggo Stoltenberg-Hansen, John V. Tucker, Steve Warner, Klaus Wehirauch, Jiri Wiedermann.
You can find more about the book here (the announcement sent by Barry Cooper).
