Implications of Tarski's undefinability theorem on the Theory of Everything

The Theory of Everything seeks to unify all fundamental forces of nature, including quantum gravity, into a single theoretical framework. This theory would be defined internally using a set of axioms, and this paper proposes a set of axioms for any such theory. Furthermore, for such a theory, all sc...

Full description

Saved in:
Bibliographic Details
Published in:Europhysics letters 2024-11, Vol.148 (3), p.39001
Main Authors: Faizal, Mir, Shabir, Arshid, Khan, Aatif Kaisar
Format: Article
Language:English
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The Theory of Everything seeks to unify all fundamental forces of nature, including quantum gravity, into a single theoretical framework. This theory would be defined internally using a set of axioms, and this paper proposes a set of axioms for any such theory. Furthermore, for such a theory, all scientific truth would be defined internally as consequences derivable from the rules of such a theory. This paper then examines the implications of Tarski's undefinability theorem on scientific truths derived from such axioms. We demonstrate that Tarski's theorem imposes limitations on any such formal system . However, we also argue that the Lucas-Penrose argument suggests that non-algorithmic understanding can transcend these formal limitations.
ISSN:0295-5075
1286-4854
DOI:10.1209/0295-5075/ad80c2