HackerPapers

arXiv:2507.22950gr-qc

Consequences of Undecidability in Physics on the Theory of Everything

Mir Faizal, Lawrence M. Krauss, Arshid Shabir, Francesco Marino

Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.

Abstract

General relativity treats spacetime as dynamical and exhibits its breakdown at singularities. This failure is interpreted as evidence that quantum gravity is not a theory formulated within spacetime; instead, it must explain the very emergence of spacetime from deeper quantum degrees of freedom, thereby resolving singularities. Quantum gravity is therefore envisaged as an axiomatic structure, and algorithmic calculations acting on these axioms are expected to generate spacetime. However, Gödel's incompleteness theorems, Tarski's undefinability theorem, and Chaitin's information-theoretic incompleteness establish intrinsic limits on any such algorithmic programme. Together, these results imply that a wholly algorithmic "Theory of Everything" is impossible: certain facets of reality will remain computationally undecidable and can be accessed only through non-algorithmic understanding. We formalize this by constructing a "Meta-Theory of Everything" grounded in non-algorithmic understanding, showing how it can account for undecidable phenomena and demonstrating that the breakdown of computational descriptions of nature does not entail a breakdown of science. Because any putative simulation of the universe would itself be algorithmic, this framework also implies that the universe cannot be a simulation.

arXiv comments
13 pages
Journal reference
Journal of Holography Applications in Physics 5 (2), 10-21 (2025)
DOI
doi:10.22128/jhap.2025.1024.1118
Subjects
gr-qcGeneral Relativity and Quantum Cosmology physics.hist-phHistory and Philosophy of Physics

On Hacker News

Linked by 1 identifiable commenter in 1 comment across 1 thread, from Nov 2025 to Nov 2025. Found in 1 HN submission from Nov 2025 to Nov 2025. Open submission discussions.

Comments linking this paper, per year.

Discussed in comments1 thread

    • https://arxiv.org/abs/2507.22950 Their argument is that quantum gravity can encode undecidable statements, and therefore cannot be completely computed. Of course take it with a grain of salt, since it relies on an incomplete and possibly inaccurate characterization of quantum…

      mxkopyView on HNParent context

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.