This volume, with a foreword by Sir Roger Penrose, discusses the foundations of computation in relation to nature.It focuses on two main questions: What is computation? How does nature compute? The contributors are world-renowned experts who have helped shape a cutting-edge computational understanding of the universe. They discuss computation in the world from a variety of perspectives, ranging from foundational concepts to pragmatic models to ontological conceptions and philosophical implications.The volume provides a state-of-the-art collection of technical papers and non-technical essays, representing a field that assumes information and computation to be key in understanding and explaining the basic structure underpinning physical reality. It also includes a new edition of Konrad Zuse's "Calculating Space" (the MIT translation), and a panel discussion transcription on the topic, featuring worldwide experts in quantum mechanics, physics, cognition, computation and algorithmic complexity.The volume is dedicated to the memory of Alan M Turing - the inventor of universal computation, on the 100th anniversary of his birth, and is part of the Turing Centenary celebrations.
| Foreword | p. xiii |
| Preface | p. xxxvii |
| Acknowledgements | p. xliii |
| Introducing the Computable Universe | p. 1 |
| Historical, Philosophical & Foundational Aspects of Computation | p. 21 |
| Origins of Digital Computing: Alan Turing, Charles Babbage, & Ada Lovelace | p. 23 |
| Generating, Solving and the Mathematics of Homo Sapiens. E. Post's Views on Computation | p. 45 |
| Machines | p. 63 |
| Effectiveness | p. 77 |
| Axioms for Computability: Do They Allow a Proof of Church's Thesis? | p. 99 |
| The Mathematician's Bias ù and the Return to Embodied Computation | p. 125 |
| Intuitionistic Mathematics and Realizability in the Physical World | p. 143 |
| What is Computation? Actor Model versus Turing's Model | p. 159 |
| Computation in Nature & the Real World | p. 187 |
| Reaction Systems: A Natural Computing Approach to the Functioning of Living Cells | p. 189 |
| Bacteria, Turing Machines and Hyperbolic Cellular Automata | p. 209 |
| Computation and Communication in Unorganized Systems | p. 231 |
| The Many Forms of Amorphous Computational Systems | p. 243 |
| Computing on Rings | p. 257 |
| Life as Evolving Software | p. 277 |
| Computability and Algorithmic Complexity in Economics | p. 303 |
| Blueprint for a Hypercomputer | p. 333 |
| Computation & Physics & the Physics of Computation | p. 345 |
| Information-Theoretic Teleodynamics in Natural and Artificial Systems | p. 347 |
| Discrete Theoretical Processes (DTP) | p. 365 |
| The Fastest Way of Computing All Universes | p. 381 |
| The Subjective Computable Universe | p. 399 |
| What Is Ultimately Possible in Physics? | p. 417 |
| Universality, Turing Incompleteness and Observers | p. 435 |
| Algorithmic Causal Sets for a Computational Spacetime | p. 451 |
| The Computable Universe Hypothesis | p. 479 |
| The Universe is Lawless or "Pantôn chrêmatôn metron anthrôpon einai" | p. 525 |
| Is Feasibility in Physics Limited by Fantasy Alone? | p. 539 |
| The Quantum, Computation & Information | p. 549 |
| What is Computation? (How) Does Nature Compute? | p. 551 |
| The Universe as Quantum Computer | p. 567 |
| Quantum Speedup and Temporal Inequalities for Sequential Actions | p. 583 |
| The Contextual Computer | p. 595 |
| A Gödel-Turing Perspective on Quantum States Indistinguishable from Inside | p. 605 |
| When Humans Do Compute Quantum | p. 617 |
| Open Discussion Section | p. 629 |
| Open Discussion on A Computable Universe | p. 631 |
| Live Panel Discussion (transcription) | p. 671 |
| What is Computation? (How) Does Nature Compute? | p. 673 |
| Zusc's Calculating Space | p. 727 |
| Calculating Space (Rechnender Raum) | p. 729 |
| Afterword to Konrad Zuse's Calculating Space | p. 787 |
| Index | p. 795 |
| Table of Contents provided by Ingram. All Rights Reserved. |
ISBN: 9789814374293
ISBN-10: 9814374296
Audience:
Tertiary; University or College
Format:
Hardcover
Language:
English
Number Of Pages: 450
Published: 31st May 2012
Dimensions (cm): 22.9 x 15.7
x 4.3
Weight (kg): 1.338