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

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 possibility of constructing such a machine, for he certainly interested himself in ...

For after 1943 Turing knew from Bletchley Park work that largescale

**digital**electronic machinery had the speed and ... And so, at the end of the Second World War, he had a plan for an electronic

**computer**, but it was motivated not by ...

The vexed question of the emergence of the

**digital computer**in 1945, and of Turing's relationship with von Neumann, remains a gap at the heart of 20"-century technology. The true genesis of his Artificial Intelligence program during the ...

Esat sasniedzis šīs grāmatas aplūkošanas reižu limitu.

Esat sasniedzis šīs grāmatas aplūkošanas reižu limitu.

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