相关论文: Towards Formalising Schutz' Axioms for Minkowski S…

Einstein distinguished between ``principle'' and ``constructive'' theories in physics, and although he thought the latter were more explanatory than the former, he regarded his 1905 formulation of special relativity theory as a principle…

I apply the algebraic framework introduced in arXiv:1101.4542v3[math.MG] to Minkowski (pseudo-Euclidean) spaces in 2, 3, and 4 dimensions. The exposition follows the template established in arXiv:1307.2917[math.MG] for Euclidean spaces. The…

We establish the linear instability of the semiclassical Einstein-Klein-Gordon system linearised about the Minkowski vacuum spacetime. The proof relies on formulating a forcing problem for both metric and state perturbations within the…

The notions of "motion" and "conserved quantities", if applied to extended objects, are already quite non-trivial in Special Relativity. This contribution is meant to remind us on all the relevant mathematical structures and constructions…

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…

We reinterpret special relativity, or more precisely its de Sitter deformation, in terms of 3d conformal geometry, as opposed to (3+1)d spacetime geometry. An inertial observer, usually described by a geodesic in spacetime, becomes instead…

The book is based largely on the author's researches presented at conferences in the period 1992 onwards. It is a historically based exposition and an extension of the hyperbolic version of special relativity first proposed by Vari\'cak…

This work analyzes the difficulties in learning and teaching Einstein's theory of special relativity. An extensive bibliographic review has been performed, considering articles published in the most relevant journals on science education,…

We extend one of the Hawking-Penrose singularity theorems in general relativity to the case of some scalar-tensor gravity theories in which the scalar field has a geometrical character and space-time has the mathematical structure of a Weyl…

Minkowski space, conformal group, compactification, conformal infinity, conformal inversion, light cone at infinity, SU(2,2), SO(4,2), Hodge star operator, Clifford algebra, spinors, twistors, antilinear operators, exterior algebra,…

In this paper, we utilize Isabelle/HOL to develop a formal framework for the basic theory of double-pushout graph transformation. Our work includes defining essential concepts like graphs, morphisms, pushouts, and pullbacks, and…

Exact procedures that follow Dirac's constraint quantization of gauge theories are usually technically involved and often difficult to implement in practice. We overview an "effective" scheme for obtaining the leading order semiclassical…

Since the main open problem of contemporary physics is to find a unified description of the four interactions, we present a possible scenario which, till now only at the classical level, is able to englobe experiments ranging from…

This work provides a smooth and everywhere well-defined extension of Bondi-Metzner-Sachs (BMS) supertranslations into the bulk of Minkowski space. The supertranslations lead to physically distinct spacetimes, all isometric to Minkowski…

A paper on ordinal partitions by Erd\H{o}s and Milner (1972) has been formalised using the proof assistant Isabelle/HOL, augmented with a library for Zermelo-Fraenkel set theory. The work is part of a project on formalising the partition…

This papers aims at revisiting Minkowski space-time with a modified outlook and making it more consistent (III.8). The paper scrutinizes the special case of relativistic hypothesis (STR). The paper tries to solve the problems faced by…

We present a deductive theory of space-time which is realistic, objective, and relational. It is realistic because it assumes the existence of physical things endowed with concrete properties. It is objective because it can be formulated…

The periodic standing wave approach to binary inspiral assumes rigid rotation of gravitational fields and hence helically symmetric solutions. To exploit the symmetry, numerical computations must solve for ``helical scalars,'' fields that…

An Isabelle/HOL formalisation of G\"odel's two incompleteness theorems is presented. The work follows \'Swierczkowski's detailed proof of the theorems using hereditarily finite (HF) set theory. Avoiding the usual arithmetical encodings of…

Many different mathematical languages have been invented to describe the ideas of Einstein's special relativity. One of the most powerful languages is the Minkowski space-time algebra of D. Hestenes. We discuss the ideas of special…