Skip to search
Skip to main content
Catalog
Help
Feedback
Your Account
Library Account
Bookmarks
(
0
)
Search History
Search in
Keyword
Title (keyword)
Author (keyword)
Subject (keyword)
Title starts with
Subject (browse)
Author (browse)
Author (sorted by title)
Call number (browse)
search for
Search
Advanced Search
Bookmarks
(
0
)
Princeton University Library Catalog
Start over
Cite
Send
to
SMS
Email
EndNote
RefWorks
RIS
Printer
Bookmark
The once and future Turing : computing the world / [edited by] S. Barry Cooper, University of Leeds, Andrew Hodges, University of Oxford.
Format
Book
Language
English
Published/Created
Cambridge, UK : Cambridge University Press, 2016.
©2016
Description
xviii, 379 pages : illustrations (some color) ; 26 cm
Availability
Copies in the Library
Location
Call Number
Status
Location Service
Notes
Firestone Library - Stacks
QA29.T8 O43 2016
Browse related items
Request
Lewis Library - Stacks
QA29.T8 O43 2016
Browse related items
Request
Details
Subject(s)
Mathematics
—
Great Britain
—
History
—
20th century
[Browse]
Computer science
—
Great Britain
—
History
—
20th century
[Browse]
Cryptography
—
Great Britain
—
History
—
20th century
[Browse]
Turing, Alan 1912-1954
[Browse]
Editor
Cooper, S. B. (S. Barry)
[Browse]
Hodges, Andrew
[Browse]
Library of Congress genre(s)
Essays
[Browse]
Getty AAT genre
essays
[Browse]
Summary note
"Alan Turing (1912-1954) made seminal contributions to mathematical logic, computation, computer science, artificial intelligence, cryptography and theoretical biology. In this volume, outstanding scientific thinkers take a fresh look at the great range of Turing's contributions, on how the subjects have developed since his time, and how they might develop still further. The contributors include Martin Davis, J.M.E. Hyland, Andrew R. Booker, Ueli Maurer, Kanti V. Mardia, S. Barry Cooper, Stephen Wolfram, Christof Teuscher, Douglas Richard Hofstadter, Philip K. Maini, Thomas E. Woolley, Eamonn A. Gaffney, Ruth E. Baker, Richard Gordon, Stuart Kauffman, Scott Aaronson, Solomon Feferman, P.D. Welch and Roger Penrose. These specially commissioned essays will provoke and engross the reader who wishes to understand better the lasting significance of one of the twentieth century's deepest thinkers"--Publisher's description.
Notes
Formerly CIP.
Bibliographic references
Includes bibliographical references.
Contents
Preface
Introduction
Part One: Inside our computable world, and the mathematics of universality. Algorithms, equations, and logic ; The forgotten Turing ; Turing and the primes ; Cryptography and computation after Turing ; Alan Turing and enigmatic statistics
Part Two: The computation of processes, and not computing the brain. What Alan Turing might have discovered ; Designed versus intrinsic computation ; Dull rigid human meets ace mechanical translator
Part Three: The reverse engineering road to computing life. Turing's theory of developmental pattern formation ; Walking tightrope: the dilemma of hierarchical instabilities in Turing's morphogenesis
Part Four: Biology, mind, and the outer reaches of quantum computation. Answering Descartes: beyond Turing ; The ghost in the quantum Turing machine
Part Five: Oracles, infinitary computation, and the physics of the mind. Turing's 'Oracle': from absolute to relative computability and back ; Turing transcendent: beyond the event horizon ; On attempting to model the mathematical mind
Afterword.
pt. One Inside Our Computable World, and the Mathematics of Universality
1. Algorithms, Equations, and Logic / Martin Davis
References
2. Forgotten Turing / J.M.E. Hyland
3. Turing and the Primes / Andrew R. Booker
4. Cryptography and Computation after Turing / Ueli Maurer
4.1. Introduction
4.2. Cryptography
4.3. Computation
4.4. Diffie--Hellman key-agreement protocol
4.5. Discrete logarithms and other computational problems on groups
4.6. Discrete logarithm algorithms
4.7. Abstract models of computation
4.8. Proving security: lower bounds for complexity
4.9. Conclusions
5. Alan luring and Enigmatic Statistics / S. Barry Cooper
5.1. Introduction
5.2. Weight of evidence and empirical Bayes
5.3. Alignment of letters
5.4. Release by GCHQ of two key Turing reports
5.5. Turing's statistics in context
5.6. Morphogenesis, statistics, and Alan Turing's AI
pt. Two Computation of Processes, and Not Computing the Brain
6. What Alan Turing Might Have Discovered / Stephen Wolfram
7. Designed versus Intrinsic Computation / Christof Teuscher
7.1. Top-down versus bottom-up design
7.2. Intrinsic versus designed computation
7.3. Turing's bottom-up computing approach
7.4. From intrinsic to designed computation
7.5. Outlook
8. Dull Rigid Human meets Ace Mechanical Translator / Douglas Richard Hofstadter
pt. Three Reverse Engineering Road to Computing Life
9. Turing's Theory of Developmental Pattern Formation / Ruth E. Baker
9.1. Introduction
9.2. Some developmental applications
9.3. Extending Turing
9.4. Critiquing Turing
9.5. impact of Turing
10. Walking the Tightrope: The Dilemma of Hierarchical Instabilities in Turing's Morphogenesis / Richard Gordon
pt. Four Biology, Mind, and the Outer Reaches of Quantum Computation
11. Answering Descartes: Beyond Turing / Stuart Kauffman
12. Ghost in the Quantum Turing Machine / Scott Aaronson
12.1. Introduction
12.2. FAQ
12.3. Knightian uncertainty and physics
12.4. Freedom from the inside out
12.5. Further objections
12.6. Comparison with Penrose's views
12.7. `Application' to Boltzmann brains
12.8. Indexicality and freebits
12.9. Is the freebit picture falsifiable-- 12.10. Conclusions
12A. Appendix: Defining `freedom'
12B. Appendix: Prediction and Kolmogorov complexity
12C. Appendix: Knightian quantum states
pt. Five Oracles, Infinitary Computation, and the Physics of the Mind
13. Turing's `Oracle': From Absolute to Relative Computability and Back / Solomon Feferman
13.1. Introduction
13.2. `Absolute' effective computability
13.3. Relative effective computability over the natural numbers
13.4. Uniform relative computability over the natural numbers
13.5. Generalized recursion theory
13.6. role of notions of relative computability in actual computation
Postscript
14. Turing Transcendent: Beyond the Event Horizon / P.D. Welch
14.1. beginning
14.2. Limit decidable
14.3. Malament--Hogarth spacetimes
14.4. Infinite ordinals: beyond arithmetical
14.5. Returning to MH spacetimes
14.6. α0-mind
14.7. Infinite-time Turing machines
14.8. Register machines and other generalisations
14.9. Conclusions
15. On Attempting to Model the Mathematical Mind / Roger Penrose
15.1. Turing's ordinal logics
15.2. Mathematical trust
15.3. Physical processes underlying mathematical understanding-- 15.4. Π-sentences
15.5. Cautious oracles
15.6. operation of cautious-oracle devices
15.7. Godel-type theorem for cautious-oracle devices
15.8. Physical implications.
Show 86 more Contents items
Other format(s)
Also issued online.
Other title(s)
Computing the world
ISBN
9781107010833 ((hardback))
1107010837 ((hardback))
9780521282505
0521282500
OCLC
947093872
Statement on language in description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage.
Read more...
Other views
Staff view
Ask a Question
Suggest a Correction
Report Harmful Language
Supplementary Information