Quantum Gravity and Computation

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, as well as 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 to formal proofs and programs; and the new philosophical fulcrum supporting these new avenues is inspired in constructivism of 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.