Discrete Space as the Resolution of Algorithmic Incompleteness in Physics: A Quantum-Geometry Dynamics Perspective on the Limits of Axiomatic Theories of Everything

This paper responds to Faizal, Krauss, Shabir, and Marino (arXiv:2507.22950), who argue that any axiomatic Theory of Everything formulated as a computational formal system is subject to Gödel incompleteness, Tarski undefinability, and Chaitin information-theoretic bounds, and that a "Meta-Theory of Everything" augmented by non-algorithmic resources is therefore necessary. The paper argues that this conclusion, while formally correct within its assumed framework, does not apply to theories grounded in finite discrete space. Within Quantum-Geometry Dynamics (QGD) — a framework derived from two axioms (discrete space composed of preons⁻ and kinetic matter composed of preons⁺) and two empirically derivable constants — the conditions required for Gödelian incompleteness do not arise. The key technical argument is that QGD's arithmetic is bounded arithmetic over a physically finite domain, not Robinson arithmetic over the infinite set ℕ. Bounded arithmetic is decidable, and the Gödel diagonal construction fails within it. Incompleteness, undecidability, and computational complexity gaps are shown to be artifacts of the mathematical continuum — features of idealised infinite formal systems — rather than features of physical reality. The paper addresses directly the objection that any adequate physical theory must be arithmetically expressive in the Gödelian sense, arguing that this requirement applies to theories that treat QM and GR as fundamental but not to theories that derive them as emergent approximations of discrete dynamics. The Faizal et al. Meta-Theory of Everything is assessed as explanatorily vacuous: it certifies the existence of truths beyond algorithmic derivation without providing any means to identify, derive, or test them. QGD is presented as a concrete existence proof that the alleged dilemma between incompleteness and non-algorithmic augmentation is a false dichotomy. A self-contained summary of the QGD framework is included so the paper can be read independently of prior QGD publications.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-07-25
DOI
https://doi.org/10.5281/zenodo.21566981
Primary Topic
Quantum Mechanics and Applications
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Discrete Space as the Resolution of Algorithmic Incompleteness in Physics: A Quantum-Geometry Dynamics Perspective on the Limits of Axiomatic Theories of Everything

Daniel Burnstein
Zenodo (CERN European Organization for Nuclear Research)
Quantum Mechanics and Applications
preprint

Discrete Space as the Resolution of Algorithmic Incompleteness in Physics: A Quantum-Geometry Dynamics Perspective on the Limits of Axiomatic Theories of Everything

Daniel Burnstein
preprint en

Abstract

This paper responds to Faizal, Krauss, Shabir, and Marino (arXiv:2507.22950), who argue that any axiomatic Theory of Everything formulated as a computational formal system is subject to Gödel incompleteness, Tarski undefinability, and Chaitin information-theoretic bounds, and that a "Meta-Theory of Everything" augmented by non-algorithmic resources is therefore necessary. The paper argues that this conclusion, while formally correct within its assumed framework, does not apply to theories grounded in finite discrete space. Within Quantum-Geometry Dynamics (QGD) — a framework derived from two axioms (discrete space composed of preons⁻ and kinetic matter composed of preons⁺) and two empirically derivable constants — the conditions required for Gödelian incompleteness do not arise. The key technical argument is that QGD's arithmetic is bounded arithmetic over a physically finite domain, not Robinson arithmetic over the infinite set ℕ. Bounded arithmetic is decidable, and the Gödel diagonal construction fails within it. Incompleteness, undecidability, and computational complexity gaps are shown to be artifacts of the mathematical continuum — features of idealised infinite formal systems — rather than features of physical reality. The paper addresses directly the objection that any adequate physical theory must be arithmetically expressive in the Gödelian sense, arguing that this requirement applies to theories that treat QM and GR as fundamental but not to theories that derive them as emergent approximations of discrete dynamics. The Faizal et al. Meta-Theory of Everything is assessed as explanatorily vacuous: it certifies the existence of truths beyond algorithmic derivation without providing any means to identify, derive, or test them. QGD is presented as a concrete existence proof that the alleged dilemma between incompleteness and non-algorithmic augmentation is a false dichotomy. A self-contained summary of the QGD framework is included so the paper can be read independently of prior QGD publications.

Zenodo (CERN European Organization for Nuclear Research)
Quantum Mechanics and Applications
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.