53 citations · 246 across the 22 of their papers we have counts for
Showing 2008Show all
2 papers · 1 filter
math-ph2008★ 16 cited
A Geometrical Characterization of the Twin Paradox and its Variants
Gergely Szekely
The aim of this paper is to provide a logic-based conceptual analysis of the twin paradox (TwP) theorem within a first-order logic framework. A geometrical characterization of TwP…
math-ph2008★ 23 cited
Axiomatizing relativistic dynamics without conservation postulates
H. Andreka, J. X. Madarasz, I. Nemeti +1
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 connec…