Sadly, Barry Cooper died after a brief illness

on Monday 26th October

http://www.math.uni-hamburg.de/spag/ml/ACiE/

Winner of 2013 R.R. Hawkins Award of the Association of American Publishers.

Each year, publishers and authors are recognized at the PSP Annual Conference in Washington, D.C., for their commitment to pioneering works of research and for contributing to the conception, production, and design of landmark works in their fields. The R. R. Hawkins Award, presented to the most outstanding work among the publications selected, has been given to more than 30 works since its inception.The book also won the 2013 PROSE Awards for

2013 Winners.

- Mathematics
- Best in Physical Sciences & Mathematics.

Award announced in the Communications of the ACM, February 2014 - "'Alan
Turing: His Work and Impact' Named 2013 PROSE Award
Winner":

http://cacm.acm.org/news/172030-alan-turing-his-work-and-impact-named-2013-prose-award-winner/fulltext

**Video:**

The 2013 PROSE Awards Luncheon took place at the Ritz Carlton Hotel in
Washington, DC on February 6, 2014

http://www.proseawards.com/videos-2013-awards.html

The announcement of the final award starts at 43minutes.

Amazon link for the book

Maintainer information below (at end).

Copyright material shown here with permission of the editor.

This information about the contents of the book, is provided to supplement the information provided by Elsevier, whose online marketing leaves much to be desired.

Please note:
Exactly how this page displays will depend on your default font settings.
**__________________________________________________________________________**

**Reviews (feel free to send me links to more):**

Unfortunately several of these are not in open access publications.

**Added 10 Nov 2015**

Reviews on Amazon UK

Amazon.com reviews

**Added 11 Jul 2015**

Review by Chris Christensen, in **Cryptologia,** 39:2, 198-202, DOI:
10.1080/01611194.2015.1009754

Focuses "...on the sections that are most directly related to Turing's work as
a codebreaker."

http://dx.doi.org/10.1080/01611194.2015.1009754

**Added 28 Aug 2014:**

Review by Jean-Paul Allouche in the June 2014 European Mathematical Society
Newsletter:

http://www.mathcomp.leeds.ac.uk/turing2012/Images/EMSreview.pdf

Review by Charles Ashbacher, in Mathematical Association of America:

http://www.maa.org/publications/maa-reviews/alan-turing-his-work-and-impact

Alan Turing: His Work and Impact,Reviewed by Jeremy Avigad

http://www.andrew.cmu.edu/user/avigad/Reviews/turing_review.pdf

(In *Notices of the American Mathematical Society* October 2014)

(Added here 12 Jul 2014)

Final version (different format):

http://www.mathcomp.leeds.ac.uk/turing2012/Images/AMS_review.pdf

Reviewed by Hector Zenil, in Computing Reviews, Sep 17 2013

Review in Mathematical Association of America Reviews [Reviewed by Charles Ashbacher, 01/2/2014]

Books in brief, note by Barbara Kiser Nature 498, 297 (20 June 2013) Comment on the nature review by Ian Watson In his CS Blog July 10, 2013

Short review by Jeff Paris in
*London Mathematical Society Newsletter,*

(Review published online 01 October 2013)

Intuition and ingenuity: Alan Turing's work and impact

Short review by Patrick Love August 26, 2013

**__________________________________________________________________________**

Introductionxi

Part I How Do We Compute? What Can We Prove? 1

___________________________________________________________________ 1955 Alan Mathison Turing by Max Newman(Bibliographic Memoirs of the Fellows of the Royal Society, 1 (Nov.), 253-263) Andrew Hodges contributes -- A Comment on Newman's Biographical Memoir 3 Biographical Memoir 5___________________________________________________________________ 1936-7 On Computable Numbers, with an Application to the Entscheidungsproblem(Proc. Lond. Math. Soc. (2) 42, 230.265) 1937 - A Correction (ibid: 43, 544.546) Christos Papadimitriou on -- Alan and I 13 Turing texts 16 Stephen Wolfram on -- The Importance of Universal Computation 44 Martin Davis illuminates -- Three Proofs of the Unsolvability of the Entscheidungsproblem 49 Samson Abramsky detects -- Two Puzzles About Computation 53 Paul Vitanyi illustrates the importance of -- Turing Machines and Understanding Computational Complexity 57 Gregory Chaitin traces the path -- From the Halting Problem to the Halting Probability 63 Robert Irving Soare expands on -- Turing and the Art of Classical Computability 65 Rainer Glaschick takes us on a trip back to -- Turing Machines in Munster 71xiv.........................................................................ContentsFrom K. Vela Velupillai -- Reflections on Wittgenstein's Debates with Turing during his Lectures on the Foundations of Mathematics 77 Jan van Leeuwen and Jiri Wiedermann on -- The Computational Power of Turing's Non-Terminating Circular a-Machines 80 Meurig Beynon puts an empirical slant on -- Turing's Approach to Modelling States of Mind 85 Henk Barendregt and Antonio Raffone explore -- Conscious Cognition as a Discrete, Deterministic and Universal Turing Machine Process 92 Aaron Sloman develops a distinctive view of -- Virtual Machinery and Evolution of Mind (Part 1) 97 Artur Ekert on the physical reality of -- Sqrt(NOT) 102 Cristian Calude, Ludwig Staiger and Michael Stay on -- Halting and Non-Halting Turing Computations 105 Philip Welch leads us -- Toward the Unknown Region: On Computing Infinite Numbers 109___________________________________________________________________ 1937 On Computable Numbers, with an Application to the Entscheidungsproblem by A. M. Turing -- Review by: Alonzo Church(J. Symb. Log. 2, 42)Andrew Hodges finds significance in -- Church's Review of Computable Numbers 117___________________________________________________________________ 1937 Computability and Lamnda-Definability(J. Symb. Log. 2, 153-63) Henk Barendregt, Giulio Manzonetto and Rinus Plasmeijer trace through to today -- The Imperative and Functional Programming Paradigm 121 Turing text 127___________________________________________________________________ 1937 The p-Function in Lambda-K Conversion(J. Symb. Log. 2, 164)Henk Barendregt and Giulio Manzonetto point out the subtleties of -- Turing's Contributions to Lambda Calculus 139 Turing text 144Contents.........................................................................xv___________________________________________________________________ 1939 Systems of Logic Based on Ordinals(Proc. Lond. Math. Soc. (2) 45, 161-228)Solomon Feferman returns to -- Turing's Thesis: Ordinal Logics and Oracle Computability 145 Turing text 151 Michael Rathjen looks at -- Turing's 'Oracle' in Proof Theory 198 Philip Welch takes a set-theoretical view of -- Truth and Turing 202 Alastair Abbott, Cristian Calude and Karl Svozil describe -- A Quantum Random Oracle 206___________________________________________________________________ 1948 Practical Forms of Type Theory(J. Symb. Log. 13, 80.94)Some background remarks from Robin Gandy's -- Preface 211 Turing text 213___________________________________________________________________ 1942 The use of Dots as Brackets in Church's System(J. Symb. Log. 7, 146-156)Lance Fortnow discovers -- Turing's Dots 227 Turing text 229___________________________________________________________________ 1944 The Reform of Mathematical Notation and PhraseologyStephen Wolfram connects -- Computation, Mathematical Notation and Linguistics 239 Turing text 245 Juliet Floyd explores -- Turing, Wittgenstein and Types: Philosophical Aspects of Turing's 'The Reform of Mathematical Notation and Phraseology' (1944-5) 250

Part II Hiding and Unhiding Information: Cryptology, Complexity and Number Theory 255

___________________________________________________________________ 1935 On the Gaussian error functionSandy L. Zabell delivers an authoritative guide to -- Alan Turing and the Central Limit Theorem 257 Turing's 'Preface' (1935) to 'On the Gaussian error function' 264xvi........................................................................Contents___________________________________________________________________ 1953 Some Calculations of the Riemann Zeta function(Proc. Lond. Math. Soc. (3) 3, 99-117)1952-3 On a Theorem of LittlewoodDennis Hejhal and Andrew Odlyzko take an in-depth look at -- Alan Turing and the Riemann Zeta Function 265 And Dennis Hejhal adds -- A Few Comments About Turing's Method 279 Turing text 284 On a Theorem of Littlewood (S. Skewes and A.M. Turing) 300___________________________________________________________________ 1954 Solvable and Unsolvable Problems(Science News 31, 7-23)Gregory Chaitin recommends. Turing's Small Gem 321 Turing text 322 Wilfried Sieg focuses on -- Normal Forms for Puzzles: A Variant of Turing's Thesis 332 K. Vela Velupillai connects -- Turing on 'Solvable and Unsolvable Problems. and Simon on 'Human Problem Solving. 339___________________________________________________________________ 1950 The Word Problem in Semi-Groups with Cancellation(Annals of Mathematics, 52 (2), 491.505)Gregory Chaitin on -- Finding the Halting Problem and the Halting Probability in Traditional Mathematics 343 While John L. Britton gives us a brief -- Introduction to the mathematics 344 Turing text 345___________________________________________________________________ On Permutation GroupsJohn Leslie Britton's informative -- Introduction 359 Turing text 360___________________________________________________________________ 1948 Rounding-off Errors in Matrix Processes(Quart. J. Mech. Appl. Math. 1, 287-308)Contents.......................................................................xviiLenore Blum brings into view. Alan Turing and the Other Theory of Computation 377 Turing text 385___________________________________________________________________ A Note on Normal NumbersAndrew Hodges on an interesting connection between -- Computable Numbers and Normal Numbers 403 Turing text 405 Veronica Becher takes a closer look at -- Turing's Note on Normal Numbers 408___________________________________________________________________ 1940 Turing's Treatise on the Enigma (Prof's Book)Frode Weierud on Alan Turing, Dilly Knox, Bayesian statistics, decoding machines and -- Prof's Book: Seen in the Light of Cryptologic History 413 Excerpts from the 'Enigma Paper. 417 Tony Sale delves into the cryptographic background to -- Alan Turing, the Enigma and the Bombe 426 Klaus Schmeh looks at -- Why Turing cracked the Enigma and the Germans did not 432___________________________________________________________________ 1944 Speech System 'Delilah' -- Report on Progress(A.M. Turing, 6 June, National Archives, box HW 62/6) Andrew Hodges sets the scene for -- The Secrets of Hanslope Park 1944--1945 439 Craig Bauer presents -- Alan Turing and Voice Encryption: A Play in Three Acts 442 John Harper reports on the -- Delilah Rebuild Project 451___________________________________________________________________ 1949 Checking a Large Routine(Paper, EDSAC Inaugural Conference, 24 June. In: Report of a Conference on High Speed Automatic Calculating Machines, 67-69) Cliff B. Jones gives a modern assessment of -- Turing's "Checking a Large Routine" 455 Turing text 461xviii.......................................................................Contents___________________________________________________________________ 1951 Excerpt from: Programmer's Handbook for the Manchester Electronic Computer Mark IILocal Programming Methods and Conventions (Paper read at the Inaugural Conference for the Manchester University Computer, July 1951) Toby Howard describes -- Turing's Contributions to the Early Manchester Computers 465 Excerpt from: Programmer's Handbook for the Manchester Electronic Computer Mark II 472

Part III Building a Brain: Intelligent Machines, Practice and Theory 479

___________________________________________________________________ Turing's Lecture to the London Mathematical Society on 20 February 1947(A more readable guide to the ACE computer than Turing's 1945 ACE report) Anthony Beavers pays homage to -- Alan Turing: Mathematical Mechanist 481 Turing text 486___________________________________________________________________ 1948 Intelligent Machinery(Report Written by Alan Turing for the National Physical Laboratory, 1948) Rodney A. Brooks and -- The Case for Embodied Intelligence 499 Turing text 501 Christof Teuscher proposes -- A Modern Perspective on Turing's Unorganised Machines 517 Nicholas Gessler connects past and future -- The Computerman, the Cryptographer and the Physicist 521 Stephen Wolfram looks to reconcile -- Intelligence and the Computational Universe 530 Paul Smolensky asks a key question -- Cognition: Discrete or Continuous Computation? 532 Tom Vickers recalls -- Alan Turing at the NPL 1945-47 539Contents........................................................................xixDouglas Hofstadter engages with -- The Godel.Turing Threshold and the Human Soul 545___________________________________________________________________ 1950 Computing Machinery and Intelligence(Mind, 59, 433.460)Gregory Chaitin discovers Alan Turing 'The Good Philosopher. at both sides of -- Mechanical Intelligence versus Uncomputable Creativity 551 Turing text 552 Daniel Dennett is inspired by -- Turing's 'Strange Inversion of Reasoning' 569 Aaron Sloman draws together -- Virtual machinery and Evolution of Mind (Part 2) 574 Mark Bishop examines -- The Phenomenal Case of the Turing Test and the Chinese Room 580 Peter Millican on recognising intelligence and -- The Philosophical Significance of the Turing Machine and the Turing Test 587 Luciano Floridi brings out the value of -- The Turing Test and the Method of Levels of Abstraction 601 Aaron Sloman absolves Turing of -- The Mythical Turing Test 606 David Harel proposes -- A Turing-Like Test for Modelling Nature 611 Huma Shah engages with the realities of -- Conversation, Deception and Intelligence: Turing's Question-Answer Game 614 Kevin Warwick looks forward to -- Turing's Future 620___________________________________________________________________ 1953 Digital Computers Applied to Games(Bowden, B. V. (Ed.), Faster than Thought. Pitman, London, Chap. 25, 286-310) Alan Slomson introduces -- Turing and Chess 623 Digital Computers Applied to Games 626 David Levy delves deeper into -- Alan Turing on Computer Chess 644xx..........................................................................Contents___________________________________________________________________ 1951 Can Digital Computers Think?(BBC Third Programme radio broadcast (15 May 1951), transcript edited B. J. Copeland)Intelligent Machinery: A Heretical Theory(Lecture given to 51 Society in Manchester (c. 1951), transcript edited B. J. Copeland)Can Automatic Calculating Machines Be Said To Think?(Broadcast discussion, BBC Third Programme (14 and 23 Jan. 1952), transcript edited B. J. Copeland) B. Jack Copeland introduces the transcripts -- Turing and the Physics of the Mind 651 Turing texts 660 Can Automatic Calculating Machines Be Said To Think? By Alan Turing, Richard Braithwaite, Geoffrey Jefferson, Max Newman 667 Richard Jozsa takes us forward to -- Quantum Complexity and the Foundations of Computing 677

Part IV The Mathematics of Emergence: The Mysteries of Morphogenesis 681

___________________________________________________________________ 1952 The Chemical Basis of Morphogenesis(Phil. Trans. R. Soc. London B 237, 37-72)Peter Saunders introduces -- Alan Turing's Work in Biology 683 And Philip K. Maini wonders at -- Turing's Theory of Morphogenesis 684 Turing text 689 Henri Berestycki on the visionary power of -- Alan Turing and Reaction.Diffusion Equations 723 Hans Meinhardt focuses on -- Travelling Waves and Oscillations Out of Phase: An Almost Forgotten Part of Turing's Paper 733 James D. Murray on what happened -- After Turing -- The Birth and Growth of Interdisciplinary Mathematics and Biology 739 Peter T. Saunders observes Alan Turing -- Defeating the Argument from Design 753 Stephen Wolfram fills out the computational view of -- The Mechanisms of Biology 756Contents........................................................................xxiK. Vela Velupillai connects -- Four Traditions of Emergence: Morphogenesis, Ulam-von Neumann Cellular Automata, The Fermi-Pasta-Ulam Problem, and British Emergentism 759 Gregory Chaitin takes the story forward -- From Turing to Metabiology and Life as Evolving Software 763___________________________________________________________________ 1954 The Morphogen Theory of Phyllotaxis I. Geometrical and Descriptive Phyllotaxis II. Chemical Theory of Morphogenesis III. (Bernard Richards) A Solution of the Morphogenical Equations for the Case of Spherical Symmetry(Prepared after December 1954 by N. E. Hoskin and B. Richards, using manuscripts of Turing and notes from his lectures in Manchester) Bernard Richards recalls Alan Turing and -- Radiolaria: The Result of Morphogenesis 765 The Morphogen Theory of Phyllotaxis Part I. Geometrical and Descriptive Phyllotaxis 773 Part II. Chemical Theory of Morphogenesis 804 Part III. A Solution of the Morphogenetical Equations for the Case of Spherical Symmetry 818 Peter Saunders comments on the background to -- Turing's Morphogen Theory of Phyllotaxis 827 Jonathan Swinton explores further -- Turing, Morphogenesis, and Fibonacci Phyllotaxis: Life in Pictures 834 Aaron Sloman travels forward to -- Virtual Machinery and Evolution of Mind (Part 3) Meta-Morphogenesis: Evolution of Information-Processing Machinery 849___________________________________________________________________ Outline of the Development of the Daisy(Prepared from Turing's notes by P.T. Saunders for theCollected Worksand updated by J. Swinton.) Jonathan Swinton's updating of the texts -- An Editorial Note 858 Outline of the Development of the Daisy 860___________________________________________________________________Afterword 867 Bibliography 877 Index 879

____________________________________________________________________

**Install Date:** 28 Jun 2013

**Updates:**

28 Aug 2014 (A few new reviews added.)

10 Feb 2014 (Expanded Prose award notice)

26 Jan 2014 (Added Paris review). 6 Feb 2014 (Added Prose award, and more reviews.)

7 Sep 2013 (formatting fixes);
List of contributors added 14 Aug 2013; 15 Aug 2013: replaced images with text.;

Document installed at location: http://www.cs.bham.ac.uk/~axs/amtbook

by: Aaron Sloman

http://www.cs.bham.ac.uk/~axs/

School of Computer Science, University of Birmingham, UK