Cooper, S. Barry
The Incomputable
1. Introduction
Mariya I. Soskova
Part I. Challenging Turing: Extended Models of Computation
2. Ivan Soskov: A Life in Computability
Hristo Ganchev, Dimiter Skordev
3. Physical Logic
Kate Clements, Fay Dowker, Petros Wallden
4. From Quantum Foundations via Natural Language Meaning to a Theory of Everything
Bob Coecke
Part II. The Search for “Natural” Examples of Incomputable Objects
5. Some Recent Research Directions in the Computably Enumerable Sets
Peter A. Cholak
6. Uncomputability and Physical Law
Seth Lloyd
7. Algorithmic Economics: Incomputability, Undecidability and Unsolvability in Economics
K. Vela Velupillai
Part III. Mind, Matter and Computation
8. Is Quantum Physics Relevant for Life?
Vlatko Vedral
9. Trouble with Computation: A Refutation of Digital Ontology
J. Mark Bishop
Part IV. The Nature of Information: Complexity and Randomness
10. Complexity Barriers as Independence
Antonina Kolokolova
11. Quantum Randomness: From Practice to Theory and Back
Cristian S. Calude
12. Calculus of Cost Functions
André Nies
Part V. The Mathematics of Emergence and Morphogenesis
13. Turing’s Theory of Morphogenesis: Where We Started, Where We Are and Where We Want to Go
Thomas E. Woolley, Ruth E. Baker, Philip K. Maini
14. Construction Kits for Biological Evolution
Aaron Sloman
Avainsanat: Computer Science, Theory of Computation, Mathematics of Computing, Mathematical Logic and Foundations
- Toimittaja
- Cooper, S. Barry
- Soskova, Mariya I.
- Julkaisija
- Springer
- Julkaisuvuosi
- 2017
- Kieli
- en
- Painos
- 1
- Sarja
- Theory and Applications of Computability
- Sivumäärä
- 10 sivua
- Kategoria
- Tietotekniikka, tietoliikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9783319436692
- Painetun ISBN
- 978-3-319-43667-8