Item Details

Print View

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' code-breaking 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 Church-Turing 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 common-sense 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 4500
    001 u6366698
    003 SIRSI
    005 20140925161115.0
    008 140106t20142014enka b 001 0deng
    010
      
      
    a| 2014000240
    020
      
      
    a| 9781107043480 (hardback)
    020
      
      
    a| 1107043484 (hardback)
    035
      
      
    a| (Sirsi) o867717052
    035
      
      
    a| (OCoLC)867717052
    040
      
      
    a| DLC e| rda b| eng c| DLC d| YDX d| OCLCO d| BTCTA d| YDXCP d| OCLCO d| CDX d| OCLCF d| CDX
    042
      
      
    a| pcc
    050
    0
    0
    a| QA267.7 b| .T87 2014
    082
    0
    0
    a| 510.92 2| 23
    084
      
      
    a| MAT018000 2| bisacsh
    245
    0
    0
    a| Turing's legacy : b| developments from Turing's ideas in logic / c| edited by Rod Downey (Victoria University of Wellington).
    264
      
    1
    a| Cambridge, United Kingdom : b| Cambridge University Press : b| Association for Symbolic Logic, c| 2014.
    264
      
    4
    c| ©2014
    300
      
      
    a| x, 529 pages : b| illustrations (some color) ; c| 24 cm.
    336
      
      
    a| text 2| rdacontent
    337
      
      
    a| unmediated 2| rdamedia
    338
      
      
    a| volume 2| rdacarrier
    490
    1
      
    a| Lecture notes in logic ; v| 42
    504
      
      
    a| Includes bibliographical references.
    505
      
      
    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 common-sense 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.
    520
      
      
    a| "Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking 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 Church-Turing 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.
    600
    1
    0
    a| Turing, Alan Mathison, d| 1912-1954.
    650
      
    0
    a| Computational complexity.
    650
      
    0
    a| Machine theory.
    700
    1
      
    a| Downey, R. G. q| (Rod G.), e| editor of compilation.
    830
      
    0
    a| Lecture notes in logic ; v| 42.
    856
    4
    2
    3| Cover image u| http://proxy01.its.virginia.edu/login?url=http://assets.cambridge.org/97811070/43480/cover/9781107043480.jpg
    596
      
      
    a| 5
    999
      
      
    a| QA267.7 .T87 2014 w| LC i| X031651089 l| STACKS m| SCI-ENG t| BOOK
▾See more
▴See less

Availability

Google Preview

Google Books Preview
Library Location Map Availability Call Number
Brown Science and Engineering Stacks N/A Available