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
Sprache
Verlagsort
Verlagsgruppe
Elsevier Science & Techn.
ISBN-13
978-0-12-387012-4 (9780123870124)
Schweitzer Klassifikation
Part I: How Do We Compute? What Can We Prove?1.Alan Mathison Turing2.On Computable Numbers, with an Application to the Entscheidungsproblem3.On Computable Numbers, with an Application to the Entscheidungsproblem - correction4.Review of Turing 1936-75.Computability and ¿-definability6.The p-function in ¿-K-conversion7.Systems of Logic based on Ordinals8.A Formal Theorem in Church's Theory of Types9.The Use of Dots as Brackets in Church's System10.Practical Forms of Type Theory11.The Reform of Mathematical Notation
Part II: Hiding and Unhiding Information: Cryptology, Complexity and Number Theory.1.On the Gaussian Error Function2.A Method for the Calculation of the Zeta-function3.Some Calculations of the Riemann Zeta-function4.On a Theorem of Littlewood5.The Word Problem in Semi-groups with Cancellation6.Solvable and Unsolvable Problems7.The Word Problem in Compact Groups8.On Permutation Groups9.Rounding-off Errors in Matrix Processes10.A Note on Normal Numbers11.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 Society2.Intelligent Machinery3.Computing Machinery and Intelligence4.Chess; Solvable and Unsolvable Problems5.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 Morphogenesis2.A Diffusion Reaction Theory of Morphogenesis in Plants3.Morphogen Theory of Phyllotaxis; Geometrical and Descriptive Phyllotaxis; Chemical Theory of Morphogenesis; A Solution of the Morphogenetical Equations for the Case of Spherical Symmetry4.Outline of the Development of the Daisy
