Read more
Informationen zum Autor 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. Klappentext An affordable volume, the key collection of Turing's most significant papers. "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 Zusammenfassung Gives coverage of the many ways in which Alan Turing's scientific endeavors have impacted research and understanding of the world. Suitable for researchers! this title also offers 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. Inhaltsverzeichnis 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...
