Quantum Gravity and Computation: Information, Pregeometry, and Digital Physics
Authors:
Dean Rickles
Xerxes D. Arsiwalla
Hatem Elshatlawy
Abstract:
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.
Permalink:
https://www.google.co.in/books/edition/_/gfGTEQAAQBAJ?hl=en&gbpv=0