Pregeometry, Formal Language and Constructivist Foundations of Physics
- URL: http://arxiv.org/abs/2311.03973v1
- Date: Tue, 7 Nov 2023 13:19:29 GMT
- Title: Pregeometry, Formal Language and Constructivist Foundations of Physics
- Authors: Xerxes D. Arsiwalla, Hatem Elshatlawy, Dean Rickles
- Abstract summary: We discuss the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation.
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.
- Score: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: 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.
Related papers
- Learning Discrete Concepts in Latent Hierarchical Models [73.01229236386148]
Learning concepts from natural high-dimensional data holds potential in building human-aligned and interpretable machine learning models.
We formalize concepts as discrete latent causal variables that are related via a hierarchical causal model.
We substantiate our theoretical claims with synthetic data experiments.
arXiv Detail & Related papers (2024-06-01T18:01:03Z) - Constructor Theory as Process Theory [0.0]
We show how to formulate fundamental notions of constructor theory within the canvas of process theory.
We answer the question of how constructor theory relates to the broader body of process-theoretic literature.
arXiv Detail & Related papers (2023-12-14T12:58:55Z) - The Generative Programs Framework [0.0]
We argue that any quantitative physical theory can be represented in the form of a generative program.
We suggest that these graphs can be interpreted as encoding relations of ontological priority,' and that ontological priority is a suitable generalisation of causation.
arXiv Detail & Related papers (2023-07-21T00:57:05Z) - A Category-theoretical Meta-analysis of Definitions of Disentanglement [97.34033555407403]
Disentangling the factors of variation in data is a fundamental concept in machine learning.
This paper presents a meta-analysis of existing definitions of disentanglement.
arXiv Detail & Related papers (2023-05-11T15:24:20Z) - Geometry Interaction Knowledge Graph Embeddings [153.69745042757066]
We propose Geometry Interaction knowledge graph Embeddings (GIE), which learns spatial structures interactively between the Euclidean, hyperbolic and hyperspherical spaces.
Our proposed GIE can capture a richer set of relational information, model key inference patterns, and enable expressive semantic matching across entities.
arXiv Detail & Related papers (2022-06-24T08:33:43Z) - A Mathematical Framework for Transformations of Physical Processes [0.7614628596146599]
We observe that the existence of sequential and parallel composition supermaps in higher order physics can be formalised using enriched category theory.
We use the enriched monoidal setting to construct a suitable definition of structure preserving map between higher order physical theories.
In a second application we use our definition of structure preserving map to show that categories containing infinite towers of enriched monoidal categories with full and faithful structure preserving maps between them inevitably lead to closed monoidal structures.
arXiv Detail & Related papers (2022-04-08T22:53:02Z) - Quantum realism: axiomatization and quantification [77.34726150561087]
We build an axiomatization for quantum realism -- a notion of realism compatible with quantum theory.
We explicitly construct some classes of entropic quantifiers that are shown to satisfy almost all of the proposed axioms.
arXiv Detail & Related papers (2021-10-10T18:08:42Z) - Geometric and algebraic approaches to quantum theory [0.0]
We show how to formulate physical theory taking as a starting point the set of states.
The equations of motion and the formulas for probabilities of physical quantities are analyzed.
arXiv Detail & Related papers (2021-02-18T06:39:01Z) - Formalising Concepts as Grounded Abstractions [68.24080871981869]
This report shows how representation learning can be used to induce concepts from raw data.
The main technical goal of this report is to show how techniques from representation learning can be married with a lattice-theoretic formulation of conceptual spaces.
arXiv Detail & Related papers (2021-01-13T15:22:01Z) - Preferred basis, decoherence and a quantum state of the Universe [77.34726150561087]
We review a number of issues in foundations of quantum theory and quantum cosmology.
These issues can be considered as a part of the scientific legacy of H.D. Zeh.
arXiv Detail & Related papers (2020-06-28T18:07:59Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.