Item Details
Turing's Legacy: Developments From Turing's Ideas in Logic
edited by Rod Downey (Victoria University of Wellington)
 Format
 Book
 Published
 Cambridge, United Kingdom : Cambridge University Press : Association for Symbolic Logic, 2014.
 Language
 English
 Series
 Lecture Notes in Logic
 ISBN
 9781107043480 (hardback), 1107043484 (hardback)
 Related Resources
 Cover image
 Summary
 "Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' codebreaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas from information theory to computer chess. His ideas have been extraordinarily influential in modern mathematics and this book traces such developments by bringing together essays by leading experts in logic, artificial intelligence, computability theory and related areas. Together, they give insight into this fascinating man, the development of modern logic, and the history of ideas. The articles within cover a diverse selection of topics, such as the development of formal proof, differing views on the ChurchTuring thesis, the development of combinatorial group theory, and Turing's work on randomness which foresaw the ideas of algorithmic randomness that would emerge many years later"
 Contents
 Turing's legacy: developments from Turing's ideas in logic / Rod Downey
 1. Computability and analysis: the legacy of Alan Turing / Jeremy Avigad and Vasco Brattka
 2. Alan Turing and the other theory of computation (expanded) / Lenore Blum
 3. Turing in Quantumland / Harry Buhrman
 4. Computability theory, algorithmic randomness and Turing's anticipation / Rod Downey
 5. Computable model theory / Ekaterina B. Fokina, Valentina Harizanov and Alexander Melnikov
 6. Towards commonsense reasoning via conditional simulation: legacies of Turing in artificial intelligence / Cameron E. Freer, Daniel M. Roy, and Joshua B. Tenenbaum
 7. Mathematics in the age of the Turing machine / Thomas C. Hales
 8. Turing and the development of computational complexity / Steven Homer and Alan L. Selman
 9. Turing machines to word problems / Charles F. Miller, III
 10. Musings on Turing's thesis / Anil Nerode
 11. Higher generalizations of the Turing model / Dag Normann
 12. Step by recursive step: Church's analysis of effective calculability / Wilfried Sieg
 13. Turing and the discovery of computability / Robert Irving Soare
 14. Transfinite machine models / P. D. Welch.
 Description
 x, 529 pages : illustrations (some color) ; 24 cm.
 Notes
 Includes bibliographical references.
 Series Statement
 Lecture notes in logic ; 42
 Technical Details

 Access in Virgo Classic
 Staff View
LEADER 04124cam a2200613 i 4500001 u6366698003 SIRSI005 20140925161115.0008 140106t20142014enka b 001 0denga 2014000240a 9781107043480 (hardback)a 1107043484 (hardback)a (Sirsi) o867717052a (OCoLC)867717052a DLC e rda b eng c DLC d YDX d OCLCO d BTCTA d YDXCP d OCLCO d CDX d OCLCF d CDXa pcca QA267.7 b .T87 2014a 510.92 2 23a MAT018000 2 bisacsha Turing's legacy : b developments from Turing's ideas in logic / c edited by Rod Downey (Victoria University of Wellington).a Cambridge, United Kingdom : b Cambridge University Press : b Association for Symbolic Logic, c 2014.c ©2014a x, 529 pages : b illustrations (some color) ; c 24 cm.a text 2 rdacontenta unmediated 2 rdamediaa volume 2 rdacarriera Lecture notes in logic ; v 42a Includes bibliographical references.a Turing's legacy: developments from Turing's ideas in logic / Rod Downey  1. Computability and analysis: the legacy of Alan Turing / Jeremy Avigad and Vasco Brattka  2. Alan Turing and the other theory of computation (expanded) / Lenore Blum  3. Turing in Quantumland / Harry Buhrman  4. Computability theory, algorithmic randomness and Turing's anticipation / Rod Downey  5. Computable model theory / Ekaterina B. Fokina, Valentina Harizanov and Alexander Melnikov  6. Towards commonsense reasoning via conditional simulation: legacies of Turing in artificial intelligence / Cameron E. Freer, Daniel M. Roy, and Joshua B. Tenenbaum  7. Mathematics in the age of the Turing machine / Thomas C. Hales  8. Turing and the development of computational complexity / Steven Homer and Alan L. Selman  9. Turing machines to word problems / Charles F. Miller, III  10. Musings on Turing's thesis / Anil Nerode  11. Higher generalizations of the Turing model / Dag Normann  12. Step by recursive step: Church's analysis of effective calculability / Wilfried Sieg  13. Turing and the discovery of computability / Robert Irving Soare  14. Transfinite machine models / P. D. Welch.a "Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' codebreaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas from information theory to computer chess. His ideas have been extraordinarily influential in modern mathematics and this book traces such developments by bringing together essays by leading experts in logic, artificial intelligence, computability theory and related areas. Together, they give insight into this fascinating man, the development of modern logic, and the history of ideas. The articles within cover a diverse selection of topics, such as the development of formal proof, differing views on the ChurchTuring thesis, the development of combinatorial group theory, and Turing's work on randomness which foresaw the ideas of algorithmic randomness that would emerge many years later" c Provided by publisher.a Turing, Alan Mathison, d 19121954.a Computational complexity.a Machine theory.a Downey, R. G. q (Rod G.), e editor of compilation.a Lecture notes in logic ; v 42.3 Cover image u http://proxy01.its.virginia.edu/login?url=http://assets.cambridge.org/97811070/43480/cover/9781107043480.jpga 5a QA267.7 .T87 2014 w LC i X031651089 l STACKS m SCIENG t BOOK
Availability
Library  Location  Map  Availability  Call Number 

Brown Science and Engineering  Stacks  N/A  Available 
QA267.7 .T87 2014 