World Scientific
  • Search
Skip main navigation

Cookies Notification

We use cookies on this site to enhance your user experience. By continuing to browse the site, you consent to the use of our cookies. Learn More
×
Our website is made possible by displaying certain online content using javascript.
In order to view the full content, please disable your ad blocker or whitelist our website www.worldscientific.com.

System Upgrade on Tue, Oct 25th, 2022 at 2am (EDT)

Existing users will be able to log into the site and access content. However, E-commerce and registration of new users may not be available for up to 12 hours.
For online purchase, please visit us again. Contact us at [email protected] for any enquiries.
Special Issue: Hypercomputation, Physics and ComputationNo Access

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

    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
    • G. Székely, Studia Logica 95(1-2), 161 (2010). Crossref, ISIGoogle 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
    • H. Andréka, J. X. Madarász and I. Németi, 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. CrossrefGoogle Scholar
    • D. Lewis, David Lewis Philosophical Papers Vol. II, The paradoxes of time travel (Oxford University Press, 1986) pp. 67–80. Google Scholar
    • M. Stannett, Computation and Spacetime Structure, Proceedings of the Satellite Workshop of UC 2011, TUCS Lecture Notes 14, eds. M. Stannettet al. (2011) pp. 51–60. Google Scholar
    • H. 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. Stannettet al. (2011) pp. 155–172. Google Scholar
    • W.   Schwabhäuser , W.   Szmielew and A.   Tarski , Metamatematische Methoden in der Geometrie ( Sprinter-Verlag , Berlin , 1983 ) . CrossrefGoogle Scholar
    • R.   Goldblatt , Orthogonality and space-time geometry ( Springer-Verlag , 1987 ) . CrossrefGoogle 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 ) . CrossrefGoogle Scholar
    • J. D.   Monk , Mathematical Logic ( Springer-Verlag , Berlin , 1976 ) . CrossrefGoogle 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
    • J. van Benthem, 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
    • I. Sain, 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
    • H. Andrékaet al., Time and Logic, a computational approach, eds. L. Bolc and A. Szalas (UCL Press, London, 1995) pp. 51–129. Google Scholar