## 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 93.

Alan Turing saw, though, that since the properties of the natural numbers could be studied by writing 1's and 0's on a long tape, there was in

**principle**no ...

Christopher G. Timpson argues in his chapter against Deutsch's claim that a physical

**principle**, the Turing

**principle**, underlies the famous Church-Turing ...

215 3 The Turing

**Principle**Versus the Church-Turing Hypothesis . . . . . . . 217 4 The Computational Analogy .

This is precisely the

**principle**of the stored-program digital computer, then yet to come into being. It is possible that Turing even then entertained the ...

... and by June 1948 a tiny version of the universal machine

**principle**was working there in marked contrast to the lack of progress at the NPL.

### 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 |