Axiomatizing Relativistic Dynamics using Formal Thought Experiments

Publication Year:
Usage 190
Downloads 190
Social Media 1
Tweets 1
Repository URL:
Molnár, Attila; Székely, Gergely
conference paper description
Thought experiments are widely used in the informal explanation of Relativity Theories; however, they are not present explicitly in formalized versions of Relativity Theory. In this paper, we present an axiom system of Special Relativity which is able to grasp thought experiments formally and explicitly. Moreover, using these thought experiments, we can provide an explicit definition of relativistic mass based only on kinematical concepts and we can geometrically prove the Mass Increase Formula in a natural way, without postulates of conservation of mass and momentum.