期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

Axiomatization of Special Relativity in First Order Logic

Axiomatization of Special Relativity in First Order Logic
原文传递
导出
摘要 The axiomatization of physical theories is a fundamental issue of science. The first-order axiomatic system SpecR el for special relativity proposed recently by Andr′eka et al. is not enough to explain all the main results in the theory, including the twin paradox and energy-mass relation. In this paper, from a four-dimensional spacetime perspective, we introduce the concepts of world-line, proper time and four-momentum to our axiomatic system SpecR el^+. Then we introduce an axiom of mass(Ax Mass) and take four-momentum conservation as an axiom(Ax CFM)in SpecR el^+. It turns out that the twin paradox and energy-mass relation can be derived from SpecR el+logically. Hence,as an extension of SpecR el, SpecR el^+is a suitable first-order axiomatic system to describe the kinematics and dynamics of special relativity.
作者 罗懿晨 陈磊 何宛亭 马永革 张昕禹
机构地区 Department of Physics Research Center for Value and Culture
出处 《Communications in Theoretical Physics》 SCIE CAS CSCD 2016年第7期19-28,共10页 理论物理通讯（英文版）
基金 Supported by the National Science Foundation of China under Grant Nos.11235003 and 11475023 National Social Sciences Foundation of China under Grant No.14BZX078 the Research Fund for the Doctoral Program of Higher Education of China the Undergraduate Training Program of Beijing
关键词 special relativity first-order logic axiomatization 狭义相对论 一阶逻辑 公理化 系统图像 双生子佯谬 相对论动力学 物理理论 四维时空
分类号 O412.1 [理学—理论物理] O141 [理学—基础数学]
  • 相关文献

参考文献10

  • 1A. Tarski, in The Axiomatic Method with Special Refer- ence to Geometry and Physics: Proceedings of an Inter- national Symposium, University of California, Berkeley, the USA, 26 December 1957-4 January 1958, edited by L. Henkin, A. Tarski, and P. Suppes, North-Holland Pub- lishing Company, Amsterdam (1959), pp. 16-29.
  • 2P. Suppes, in The Axiomatic Method with Special Refer- ence to Geometry and Physics: Proceedings of an Inter- national Symposium, University of California, Berkeley, the USA, 26 December 1957-4 January 1958, edited by L. Henkin, A. Tarski, and P. Suppes, North-Holland Pub- lishing Company, Amsterdam (1959), pp. 291-307.
  • 3A.G. Walker, in The Axiomatic Method with Special Ref- erence to Geometry and Physics: Proceedings of an In- ternational Symposium, University of California, Berke- ley, the USA, 26 December 1957-4 January 1958, edited by L. Henkin, A. Tarski, and P. Suppes, North-Holland Publishing Company, Amsterdam (1959), pp. 308-321.
  • 4Y. Ueno, in The Axiomatic Method with Special Reference to Geometry and Physics: Proceedings of an InternationalSymposium, University of California, Berkeley, the USA, 26 December 1957-4 January 1958, ed. by L. Henkin, A. Tarski, and P. Suppes, North-Holland Publishing Com- pany, Amsterdam (1959), pp. 322-332.
  • 5H. Andergka, J.X. Madar~sz, and I. N~meti, in Hand- book of Spatial Logics, ed. by Marco Aiello, Ian Pratt- Hartmann, and John Van Benthem, Springer, Dordrecht (2007), pp. 607-712.
  • 6J.X. Madar~sz, I. N6meti, and G. Sz6kely, Found. Phys. 36 (2006) 681.
  • 7H. Ander~ka, J.X. Madar~sz, I. N6meti, and G. Sz~kely, Stud. Log. 89 (2008) 163.
  • 8G. Szdkely, First-order Logic Investigation of Relativity Theory with an Emphasis on Accelerated Observers, Dis- sertation for the Doctoral Degree, EStvSs Lor~nd Univer- sity, Budapest (2009).
  • 9K.A. Ross, Elementary Analysis: The Theory of Calculus, Springer, New York (2013).
  • 10C.B. Liang and B. Zhou, Introductory Differential Geom- etry and General Relativity I, 2nd edition, Science Press, Beijing (2006) (in Chinese).
Communications in Theoretical Physics
2016年 第7期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部