First-Order Logic Foundation of Relativity Theories
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 present initial results in this direction.
Create a lesson
Related papers
Emergent vacua and stability constraints on black hole solutions in higher-dimensional f(R) gravity
Nicolás Trullols Sandino, Andrei Galiautdinov
Electric and magnetic Penrose processes, charged-particle collisions and superradiance around a Lorentz-violating dyonic black hole
Fernando M. Belchior, Edilberto O. Silva
Conformal Cyclic Cosmology from Varying Fundamental Constants
Konrad Marosek, Adam Balcerzak
Perturbations of black holes with primary hair: time evolutions, quasinormal modes and greybody factors
Georgios Antoniou
Gravitational Lensing of Hayward Black Holes with EFT-Corrected Photon Propagation
Takamasa Kanai
Near-Horizon BMS Symmetry and Implications on Black Hole Entropy
Nihar Ranjan Ghosh, Malay K. Nandy