搜索结果: 1-2 共查到“科学技术哲学 Relativistic Dynamics”相关记录2条 . 查询时间(0.109 秒)
Axiomatizing Relativistic Dynamics using Formal Thought Experiments
First-order Modal Logic Relativistic Dynamics Thought Experiments Definition of Mass
2016/6/14
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 ...
Axiomatizing relativistic dynamics without conservation postulates
relativity dynamics first-order logic
2008/4/10
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 connecting relativistic
...