8 found
Sort by:
  1. Hajnal Andréka, Judit X. Madarász, István Németi & Gergely Székely (2012). A Logic Road From Special Relativity to General Relativity. Synthese 186 (3):633 - 649.
    We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we "derive" an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Péter Németi & Gergely Székely (2012). Existence of Faster Than Light Signals Implies Hypercomputation Already in Special Relativity. In. In S. Barry Cooper (ed.), How the World Computes. 528--538.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Hajnal Andréka, Judit X. Madarász, István Németi & Gergely Székely, A Logic Road From Special to General Relativity.
    We present a streamlined axiom system of special relativity in firs-order logic. From this axiom system we ``derive'' an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  4. Gergely Székely (2010). A Geometrical Characterization of the Twin Paradox and its Variants. Studia Logica 95 (1/2):161 - 182.
    The aim of this paper is to provide a logic-based conceptual analysis of the twin paradox (TwP) theorem within a first-order logic framework. A geometrical characterization of TwP and its variants is given. It is shown that TwP is not logically equivalent to the assumption of the slowing down of moving clocks, and the lack of TwP is not logically equivalent to the Newtonian assumption of absolute time. The logical connection between TwP and a symmetry axiom of special relativity is (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  5. Hajnal Andréka, Judit Madarász X., István Németi & Gergely Székely (2008). Axiomatizing Relativistic Dynamics Without Conservation Postulates. Studia Logica 89 (2):163 - 186.
    A part of relativistic dynamics is axiomatized by simple and purely geometrical axioms formulated within first-order logic. A geometrical proof of the formula connecting relativistic and rest masses of bodies is presented, leading up to a geometric explanation of Einstein’s famous E = mc 2. The connection of our geometrical axioms and the usual axioms on the conservation of mass, momentum and four-momentum is also investigated.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Gergely Székely, On Why-Questions in Physics.
    In natural sciences, the most interesting and relevant questions are the so-called why-questions. There are several different approaches to why-questions and explanations in the literature, however, most of the literature deals with why-questions about particular events, such as ``Why did Adam eat the apple?''. Even the best known theory of explanation, Hempel's covering law model, is designed for explaining particular events. Here we only deal with purely theoretical why-questions about general phenomena of physics, for instance ``Why can no observer move (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  7. Judit X. Madarász, István Németi & Gergely Székely (2006). Twin Paradox and the Logical Foundation of Relativity Theory. Foundations of Physics 36 (5):681-714.
    We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization Specrel of special relativity from the literature. Specrel is complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove the usual relativistic properties of (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Judit X. Madarasz, Istvan Nemeti & Gergely Szekely, First-Order Logic Foundation of Relativity Theories.
    Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity--including such revolutionary areas as black hole physics, relativistic computers, new cosmology--are presented in this paper. We would like to invite the logician reader to take part in this grand enterprise of the new century. Besides general perspective and motivation, we present initial results in this direction.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation