Undecidable problems in quantum field theory

DOI10.1007/s10773-023-05357-1arXiv2203.16689OpenAlexW4386379312MaRDI QIDQ6049665

Yuji Tachikawa

Publication date: 15 September 2023

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2203.16689

zbMATH Keywords

incompleteness theoremsundecidability in theoretical physics

Mathematics Subject Classification ID

General logic (03Bxx) Proof theory and constructive mathematics (03Fxx) Computability and recursion theory (03Dxx)

Cites Work

• Unnamed Item
• Unnamed Item
• A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle
• Undecidability and incompleteness in classical mechanics
• On a Diophantine representation of the predicate of provability
• A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS
• Univalent Foundations of Mathematics
• On the computation of non-perturbative effective potentials in the string theory landscape - IIB/F-theory perspective -
• Universal diophantine equation
• Hilbert's Tenth Problem is Unsolvable
• Unpredictability and undecidability in dynamical systems
• Undecidability of the Spectral Gap
• A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory
• Some undecidable problems involving elementary functions of a real variable

This page was built for publication: Undecidable problems in quantum field theory