Space-time trigonometry and formalization of the ``twin paradox for uniform and accelerated motions

From MaRDI portal
Publication:871653




Abstract: The formal structure of the early Einstein's Special Relativity follows the axiomatic deductive method of Euclidean geometry. In this paper we show the deep-rooted relation between Euclidean and space-time geometries that are both linked to a two-dimensional number system: the complex and hyperbolic numbers, respectively. By studying the properties of these numbers together, pseudo-Euclidean trigonometry has been formalized with an axiomatic deductive method and this allows us to give a complete quantitative formalization of the twin paradox in a familiar "Euclidean" way for uniform motions as well as for accelerated ones.









This page was built for publication: Space-time trigonometry and formalization of the ``twin paradox for uniform and accelerated motions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q871653)