53 citations · 246 across the 22 of their papers we have counts for
11 papers · 1 filter
On the Possibility and Consequences of Negative Mass
J. X. Madarász, G. Székely, M. Stannett
We investigate the possibility and consequences of the existence of particles having negative relativistic masses, and show that their existence implies the existence of faster- th…
Faster than light motion does not imply time travel
H. Andréka, J. X. Madarász, I. Németi +2
Seeing the many examples in the literature of causality violations based on faster-than- light (FTL) signals one naturally thinks that FTL motion leads inevitably to the possibilit…
An Axiom System for General Relativity Complete with respect to Lorentzian Manifolds
Hajnal Andréka, Judit X. Madarász, István Németi +1
We introduce several axiom systems for general relativity and show that they are complete with respect to the standard models of general relativity, i.e., to Lorentzian manifolds h…
The Existence of Superluminal Particles is Consistent with Relativistic Dynamics
Judit X. Madarász, Gergely Székely
Within an axiomatic framework, we prove that the existence of faster than light particles is consistent with (does not contradict) the dynamics of Einstein's special relativity.
Existence of Faster Than Light Signals Implies Hypercomputation Already in Special Relativity
Péter Németi, Gergely Székely
Within an axiomatic framework, we investigate the possibility of hypercomputation in special relativity via faster than light signals. We formally show that hypercomputation is the…
What are the numbers in which spacetime?
H. Andréka, J. X. Madarász, I. Németi +1
Within an axiomatic framework, we investigate the possible structures of numbers (as physical quantities) in different theories of relativity.
Closed Timelike Curves in Relativistic Computation
Hajnal Andréka, István Németi, Gergely Székely
In this paper, we investigate the possibility of using closed timelike curves (CTCs) in relativistic hypercomputation. We introduce a wormhole based hypercomputation scenario which…
A logic road from special relativity to general relativity
Hajnal Andréka, Judit X. Madarász, István Németi +1
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…
A Logical Analysis of the Time-Warp Effect of General Relativity
Judit X. Madarasz, Istvan Nemeti, Gergely Szekely
Several versions of the Gravitational Time Dilation effect of General Relativity are formulated by the use of Einstein's Equivalence Principle. It is shown that all of them are log…
First-Order Logic Foundation of Relativity Theories
Judit X. Madarasz, Istvan Nemeti, Gergely Szekely
Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity--including such revolutionary areas as black hole physics, rel…
Twin Paradox and the logical foundation of relativity theory
Judit X. Madarasz, Istvan Nemeti, Gergely Szekely
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)…