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

... for he certainly interested himself in electrical and

**mechanical**computation. But, if so, he left no notes or observations on this question.

... operations could encompass far more than those things considered merely

**mechanical** in common parlance, and indeed could emulate human intelligence.

... not least that he, of all people original and socially nonconforming, should be the foremost advocate of the view that the mind was purely

**mechanical**.

You see, there really is no difference between intelligent and

**mechanical**, therefore some functions of our brain, like counting, can be translated into a ...

... or the brain, there are certain operations that can only be explained in purely

**mechanical**terms. This does not correspond to the real mind; ...

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