<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE ArticleSet PUBLIC "-//NLM//DTD PubMed 2.7//EN" "https://dtd.nlm.nih.gov/ncbi/pubmed/in/PubMed.dtd">
<ArticleSet>
<Article>
<Journal>
				<PublisherName>Damghan University Press</PublisherName>
				<JournalTitle>Journal of Holography Applications in Physics</JournalTitle>
				<Issn>2783-4778</Issn>
				<Volume>5</Volume>
				<Issue>2</Issue>
				<PubDate PubStatus="epublish">
					<Year>2025</Year>
					<Month>06</Month>
					<Day>25</Day>
				</PubDate>
			</Journal>
<ArticleTitle>Consequences of Undecidability in Physics on the Theory of Everything</ArticleTitle>
<VernacularTitle></VernacularTitle>
			<FirstPage>10</FirstPage>
			<LastPage>21</LastPage>
			<ELocationID EIdType="pii">488</ELocationID>
			
<ELocationID EIdType="doi">10.22128/jhap.2025.1024.1118</ELocationID>
			
			<Language>EN</Language>
<AuthorList>
<Author>
					<FirstName>Mir </FirstName>
					<LastName>Faizal</LastName>
<Affiliation>Irving K. Barber School of Arts and Sciences, University of British Columbia Okanagan, Kelowna, BC V1V 1V7, Canada;
Canadian Quantum Research Center, 204-3002 32 Ave, Vernon, BC V1T 2L7, Canada;
Department of Mathematical Sciences, Durham University, Upper Mountjoy, Stockton Road, Durham DH1 3LE, UK;
Faculty of Sciences, Hasselt University, Agoralaan Gebouw D, Diepenbeek, 3590 Belgium.</Affiliation>
<Identifier Source="ORCID">0000-0002-3292-9426</Identifier>

</Author>
<Author>
					<FirstName>Lawrence M</FirstName>
					<LastName>Krauss</LastName>
<Affiliation>Origin Project Foundation, Phoenix, AZ 85018, USA.</Affiliation>

</Author>
<Author>
					<FirstName>Arshid </FirstName>
					<LastName>Shabir</LastName>
<Affiliation>Canadian Quantum Research Center, 204-3002 32 Ave, Vernon, BC V1T 2L7, Canada.</Affiliation>
<Identifier Source="ORCID">0000-0001-7545-4128</Identifier>

</Author>
<Author>
					<FirstName>Francesco </FirstName>
					<LastName>Marino</LastName>
<Affiliation>CNR-Istituto Nazionale di Ottica and INFN, Via Sansone 1, I-50019 Sesto Fiorentino (FI), Italy.</Affiliation>
<Identifier Source="ORCID">0000-0002-1532-9584</Identifier>

</Author>
</AuthorList>
				<PublicationType>Journal Article</PublicationType>
			<History>
				<PubDate PubStatus="received">
					<Year>2025</Year>
					<Month>06</Month>
					<Day>06</Day>
				</PubDate>
			</History>
		<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 program‎. ‎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‎.</Abstract>
		<ObjectList>
			<Object Type="keyword">
			<Param Name="value">Non-Algorithmic Understanding</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">quantum gravity</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">It from Bit</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">Gödel’s incompleteness theorems</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">Tarski’s undefinability theorem</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">Chaitin’s information-theoretic incompleteness</Param>
			</Object>
		</ObjectList>
<ArchiveCopySource DocType="pdf">https://jhap.du.ac.ir/article_488_8e072972f66d1fb748b47244c4813c86.pdf</ArchiveCopySource>
</Article>
</ArticleSet>
