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

Did Alan Turing really think that the intelligence level of

**human**geniuses was essentially a dream-like asymptotic goal for machines rather than an ...

... the old days when

**human**beings were once their intellectual superiors? ... machine intelligence would be to

**human**intelligence as

**human**intelligence ...

From emulation to empathy for adult

**human**minds are, in a certain Sense, universal Turing machines, and the other Turing machines that we spend most of ...

He was a

**human**being whose complexity and whose insight surpassed those of nearly all other

**human**beings, and yet he too succumbed to the same types of ...

Fully to fathom even one other

**human**being is far beyond our intellectual capacity indeed, fully to fathom even one's own self is an idea that quickly ...

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