Mathematics, Metaphysics and the Multiverse

Abstract

It would be nice if science answered all questions about our universe. In the past, mathematics has not just provided the language in which to frame suitable scientific answers, but was also able to give us clear indications of its own limitations. The former was able to deliver results via an ad hoc interface between theory and experiment. But to characterise the power of the scientific approach, one needs a parallel higher-order understanding of how the working scientist uses mathematics, and the development of an informative body of theory to clarify and expand this understanding. We argue that this depends on us selecting mathematical models which take account of the 'thingness' of reality, and puts the mathematics in a correspondingly rich informationtheoretic context. The task is to restore the role of embodied computation and its hierarchically arising attributes. The reward is an extension of our understanding of the power and limitations of mathematics, in the mathematical context, to that of the real world. Out of this viewpoint emerges a widely applicable framework, with not only epistemological, but also ontological consequences -one which uses Turing invariance and its putative breakdowns to confirm what we observe in the universe, to give a theoretical status to the dichotomy between quantum and relativistic domains, and which removes the need for many-worlds and related ideas. In particular, it is a view which confirms that of many quantum theorists -that it is the quantum world that is 'normal', and our classical level of reality which is strange and harder to explain. And which complements fascinating work of Cristian Calude and his collaborators on the mathematical characteristics of quantum randomness, and the relationship of 'strong determinism' to computability in nature.Academics have ever been able to build successful (and very useful) careers within the bounds of 'normal science', and to revel in a near-Laputian unworldliness. But science would not progress half so well without a leavening of the less conventional, and an occasional engagement with the real-world. Particularly appropriate to the Turing Centenary, this short piece is dedicated to Cristian Calude on his sixtieth birthday -a researcher not just of formidable expertise, but one whose innovative work on real problems related to physics and randomness has much enriched our understanding of the world around us. This relevance ?

Incomputability at the foundations of physics (A study in the philosophy of science)

“…In the last decade Barry Cooper (e.g., in [14][15][16]) has been stressing that the Turing universe can model the inevitable incomputability of the physical world. However, the Turing universe does not establish a clear link between Computability and Physics.…”