DECIDABILITY, UNDECIDABILITY, AND GÖDEL'S INCOMPLETENESS IN RELATIVITY THEORIES
Abstract
In this paper we investigate the logical decidability and undecidability properties of relativity theories. If we include into our theory the whole theory of the reals, then relativity theory still can be decidable. However, if we actually assume the structure of the quantities in our models to be the reals, or at least to be Archimedean, then we get possible predictions in the language of relativity theory which are independent of ZF set theory.
References
-
H. Andréka , J. X. Madarász and I. Németi , Essays dedicated to Johan van Benthem on the occasion of his 50th birthday ,Logical analysis of special relativity theory ( CD-ROM, University of Amsterdam , 1999 ) , http://www.illc.uva.nl/j50/contribs/andreka-nemeti/index.html . Google Scholar - H. Andréka, J. X. Madarász, I. Németi, I. Sain and G. Sági, Analyzing the logical structure of relativity theory via model theoretic logic, Lecture Notes for A'dam course, 1998 , http://www.math-inst.hu/pub/algebraic-logic/Contents.html . Google Scholar
- Studia Logica 95(1-2), 161 (2010). Crossref, ISI, Google Scholar
- G. Székely, First-order logic investigation of relativity theory with an emphasis on accelerated observers, Ph. D. Thesis, Eötvös Loránd University, Faculty of Sciences, Institute of Mathematics, Budapest 2009 . Google Scholar
- , Handbook of Spatial Logics, eds.
M. Aiello , I. Pratt-Hartmann and J. van Benthem (Springer Verlag, 2007) pp. 607–711, http://www.math-inst.hu/pub/algebraic-logic/Logicofspacetime.pdf. Crossref, Google Scholar D. Lewis , David Lewis Philosophical Papers Vol. II,The paradoxes of time travel (Oxford University Press, 1986) pp. 67–80. Google ScholarM. Stannett , Computation and Spacetime Structure, Proceedings of the Satellite Workshop of UC 2011,TUCS Lecture Notes 14, eds.M. Stannett (2011) pp. 51–60. Google ScholarH. Andréka , I. Németi and G. Székely , Closed timelike curves in relativistic hypercomputation, Proceedings of the Satellite Workshop of UC 2011,TUCS Lecture Notes 14, eds.M. Stannett (2011) pp. 155–172. Google Scholar-
W. Schwabhäuser , W. Szmielew and A. Tarski , Metamatematische Methoden in der Geometrie ( Sprinter-Verlag , Berlin , 1983 ) . Crossref, Google Scholar -
R. Goldblatt , Orthogonality and space-time geometry ( Springer-Verlag , 1987 ) . Crossref, Google Scholar -
L. van den Dries , Model Theory, Algebra and Geometry 39 ( MSRI Publications , 2000 ) . Google Scholar -
P. Hájek and P. Pudlák , Mathematics of first order arithmetic ( Springer-Verlag , Berlin , 1993 ) . Crossref, Google Scholar -
J. D. Monk , Mathematical Logic ( Springer-Verlag , Berlin , 1976 ) . Crossref, Google Scholar - J. X. Madarász, Relativity Theory in the Light of Definability Theory, Ph. D. Thesis, Eötvös Loránd University, Budapest, 2002 . Google Scholar
-
P. Odifreddi , Classical Recursion Theory ( North Holland , 1984 ) . Google Scholar - E. E. Rosinger, Two Essays on the Archimedean versus Non-Archimedean Debate, 2008 , arXiv:0809.4509v3 . Google Scholar
- E. E. Rosinger, Special Relativity in Reduced Power Algebras, 2009 , arXiv:0903.0296v1 . Google Scholar
- , Arrow Logic and Multimodal Logic,
Content versus wrapping: an essay in semantic complexity , eds.M. Marx , L. Pólos and M. Masuch (CSLI Publications, Stanford, 1996) pp. 203–219. Google Scholar - I. Németi and I. Sain, Talk in CCSOM, Amsterdam, 1998 . Google Scholar
- CL&CL 13, 195 (1990). Google Scholar
- I. Sain, Dynamic logic with a non-standard model theory (In Hungarian), Dissertation for the Candidate's degree, Hungarian Academy of Sciences, Budapest, 1986 . Google Scholar
- , Time and Logic, a computational approach, eds.
L. Bolc and A. Szalas (UCL Press, London, 1995) pp. 51–129. Google Scholar


