Showing 1–16 of 16 results for author: Németi, I

Faster than light motion does not imply time travel

Authors: H. Andréka, J. X. Madarász, I. Németi, M. Stannett, G. Székely

Abstract: 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 possibility of time travel. We show that this logical inference is invalid by demonstrating a model, based on (3+1)-dimensional Minkowski spacetime, in which FTL motion is permitted (in every direction without any limitation on sp… ▽ More 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 possibility of time travel. We show that this logical inference is invalid by demonstrating a model, based on (3+1)-dimensional Minkowski spacetime, in which FTL motion is permitted (in every direction without any limitation on speed) yet which does not admit time travel. Moreover, the Principle of Relativity is true in this model in the sense that all observers are equivalent. In short, FTL motion does not imply time travel after all. △ Less

Submitted 9 July, 2014; originally announced July 2014.

Comments: 11 pages, 5 figures

Journal ref: 2014 Class. Quantum Grav. 31 095005

An Axiom System for General Relativity Complete with respect to Lorentzian Manifolds

Authors: Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely

Abstract: 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 having the corresponding smoothness properties. 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 having the corresponding smoothness properties. △ Less

Submitted 5 October, 2013; originally announced October 2013.

Comments: 30 pages, 6 figures

Using Isabelle to verify special relativity, with application to hypercomputation theory

Authors: Mike Stannett, István Németi

Abstract: Logicians at the Rényi Mathematical Institute in Budapest have spent several years developing versions of relativity theory (special, general, and other variants) based wholly on first order logic, and have argued in favour of the physical decidability, via exploitation of cosmological phenomena, of formally undecidable questions such as the Halting Problem and the consistency of set theory. The… ▽ More Logicians at the Rényi Mathematical Institute in Budapest have spent several years developing versions of relativity theory (special, general, and other variants) based wholly on first order logic, and have argued in favour of the physical decidability, via exploitation of cosmological phenomena, of formally undecidable questions such as the Halting Problem and the consistency of set theory. The Hungarian theories are very extensive, and their associated proofs are intuitively very satisfying, but this brings its own risks since intuition can sometimes be misleading. As part of a joint project, researchers at Sheffield have recently started generating rigorous machine-verified versions of the Hungarian proofs, so as to demonstrate the soundness of their work. In this paper, we explain the background to the project and demonstrate an Isabelle proof of the theorem "No inertial observer can travel faster than light". This approach to physical theories and physical computability has several pay-offs: (a) we can be certain our intuition hasn't led us astray (or if it has, we can identify where this has happened); (b) we can identify which axioms are specifically required in the proof of each theorem and to what extent those axioms can be weakened (the fewer assumptions we make up-front, the stronger the results); and (c) we can identify whether new formal proof techniques and tactics are needed when tackling physical as opposed to mathematical theories. △ Less

Submitted 18 January, 2013; v1 submitted 27 November, 2012; originally announced November 2012.

Comments: 14 pages, reformatted with minor corrections

ACM Class: F.4.1; J.2

Journal ref: Journal of Automated Reasoning, 52,4 (2014), 361-378

A note on "Einstein's special relativity beyond the speed of light by James M. Hill and Barry J. Cox"

Authors: Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely

Abstract: We show that the transformations J. M. Hill and B. J. Cox introduce between inertial observers moving faster than light with respect to each other are consistent with Einstein's principle of relativity only if the spacetime is 2 dimensional. We show that the transformations J. M. Hill and B. J. Cox introduce between inertial observers moving faster than light with respect to each other are consistent with Einstein's principle of relativity only if the spacetime is 2 dimensional. △ Less

Submitted 17 February, 2013; v1 submitted 9 November, 2012; originally announced November 2012.

Comments: 7 pages, 3 figures

Journal ref: Proceedings of the Royal Society A 469(2154):6pp. (2013)

What are the numbers in which spacetime?

Authors: H. Andréka, J. X. Madarász, I. Németi, G. Székely

Abstract: Within an axiomatic framework, we investigate the possible structures of numbers (as physical quantities) in different theories of relativity. Within an axiomatic framework, we investigate the possible structures of numbers (as physical quantities) in different theories of relativity. △ Less

Submitted 5 April, 2012; originally announced April 2012.

Comments: 28 pages, 2 figures

On Logical Analysis of Relativity Theories

Authors: Hajnal Andréka, István Németi, Judit X. Madarász, Gergely Székely

Abstract: The aim of this paper is to give an introduction to our axiomatic logical analysis of relativity theories. The aim of this paper is to give an introduction to our axiomatic logical analysis of relativity theories. △ Less

Submitted 4 May, 2011; originally announced May 2011.

Comments: 19 pages, 1 figures

Journal ref: Hungarian Philosophical Review, 2010/4, pp.204-222

Closed Timelike Curves in Relativistic Computation

Authors: Hajnal Andréka, István Németi, Gergely Székely

Abstract: In this paper, we investigate the possibility of using closed timelike curves (CTCs) in relativistic hypercomputation. We introduce a wormhole based hypercomputation scenario which is free from the common worries, such as the blueshift problem. We also discuss the physical reasonability of our scenario, and why we cannot simply ignore the possibility of the existence of spacetimes containing CTCs. In this paper, we investigate the possibility of using closed timelike curves (CTCs) in relativistic hypercomputation. We introduce a wormhole based hypercomputation scenario which is free from the common worries, such as the blueshift problem. We also discuss the physical reasonability of our scenario, and why we cannot simply ignore the possibility of the existence of spacetimes containing CTCs. △ Less

Submitted 30 April, 2011; originally announced May 2011.

Comments: 17 pages, 5 figures

Journal ref: Parallel Processing Letters, 22, 1240010 (2012)

Vienna Circle and Logical Analysis of Relativity Theory

Authors: H. Andréka, J. X. Madarász, I. Németi, P. Németi, G. Székely

Abstract: In this paper we present some of our school's results in the area of building up relativity theory (RT) as a hierarchy of theories in the sense of logic. We use plain first-order logic (FOL) as in the foundation of mathematics (FOM) and we build on experience gained in FOM. The main aims of our school are the following: We want to base the theory on simple, unambiguous axioms with clear meanings… ▽ More In this paper we present some of our school's results in the area of building up relativity theory (RT) as a hierarchy of theories in the sense of logic. We use plain first-order logic (FOL) as in the foundation of mathematics (FOM) and we build on experience gained in FOM. The main aims of our school are the following: We want to base the theory on simple, unambiguous axioms with clear meanings. It should be absolutely understandable for any reader what the axioms say and the reader can decide about each axiom whether he likes it. The theory should be built up from these axioms in a straightforward, logical manner. We want to provide an analysis of the logical structure of the theory. We investigate which axioms are needed for which predictions of RT. We want to make RT more transparent logically, easier to understand, easier to change, modular, and easier to teach. We want to obtain deeper understanding of RT. Our work can be considered as a case-study showing that the Vienna Circle's (VC) approach to doing science is workable and fruitful when performed with using the insights and tools of mathematical logic acquired since its formation years at the very time of the VC activity. We think that logical positivism was based on the insight and anticipation of what mathematical logic is capable when elaborated to some depth. Logical positivism, in great part represented by VC, influenced and took part in the birth of modern mathematical logic. The members of VC were brave forerunners and pioneers. △ Less

Submitted 31 January, 2011; originally announced January 2011.

Comments: 25 pages, 1 firgures

Journal ref: In: The Vienna Circle in Hungary, A. Máté, M. Rédei, F. Stadler, (Eds.), Springer-Verlag, Wien, 2011, pp.147-267

A logic road from special relativity to general relativity

Authors: Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely

Abstract: 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. 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. △ Less

Submitted 22 January, 2011; v1 submitted 6 May, 2010; originally announced May 2010.

Journal ref: Synthese Volume 186, Number 3 (2012), 633-649

Visualizing some ideas about Godel-type rotating universes

Authors: Istvan Nemeti, Judit X. Madarasz, Hajnal Andreka, Attila Andai

Abstract: This paper consists mostly of pictures visualizing ideas leading to Godel's rotating cosmological model. The pictures are constructed according to concrete metric tensor fields. Information about these are in the last chapters. The main aim is to visualise ideas. This paper consists mostly of pictures visualizing ideas leading to Godel's rotating cosmological model. The pictures are constructed according to concrete metric tensor fields. Information about these are in the last chapters. The main aim is to visualise ideas. △ Less

Submitted 18 November, 2008; originally announced November 2008.

Comments: 84 pages, 70 figures

Axiomatizing relativistic dynamics without conservation postulates

Authors: H. Andreka, J. X. Madarasz, I. Nemeti, G. Szekely

Abstract: A part of relativistic dynamics (or mechanics) 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,… ▽ More A part of relativistic dynamics (or mechanics) 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. △ Less

Submitted 25 July, 2008; v1 submitted 31 January, 2008; originally announced January 2008.

Comments: 21 pages, 7 figures

Journal ref: Studia Logica Volume 89, Number 2 (2008), 163-186

A Logical Analysis of the Time-Warp Effect of General Relativity

Authors: Judit X. Madarasz, Istvan Nemeti, Gergely Szekely

Abstract: 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 logical consequence of a first-order axiom system of Special Relativity extended to accelerated observers. 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 logical consequence of a first-order axiom system of Special Relativity extended to accelerated observers. △ Less

Submitted 16 September, 2007; originally announced September 2007.

Comments: 43 pages, 13 figures

A twist in the geometry of rotating black holes: seeking the cause of acausality

Authors: Hajnal Andreka, Istvan Nemeti, Christian Wuthrich

Abstract: We investigate Kerr-Newman black holes in which a rotating charged ring-shaped singularity induces a region which contains closed timelike curves (CTCs). Contrary to popular belief, it turns out that the time orientation of the CTC is opposite to the direction in which the singularity or the ergosphere rotates. In this sense, CTCs "counter-rotate" against the rotating black hole. We have similar… ▽ More We investigate Kerr-Newman black holes in which a rotating charged ring-shaped singularity induces a region which contains closed timelike curves (CTCs). Contrary to popular belief, it turns out that the time orientation of the CTC is opposite to the direction in which the singularity or the ergosphere rotates. In this sense, CTCs "counter-rotate" against the rotating black hole. We have similar results for all spacetimes sufficiently familiar to us in which rotation induces CTCs. This motivates our conjecture that perhaps this counter-rotation is not an accidental oddity particular to Kerr-Newman spacetimes, but instead there may be a general and intuitively comprehensible reason for this. △ Less

Submitted 14 January, 2008; v1 submitted 17 August, 2007; originally announced August 2007.

Comments: 21 pages, 5 figures; replaced to match published version forthcoming in General Relativity and Gravitation

Journal ref: Gen.Rel.Grav.40:1809-1823,2008

First-Order Logic Foundation of Relativity Theories

Authors: Judit X. Madarasz, Istvan Nemeti, Gergely Szekely

Abstract: 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 pres… ▽ More 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. △ Less

Submitted 10 April, 2006; originally announced April 2006.

Comments: 25 pages, 4 figures

Journal ref: In: New Logics for the XXIst Century II, Mathematical Problems from Applied Logics, International Mathematical Series Vol 5, Springer, (2006)

Twin Paradox and the logical foundation of relativity theory

Authors: Judit X. Madarasz, Istvan Nemeti, Gergely Szekely

Abstract: 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 com… ▽ More 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 usual relativistic properties of accelerated motion (e.g., clocks in acceleration) in SpecRel. As it turns out, this is practically equivalent to asking whether SpecRel is strong enough to "handle" (or treat) accelerated observers. We show that there is a mathematical principle called induction (IND) coming from real analysis which needs to be added to SpecRel in order to handle situations involving relativistic acceleration. We present an extended version AccRel of SpecRel which is strong enough to handle accelerated motion, in particular, accelerated observers. Among others, we show that the Twin Paradox becomes provable in AccRel, but it is not provable without IND. △ Less

Submitted 25 August, 2005; v1 submitted 25 April, 2005; originally announced April 2005.

Comments: 24 pages, 6 figures

Journal ref: Found.Phys. 36 (2006) 681-714

Non-Turing computations via Malament-Hogarth space-times

Authors: Gabor Etesi, Istvan Nemeti

Abstract: We investigate the Church-Kalmár-Kreisel-Turing Theses concerning theoretical (necessary) limitations of future computers and of deductive sciences, in view of recent results of classical general relativity theory. We argue that (i) there are several distinguished Church-Turing-type Theses (not only one) and (ii) validity of some of these theses depend on the background physical theory we choo… ▽ More We investigate the Church-Kalmár-Kreisel-Turing Theses concerning theoretical (necessary) limitations of future computers and of deductive sciences, in view of recent results of classical general relativity theory. We argue that (i) there are several distinguished Church-Turing-type Theses (not only one) and (ii) validity of some of these theses depend on the background physical theory we choose to use. In particular, if we choose classical general relativity theory as our background theory, then the above mentioned limitations (predicted by these Theses) become no more necessary, hence certain forms of the Church-Turing Thesis cease to be valid (in general relativity). (For other choices of the background theory the answer might be different.) We also look at various ``obstacles'' to computing a non-recursive function (by relying on relativistic phenomena) published in the literature and show that they can be avoided (by improving the ``design'' of our future computer). We also ask ourselves, how all this reflects on the arithmetical hierarchy and the analytical hierarchy of uncomputable functions. △ Less

Submitted 20 February, 2002; v1 submitted 8 April, 2001; originally announced April 2001.

Comments: Final, published version: 25 pages, LaTex with two eps-figures, journal reference added

Journal ref: Int.J.Theor.Phys. 41 (2002) 341-370