Alan Turing: Life and Legacy of a Great ThinkerChristof Teuscher Springer Science & Business Media, 2013. gada 29. jūn. - 542 lappuses Alan 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 70.
... be studied by writing 1's and O's on a long tape , there was in principle no limit to the complexity of structures that could be created in his machines . And this in turn led him to the idea of a " universal " machine one X Foreword.
... tape - he mirrored hundreds of such machines , also imperfectly though deeply . And out of these imperfect , partial mirrorings came powerful yearnings -yearnings to talk , to joke , to play , to share , to touch . Out of those mul ...
... tape , an image of 1930s modernity . It was this concreteness which made Turing's definition of com- putability much more satisfactory than the mathematical definition offered by Alonzo Church , the Princeton logician who led the field ...
... tape .. an endless tape ... From a certain point of view one can say that the machine thinks , or at least reproduces some thought functions . ( Ethel's eyes are on stalks , Julius ' mouth is half - open in amazement , and John shifts ...
... tape , rules that modify the programming rules , let's say . This way the program could learn and adapt itself — just like human beings to a changing en- vironment and to circumstances that it perceives through the combinations 28 V.
Saturs
3 | |
9 | |
References | 40 |
Churchs Thesis and Copelands Thesis | 47 |
Computability and Quantum Physics | 53 |
From Turing to the Information Society | 59 |
Reproducing Every Bodily Element | 65 |
The Mechanization of Mathematics | 77 |
The Software of Intelligence | 395 |
Reverse Engineering the Human Brain | 397 |
Scanning from Inside | 398 |
Downloading the Human Brain | 399 |
Is the Human Brain Different from a Computer? | 401 |
The Importance of Having a Body | 402 |
So Just Who Are These People? | 403 |
A Thought Experiment | 404 |
The First TheoremProvers | 84 |
Kinds of Mathematical Reasoning | 95 |
Decision Procedures in Algebra and Geometry | 103 |
Equality Reasoning | 110 |
Searching for Proofs | 117 |
Conclusion | 124 |
Hypercomputational Models | 135 |
Hypercomputer Engineering | 149 |
Turings Ideas and Models of Computation | 158 |
SuperTuring Computation | 179 |
Towards a New Kind of Computer Science | 185 |
Conclusions | 191 |
The Myth of Hypercomputation | 195 |
Turings OMachines | 204 |
References | 210 |
The Turing Principle Versus the ChurchTuring Hypothesis | 217 |
The Computational Analogy | 227 |
Conclusion | 238 |
135 | 239 |
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 |
149 | 305 |
Eyes Ears Hands and History | 310 |
Artificial Intelligence | 328 |
Postscript | 345 |
150 | 356 |
Robots and RuleFollowing | 359 |
159 | 365 |
References | 377 |
DNA Sequencing Memory Communications the Internet | 391 |
On Tubules and Quantum Computing | 406 |
A Clear and Future Danger | 408 |
Living Forever | 412 |
The Next Step in Evolution and the Purpose of Life | 413 |
Why Intelligence Is More Powerful than Physics | 415 |
The Enigma | 417 |
The Polish Brains Behind the Breaking of the Enigma Code Before and During the Second World War 419 | 418 |
The Cryptology Course in Poznań | 420 |
The Enigma | 421 |
The International Cooperation | 423 |
The Breaking of the Enigma System | 424 |
The New Devices as a Reaction to Changes in the Enigma Settings | 426 |
French and British Efforts at Breaking Enigma | 427 |
The Bombe as a Response to Further Changes in the Enigma System | 428 |
The Gift to the Allies | 429 |
The Mathematical Solution of Enigma | 430 |
Epilogue | 435 |
References | 438 |
Alan Turing at Bletchley Park in World War II | 441 |
Cribs and Opened Out Enigmas | 444 |
The E Rack | 451 |
Adding the Diagonal Board to the Bombe | 453 |
Alan Turing and the German Navys Use of Enigma | 454 |
Alan Turing after German Naval Enigma | 460 |
A Appendix II of UK Public Record Office Document HW142 | 461 |
170 | 467 |
Turing and Fibonacci Phyllotaxis | 477 |
Turing and Modern Approaches to Fibonacci Phyllotaxis | 493 |
Turings Unorganized Machines | 506 |
Organizing Unorganized Machines | 519 |
179 | 527 |
Index | 535 |
188 | 536 |