Hatem Elshatlawy

Stephen Wolfram has recently outlined an unorthodox, multicomputational approach to fundamental theory, encompassing not only physics but also mathematics in a structure he calls The Ruliad, understood to be the entangled limit of all possible computations. In this framework, physical laws arise from the the sampling of the Ruliad by observers (including us). This naturally leads to several conceptual issues, such as what kind of object is the Ruliad? What is the nature of the observers carrying out the sampling, and how do they relate to the Ruliad itself? What is the precise nature of the sampling? This paper provides a philosophical examination of these questions, and other related foundational issues, including the identification of a limitation that must face any attempt to describe or model reality in such a way that the modeller-observers are included.

How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation. We discuss the philosophy of pregeometric structures due to Wheeler, Leibniz as well as modern manifestations in topos theory. We draw attention to evidence suggesting that the framework of formal language, in particular, homotopy type theory, provides the conceptual building blocks for a theory of pregeometry. This work is largely a synthesis of ideas that serve as a precursor for conceptualizing the notion of space in physical theories. In particular, the approach we espouse is based on a constructivist philosophy, wherein ``structureless structures'' are syntactic types realizing formal proofs and programs. Spaces and algebras relevant to physical theories are modeled as type-theoretic routines constructed from compositional rules of a formal language. This offers the remarkable possibility of taxonomizing distinct notions of geometry using a common theoretical framework. In particular, this perspective addresses the crucial issue of how spatiality may be realized in models that link formal computation to physics, such as the Wolfram model.