Foreword |
|
xiii | |
|
Preface |
|
xxxvii | |
Acknowledgements |
|
xliii | |
|
1 Introducing the Computable Universe |
|
|
1 | (20) |
|
|
Historical, Philosophical & Foundational Aspects of Computation |
|
|
21 | (166) |
|
2 Origins of Digital Computing: Alan Turing, Charles Babbage, & Ada Lovelace |
|
|
23 | (22) |
|
|
3 Generating, Solving and the Mathematics of Homo Sapiens. E. Post's Views on Computation |
|
|
45 | (18) |
|
|
|
63 | (14) |
|
|
|
77 | (22) |
|
|
|
6 Axioms for Computability: Do They Allow a Proof of Church's Thesis? |
|
|
99 | (26) |
|
|
7 The Mathematician's Bias --- and the Return to Embodied Computation |
|
|
125 | (18) |
|
|
8 Intuitionistic Mathematics and Realizability in the Physical World |
|
|
143 | (16) |
|
|
9 What is Computation? Actor Model versus Turing's Model |
|
|
159 | (28) |
|
|
Computation in Nature & the Real World |
|
|
187 | (158) |
|
10 Reaction Systems: A Natural Computing Approach to the Functioning of Living Cells |
|
|
189 | (20) |
|
|
|
|
|
11 Bacteria, Turing Machines and Hyperbolic Cellular Automata |
|
|
209 | (22) |
|
|
12 Computation and Communication in Unorganized Systems |
|
|
231 | (12) |
|
|
13 The Many Forms of Amorphous Computational Systems |
|
|
243 | (14) |
|
|
|
257 | (20) |
|
|
|
|
15 Life as Evolving Software |
|
|
277 | (26) |
|
|
16 Computability and Algorithmic Complexity in Economics |
|
|
303 | (30) |
|
|
|
17 Blueprint for a Hypercomputer |
|
|
333 | (12) |
|
|
Computation & Physics & the Physics of Computation |
|
|
345 | (204) |
|
18 Information-Theoretic Teleodynamics in Natural and Artificial Systems |
|
|
347 | (18) |
|
|
|
19 Discrete Theoretical Processes (DTP) |
|
|
365 | (16) |
|
|
20 The Fastest Way of Computing All Universes |
|
|
381 | (18) |
|
|
21 The Subjective Computable Universe |
|
|
399 | (18) |
|
|
22 What Is Ultimately Possible in Physics? |
|
|
417 | (18) |
|
|
23 Universality, Turing Incompleteness and Observers |
|
|
435 | (16) |
|
|
24 Algorithmic Causal Sets for a Computational Spacetime |
|
|
451 | (28) |
|
|
25 The Computable Universe Hypothesis |
|
|
479 | (46) |
|
|
26 The Universe is Lawless or "Panton chrematon metron anthropon einai" |
|
|
525 | (14) |
|
|
|
|
27 Is Feasibility in Physics Limited by Fantasy Alone? |
|
|
539 | (10) |
|
|
|
The Quantum, Computation & Information |
|
|
549 | (80) |
|
28 What is Computation? (How) Does Nature Compute? |
|
|
551 | (16) |
|
|
29 The Universe as Quantum Computer |
|
|
567 | (16) |
|
|
30 Quantum Speedup and Temporal Inequalities for Sequential Actions |
|
|
583 | (12) |
|
|
31 The Contextual Computer |
|
|
595 | (10) |
|
|
32 A Godel-Turing Perspective on Quantum States Indistinguishable from Inside |
|
|
605 | (12) |
|
|
33 When Humans Do Compute Quantum |
|
|
617 | (12) |
|
|
|
629 | (42) |
|
34 Open Discussion on A Computable Universe |
|
|
631 | (40) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Live Panel Discussion (transcription) |
|
|
671 | (56) |
|
35 What is Computation? (How) Does Nature Compute? |
|
|
673 | (54) |
|
|
|
|
|
|
|
|
|
727 | (60) |
|
36 Calculating Space (Rechnender Raum) |
|
|
729 | (58) |
|
Afterword to Konrad Zuse's Calculating Space |
|
787 | (8) |
|
|
Index |
|
795 | |