Alan Turing: Life and Legacy of a Great Thinker

Pirmais vāks
Christof 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

Saturs

an Introductory Biography
3
Hacking the Turing Test
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
Autortiesības

Citi izdevumi - Skatīt visu

Bieži izmantoti vārdi un frāzes

Par autoru (2013)

Christof Teuscher holds an electronic engineer degree and received the diploma degree in computer engineering (equivalent to a MSCS degree) from the Swiss Federal Institute of Technology at Lausanne (EPFL) in 2000. Since then, he has been a research and teaching assistant in the Logic Systems Laboratory at EPFL, pursuing the Ph.D. degree in the field of biologically-inspired computing machines.

Christof Teuscher's work has been honored with several awards. His first book has been published by Springer-Verlag in 2001: Turing's Connectionism: An Investigation of Neural Network Architectures. He was head of the BioWall project that was widely covered by the media. Christof's second book - Alan Turing: Life and Legacy of a Great Thinker - will be published in 2003. Christof has also been nominated for a fellowship at the Center for Advanced Study in the Behavioral Sciences at Stanford University.

Christof Teuscher is the initiator and organizer of the Turing Day and an organizer and program chair of the 5th International Workshop on Information Processing in Cells in Tissues, IPCAT2003. He is also a member of the program committee of the 5th International Conference on Evolvable Systems: From Biology to Hardware, ICES'03, of the 7th European Conference on Artificial Life, ECAL2003, and of the NASA/DoD Conference on Evolvable Hardware, EH-2003.

Bibliogrāfiskā informācija