## Alan Turing: Life and Legacy of a Great ThinkerAlan Turing's fundamental contributions to computing led to the development of modern computing technology, and his work continues to inspire researchers in computing science and beyond. This book is the definitive collection of commemorative essays, and the distinguished contributors have expertise in such diverse fields as artificial intelligence, natural computing, mathematics, physics, cryptology, cognitive studies, philosophy and anthropology. The volume spans the entire rich spectrum of Turing's life, research work and legacy. New light is shed on the future of computing science by visionary Ray Kurzweil. Notable contributions come from the philosopher Daniel Dennett, the Turing biographer Andrew Hodges, and the distinguished logician Martin Davis, who provides a first critical essay on an emerging and controversial field termed hypercomputation. A special feature of the book is the play by Valeria Patera which tackles the scandal surrounding the last apple, and presents as an enigma the life, death and destiny of the man who did so much to decipher the Enigma code during the Second World War. Other chapters are modern reappraisals of Turing's work on computability, and deal with the major philosophical questions raised by the Turing Test, while the book also contains essays addressing his less well-known ideas on Fibonacci phyllotaxis and connectionism. |

### No grāmatas satura

1.5. rezultāts no 91.

What might give us more pause for

**thought**, however, after this first stumble, is the actual hope that Turing expressed: that machines would come to be our ...

... me enormously at first, since I was thinking lofty

**thoughts**, and I was imagining that similarly lofty

**thoughts**were being beamed out to the audiences.

Part 1 is dedicated to Turing's life,

**thought**, and personality in general, and starts with an introductory biography, specially contributed by Turing's ...

... contribution on algorithms, computation, and human and machine intelligence with reference to

**thoughts**of von Neumann and Weyl, Carnap and Bar-Hillel, ...

XV Part I. Turing's Life and

**Thoughts**Alan Turing: an Introductory Biography . . . . . . . . . . . . . . . . . . . . . . 3 Andrew Hodges References .

### Lietotāju komentāri - Rakstīt atsauksmi

#### LibraryThing Review

Lietotāja recenzija - fpagan - LibraryThingThis impressive tome includes fascinating contributions on the mechanization of mathematics, the (im)possibility of super-Turing computability, Kurzweil's singularity-is-near ideas, and much else. Lasīt pilnu pārskatu

### Saturs

3 | |

References | 40 |

References | 56 |

From Unorganized to Organized Machines | 69 |

Towards a New Human Being? | 71 |

References | 73 |

Computation and Turing Machines | 75 |

The Mechanization of Mathematics | 77 |

Conclusions | 191 |

References | 192 |

The Myth of Hypercomputation | 195 |

Turings OMachines | 204 |

References | 210 |

The Turing Principle Versus the ChurchTuring Hypothesis | 217 |

The Computational Analogy | 227 |

Conclusion | 238 |

Before Turing | 82 |

Hilbert and the Entscheidungsproblem | 84 |

Turings Negative Solution of the Entscheidungsproblem | 88 |

Church and Gödel | 90 |

The Possible Loopholes | 91 |

The First TheoremProvers | 92 |

Kinds of Mathematical Reasoning | 95 |

Computer Algebra | 100 |

Decision Procedures in Algebra and Geometry | 103 |

Equality Reasoning | 110 |

Proofs Involving Computations | 114 |

Searching for Proofs | 117 |

Proofs Involving Sets Functions and Numbers | 122 |

Conclusion | 124 |

References | 127 |

20 | 129 |

Hypercomputational Models | 135 |

A Taxonomy of Hypercomputation | 138 |

Hypercomputer Engineering | 149 |

Hypercomputational Characteristics | 150 |

Conclusion and Summary | 152 |

Turings Ideas and Models of Computation 159 | 158 |

Turings Contributions to Computer Science | 160 |

SuperTuring Computation | 170 |

Models of SuperTuring Computation | 179 |

Towards a New Kind of Computer Science | 185 |

Rethinking the Theory of Computation | 188 |

Selfreplication of a Universal Turing Machine on a Multicellular | 245 |

PICOPASCAL | 253 |

Detailed Implementation of a Universal Turing Machine | 259 |

Conclusion | 265 |

Turings Analysis of Computation | 273 |

Broadening the Scope of Turings Analysis | 288 |

Can Machines Think? | 295 |

Eyes Ears Hands and History | 310 |

Artificial Intelligence | 328 |

PostScript | 345 |

Robots and RuleFollowing | 359 |

References | 377 |

DNA Sequencing Memory Communications the Internet | 391 |

The Polish Brains Behind the Breaking of the Enigma Code | 418 |

The New Devices as a Reaction to Changes in the Enigma Settings | 426 |

Epilogue | 435 |

Cribs and Opened Out Enigmas | 444 |

The E Rack | 451 |

Alan Turing after German Naval Enigma | 460 |

A Appendix II of UK Public Record Office Document HW142 | 461 |

Turing and Fibonacci Phyllotaxis | 477 |

Turing and Modern Approaches to Fibonacci Phyllotaxis | 493 |

Turings Unorganized Machines | 506 |

Organizing Unorganized Machines | 519 |

Index | 535 |