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
Part I: How Do We Compute? What Can We Prove? 1.Alan Mathison
Turing 2.On Computable Numbers, with an Application to the
Entscheidungsproblem 3.On Computable Numbers, with an Application
to the Entscheidungsproblem – correction 4.Review of Turing 1936-7
5.Computability and ?-definability 6.The p-function in
?-K-conversion 7.Systems of Logic based on Ordinals 8.A Formal
Theorem in Church's Theory of Types 9.The Use of Dots as Brackets
in Church's System 10.Practical Forms of Type Theory 11.The Reform
of Mathematical Notation
Part II: Hiding and Unhiding Information: Cryptology, Complexity
and Number Theory. 1.On the Gaussian Error Function 2.A Method for
the Calculation of the Zeta-function 3.Some Calculations of the
Riemann Zeta-function 4.On a Theorem of Littlewood 5.The Word
Problem in Semi-groups with Cancellation 6.Solvable and Unsolvable
Problems 7.The Word Problem in Compact Groups 8.On Permutation
Groups 9.Rounding-off Errors in Matrix Processes 10.A Note on
Normal Numbers 11.Turing's treatise on the Enigma (Prof's Book);
Report by Turing on U. S. Navy cryptanalytic work and their
machinery, November 1942; Speech System 'Delilah' - report on
progress, 6 June 1944; Checking a Large Routine; An early program
proof by Alan Turing; Programmers' Handbook for the Manchester
electronic computer; Local Programming Methods and Conventions
Part III: Building a Brain: Intelligent Machines, Practice and
Theory. 1.Lecture to the London Mathematical Society 2.Intelligent
Machinery 3.Computing Machinery and Intelligence 4.Chess; Solvable
and Unsolvable Problems 5.Intelligent Machinery: A heretical
theory; Can digital computers think?; Can automatic calculating
machines be said to think? 6.Some Remarks on the Undecidability
Results
Part IV: The Mathematics of Emergence: The Mysteries of
Morphogenesis. 1.The Chemical Basis of Morphogenesis 2.A Diffusion
Reaction Theory of Morphogenesis in Plants 3.Morphogen Theory of
Phyllotaxis; Geometrical and Descriptive Phyllotaxis; Chemical
Theory of Morphogenesis; A Solution of the Morphogenetical
Equations for the Case of Spherical Symmetry 4.Outline of the
Development of the Daisy
Barry Cooper is Professor of Mathematical Logic at the University of Leeds. A graduate of the University of Oxford, his research follows that of Alan Turing in its focus on the nature of mental and physical computation. Author and editor of numerous books, including Computability Theory, New Computational Paradigms, and Computability in Context, he is a leading advocate of multidisciplinary research at the interface between what is known to be computable, and theoretical and practical incomputability. For more information, http://www1.maths.leeds.ac.uk/. Jan van Leeuwen is professor at the Department of Information and Computing Sciences at Utrecht University. He received a Ph.D. in mathematics in 1972 from the same institution. After having held several positions in computer science in the US, he returned to Utrecht as a faculty member in 1977. He was head of department from 1977 to 1983 and from 1991 to 1994, and served as dean from 1994 to 2009. His research interests extend to many branches of the theory and philosophy of computer science. He is a member of the Academia Europae, is the first recipient of a Distinguished Lorentz Fellowship Prize in the Netherlands, and holds an honorary doctorate from RWTH Aachen University. For more information, http://www.cs.uu.nl/staff/jan.html.
"The volume is an excellent introduction to many exciting topics that Turing greatly contributed to, and in some cases founded, from computability theory to programming languages, complexity theory, the philosophy of mind, artificial intelligence, and the emergence of structure in biology.Readers of almost any background and any level will find something fascinating, something to capture their imaginations, in this volume."--ComputingReviews.com, September 17, 2013 "Introductions and commentaries are written by outstanding specialists in the given domains -- altogether by 70 contributors. They provide insight into the significance and contemporary impact of Turing's work.The book is published in a beautiful and careful way. It is a remarkable contribution to the celebration of the centenary of Alan Turing's birth. It is indispensable for all interested in Turing's work."--Zentralblatt MATH 1270-2013 ".much of what's presented is for specialists.But there's still plenty even for a non-mathematician like me, some of it surprisingly moving.no matter how well you know the life and work of Turing, you'll learn something from this book."--OECD Insights blog, August 26, 2013 "This accessible book is an essential read for those interested in Turing's work and provides a more contemporary perspective than anything else that is available."--CyberTalk, September 2013 "This volume contains a mix of writings - some excerpts by Turing, but mostly writings about him and his work by those who understand his genius and his legacy. The writings include first person narratives of what he was like and what it was like to work with him, personal accounts of career-changing encounters with his thinking, and commentary on particular aspects of his work."--Reference and Research Book News, August 2013 "The new testament of computer science has come, 101 years after the birth of founding prophet Alan Turing.How big is the incomputable universe? Can digital machines think? Do daisies emerge from pure chemistry? If your soul craves answers to such questions, this is your new bible."--Nature, June 19, 2013 "Alan Turing: His Work and Impact makes Turing's most important papers readily accessible and affordable. With the four volumes of the previously published "Collected Works" now scarce and very expensive, this volume fills a pressing need in Turing scholarship. Moreover, the commentaries associated with Turing's papers in this volume offer new and compelling insights into the continuing importance and relevance of Turing's work, contextualizing it in contemporary contexts and providing richly elaborated explanations of how and why Turing's work remains seminal for a wide variety of fields, including computational science, cognitive science, artificial intelligence and more." -- N. Katherine Hayles, Professor of Literature, Duke University
 |
Ask a Question About this Product More... |
|
