Foreword: A Computable Universe, Understanding Computation and Exploring Nature As Computation

I am most honoured to have the privilege to present the Foreword to this fascinating and wonderfully varied collection of contributions, concerning the nature of computation and of its deep connection with the operation of those basic laws, known or yet unknown, governing the universe in which we live. Fundamentally deep questions are indeed being grappled with here, and the fact that we find so many different viewpoints is something to be expected, since, in truth, we know little about the foundational nature and origins of these basic laws, despite the immense precision that we so often find revealed in them. Accordingly, it is not surprising that within the viewpoints expressed here is some unabashed speculation, occasionally bordering on just partially justified guesswork, while elsewhere we find a good deal of precise reasoning, some in the form of rigorous mathematical theorems. Both of these are as should be, for without some inspired guesswork we cannot have new ideas as to where look in order to make genuinely new progress, and without precise mathematical reasoning, no less than in precise observation, we cannot know when we are right -- or, more usually, when we are wrong.

[1]  H. Everett.  "Relative State" Formulation of Quantum Mechanics , 1957 .

[2]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[3]  R. Penrose.  Gravitational collapse and spacetime singularities , 1965 .

[4]  A. Sakharov.  Vacuum Quantum Fluctuations in Curved Space and the Theory of Gravitation , 2000 .

[5]  A. Turing.  ROUNDING-OFF ERRORS IN MATRIX PROCESSES , 1948 .

[6]  R. L. Goodstein,et al.  On the restricted ordinal theorem , 1944, Journal of Symbolic Logic.

[7]  R. Penrose.  On Gravity's role in Quantum State Reduction , 1996 .

[8]  R. Penrose,et al.  Conscious Events as Orchestrated Space-Time Selections , 1996 .

[9]  R. Penrose.  The twistor approach to space-time structures , 2005 .

[10]  Diósi,et al.  Models for universal reduction of macroscopic quantum fluctuations. , 1989, Physical review. A, General physics.

[11]  Mike Stannett,et al.  Computation and Hypercomputation , 2003, Minds and Machines.

[12]  A. Ashtekar,et al.  Background independent quantum gravity: a status report , 2004 .

[13]  Abhay Ashtekar,et al.  100 years of relativity : space-time structure : Einstein and beyond , 2005 .

[14]  M. B. Pour-El,et al.  The wave equation with computable initial data such that its unique solution is not computable , 1981 .

[15]  R. Penrose.  Angular Momentum: an Approach to Combinatorial Space-Time , 1971 .

[16]  Douglas S. Bridges,et al.  Can Constructive Mathematics be Applied in Physics? , 1999, J. Philos. Log..

[17]  J. Neumann.  Mathematical Foundations of Quantum Mechanics , 1955 .

[18]  S. Cooper,et al.  Systems of Logic Based on Ordinals , 2013 .

[19]  Lenore Blum,et al.  Alan turing and the other theory of computation , 2012, ITiCSE '12.

[20]  Computing Machinery and Intelligence Mind Vol. 59 , 2022 .

[21]  Marian Boykan Pour-El,et al.  Computability in analysis and physics , 1989, Perspectives in Mathematical Logic.

[22]  J. Kaplan,et al.  The S-matrix in twistor space , 2009, 0903.2110.

[23]  A. M. Turing,et al.  Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.

[24]  J. Paris,et al.  Accessible Independence Results for Peano Arithmetic , 1982 .

[25]  Roger Penrose,et al.  On the structure of causal spaces , 1967, Mathematical Proceedings of the Cambridge Philosophical Society.

[26]  R. Penrose.  Black holes, quantum theory and cosmology , 2009 .

[27]  R. Penrose,et al.  The singularities of gravitational collapse and cosmology , 1970, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[28]  Stephen Wolfram,et al.  A New Kind of Science , 2003, Artificial Life.

[29]  Roger Penrose,et al.  Consciousness in the Universe: Neuroscience, Quantum Space-Time Geometry and Orch OR Theory , 2011 .

[30]  Max Tegmark,et al.  The importance of quantum decoherence in brain processes , 1999, ArXiv.

[31]  Navot Israeli,et al.  Computational irreducibility and the predictability of complex physical systems. , 2003, Physical review letters.

[32]  Klaus Weihrauch,et al.  Computable Analysis: An Introduction , 2014, Texts in Theoretical Computer Science. An EATCS Series.

[33]  Jean-Paul Delahaye,et al.  On the Algorithmic Nature of the World , 2009, ArXiv.

[34]  Hector Zenil,et al.  Empirical Encounters with Computational Irreducibility and Unpredictability , 2011, Minds and Machines.

[35]  B. Blank,et al.  The Road to Reality : A Complete Guide to the Laws of the Universe , 2006 .

[36]  Christoph Simon,et al.  Towards quantum superpositions of a mirror , 2004 .

[37]  Wolfgang Tittel,et al.  Experimental demonstration of quantum-correlations over more than 10 kilometers , 1997 .

[38]  Alan M. Turing,et al.  Computability and λ-definability , 1937, Journal of Symbolic Logic.