English
Related papers

Related papers: A logic road from special relativity to general re…

200 papers

We show the first simple, systematic and direct approach to decoupling gravitational sources in general relativity. As a direct application, a robust and simple way to generate anisotropic solutions for self-gravitating systems from perfect…

General Relativity and Quantum Cosmology · Physics 2017-05-24 Jorge Ovalle

The conceptual evolution of principle of relativity in the theory of special relativity is discussed in detail. It is intimately related to a series of difficulties in quantum mechanics,relativistic quantum mechanics and quantum field…

General Physics · Physics 2007-05-23 Guang-jiong Ni

In the gauge natural bundle framework a new space is introduced and a first-order purely frame-formulation of General Relativity is obtained.

Mathematical Physics · Physics 2007-05-23 R. Cianci , S. Vignolo , D. Bruno

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…

Logic · Mathematics 2018-01-30 H. Andréka , J. X. Madarász , I. Németi , P. Németi , G. Székely

For the special theory of relativity, the normalization problem is formulated as the question how observers in constant relative motion may reach an agreement on space and time scales. As the normalization problem does not receive a…

Classical Physics · Physics 2007-05-23 Franz-Guenter Winkler

The special theory of relativity is constructed demanding the retention of the rectilinear form of a trajectory and invariance of the wave equation under linear transformations of space and time coordinates. The usual approach to relativity…

General Physics · Physics 2008-11-20 Valery P. Dmitriyev

The purpose of this article is to draw attention to some fundamental issues in General Relativity. It is argued that these deep issues cannot be resolved within the standard approach to general relativity that considers {\em every} solution…

General Relativity and Quantum Cosmology · Physics 2007-05-23 Sanjay M. Wagh

First-order logic is typically presented as the study of deduction in a setting with elementary quantification. In this paper, we take another vantage point and conceptualize first-order logic as a linear space that encodes "plausibility".…

Logic in Computer Science · Computer Science 2020-01-31 Daniel Huang

We discuss how the finiteness and universality of the speed of light arise in the theoretical framework introduced in [1], and derive generalized coordinate transformations, that allow to investigate physical systems in a non-classical…

General Physics · Physics 2009-11-04 Andrea Gregori

We study in this paper different topos-theoretical approaches to the problem of construction of General Theory of Relativity. In general case the resulting space-time theory will be non-classical, different from that of the usual Einstein…

General Relativity and Quantum Cosmology · Physics 2007-05-23 Alexandr K. Guts , Egor B. Grinkevich

Starting with a likelihood or preference order on worlds, we extend it to a likelihood ordering on sets of worlds in a natural way, and examine the resulting logic. Lewis (1973) earlier considered such a notion of relative likelihood in the…

Artificial Intelligence · Computer Science 2014-07-29 Joseph Y. Halpern

Under the assumption of closed-path velocity of light invariant, we show both the general expression of velocity of light in an ordinary inertial reference frame and the generalized Lorentz transformation between the ordinary inertial…

Classical Physics · Physics 2015-06-03 Daqing Liu , Xinghua Li , Yanshen Wang

A full Lie point symmetry analysis of rational difference equations is performed. Non-trivial symmetries are derived and exact solutions using these symmetries are obtained.

Dynamical Systems · Mathematics 2019-11-11 M. Folly-Gbetoula , N. Mnguni , AH Kara

We describe the non-minimal Standard Model, consisting of minimalistic extensions of the Standard Model, which for all we know is the theory of the universe, able to describe all of the universe from the beginning of time. Extensions…

High Energy Physics - Phenomenology · Physics 2021-07-07 J. J. van der Bij

This paper has pedagogical motivation. It is not uncommon that students have great difficulty in accepting the new concepts of standard special relativity, since these seem contrary to common sense. Experience shows that geometrical or…

General Physics · Physics 2008-12-02 Nilton Penha , Bernhard Rothenstein

We discuss first order systems of rational difference equations which have the property that lines through the origin are mapped into lines through the origin. We call such systems projective systems of rational difference equations and we…

Dynamical Systems · Mathematics 2011-10-18 Frank J. Palladino

An approach to special relativity is outlined which emphasizes the wave and field mechanisms which physically produce the relativistic effects, with the goal of making them seem more natural to students by connecting more explicitly with…

Classical Physics · Physics 2013-05-15 William M. Nelson

A new method of derivation of Lorentz Transformation (LT) is given based on both axioms of special relativity (SR) and physical intuitions. The essence of the transformation is established and the crucial role played by the presumptions is…

General Physics · Physics 2015-06-16 Farid Shahandeh

We introduce in the framework of the linear approximation of General relativity a natural distinction between General gauge transformations generated by any vector field and those Special ones for which this vector field is a gradient. This…

General Relativity and Quantum Cosmology · Physics 2007-06-23 Ll. Bel

By using the general concepts of special relativity and the requirements of quantum mechanics, Dirac equation is derived and studied. Only elementary knowledge of spin and rotations in quantum mechanics and standard handlings of linear…

General Physics · Physics 2011-10-03 M. De Sanctis