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

Nyckelord: Computer Science, Theory of Computation, Mathematics of Computing, Mathematical Logic and Foundations