DECIDABILITY, UNDECIDABILITY, AND GÖDEL'S INCOMPLETENESS IN RELATIVITY THEORIES

DOI10.1142/S0129626412400117zbMath1288.03032MaRDI QIDQ2842652

Istvan Németi, Judit X. Madarász, Hajnalka Andréka

Publication date: 16 August 2013

Published in: Parallel Processing Letters (Search for Journal in Brave)

zbMATH Keywords

undecidabilitydecidabilitylogicrelativity theoryrelativity theoriesGödel's incompleteness

Mathematics Subject Classification ID

Methods of quantum field theory in general relativity and gravitational theory (83C47) Decidability of theories and sets of sentences (03B25) Consistency and independence results (03E35) Foundations of classical theories (including reverse mathematics) (03B30) Gödel numberings and issues of incompleteness (03F40)

Related Items

The Significance of Relativistic Computation for the Philosophy of Mathematics

Cites Work

• Unnamed Item
• A geometrical characterization of the twin paradox and its variants
• Classical recursion theory. Vol. II