This volume argues that concepts from the theory of computation-including information theory, formal languages, and discrete structures-might provide novel paths towards a solution to the problem of quantum gravity. By combining elements of physics with computer science and mathematics, the volume proposes to transform the foundations of spacetime physics and bring it into the digital age.

In recent years, it has become increasingly apparent a new theoretical framework will be needed to solve the problem of quantum gravity. This kind of framework-sometimes referred to as "pregeometry" or even "prephysics"-goes beyond conventional mathematical conceptions of space, time, and matter, seeking their building blocks in more fundamental elements. The essays in this volume explore this approach from a variety of perspectives, including physics-based, mathematical, computational, and philosophical. The new formal frameworks needed to discuss such approaches have their roots in homotopy type theory, formal language theory, and higher category theory; the computational perspective is informed by connections between pregeometric structures and formal proofs and programs. The new philosophical fulcrum supporting these new avenues is inspired by constructivism and meta-structures. By probing at a level of structure beneath the ordinary structures used in general relativity and quantum mechanics, this volume seeks to find new ways of showing how these higher-order structures can be constructed from the deeper elements.

Quantum Gravity and Computation is an essential resource for scholars and graduate students interested in the philosophy of physics, quantum mechanics, and computational science.

Autorentext

Dean Rickles is Professor of History and Philosophy of Modern Physics at the University of Sydney, where he is also Co-Director of the University's interdisciplinary Centre of Time. Recent books include Dual-Aspect Monism and the Deep Structure of Meaning (co-authored with Harald Atmanspacher; Routledge 2022); and Life is Short (2022).

Xerxes D. Arsiwalla is a Mathematical Physics Fellow at the Wolfram Institute for Computational Foundations of Science, working on quantum foundations, pregeometry, higher category theory, formal language, and consciousness. He is an Academic Director of Physics Programs at Wolfram Research USA and a Co-Founder of the Association for Mathematical Consciousness Science (AMCS).

Hatem Elshatlawy is an interdisciplinary researcher working at the intersection of theoretical physics, computation, and philosophy. Formerly a Research Consultant at Wolfram Research, he has contributed to developments in observer theory, multi-computation, and metamathematics. His interests include constructivist foundations of physics, physics of computation, and the computation of physics.