Comparing Relativistic and Newtonian Dynamics in First-Order Logic
In this paper we introduce and compare Newtonian and relativistic dynamics as two theories of first-order logic (FOL). To illustrate the similarities between Newtonian and relativistic dynamics, we axiomatize them such that they differ in one axiom only. This one axiom difference, however, leads to radical differences in the predictions of the two theories. One of their major differences manifests itself in the relation between relativistic and rest masses, see Thms. 5 and 6.
Unable to display preview. Download preview PDF.