Turing's legacy : developments from Turing's ideas in logic / edited by Rod Downey, Victoria University of Wellington.
"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 ar...
Saved in:
| Online Access: |
Full Text (via ProQuest) |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Cambridge :
Cambridge University Press,
2014.
|
| Series: | Lecture notes in logic ;
42. |
| Subjects: |
Table of 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.