Decidability, Undecidability, and Gödel's Incompleteness in Relativity Theories

Hajnal Andréka, Judit X. Madarász, István Németi. Decidability, Undecidability, and Gödel's Incompleteness in Relativity Theories. Parallel Processing Letters, 22(3), 2012. [doi]

Abstract

Abstract is missing.