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.

 

Lietotāju komentāri - Rakstīt atsauksmi

LibraryThing Review

Lietotāja recenzija  - fpagan - LibraryThing

This 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

an Introductory Biography
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
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