| 狭义相对论的一阶公理化 |
| |
| 引用本文： | 陈磊,史晓菲.狭义相对论的一阶公理化[J].北京师范大学学报(社会科学版),2012(4). |
| |
| 作者姓名： | 陈磊 史晓菲 |
| |
| 作者单位： | 北京师范大学价值与文化研究中心,北京师范大学哲学与社会学学院,北京 100875;北京师范大学价值与文化研究中心,北京师范大学哲学与社会学学院,北京 100875;洛阳市东方二中 洛阳 411002 |
| |
| 摘 要： | 狭义相对论是20世纪最伟大的物理学理论之一。一直以来,狭义相对论的公理化问题受到物理学家和逻辑学家的共同关注。但由于学科的交叉性,这个问题一直没有得出很好的结论。匈牙利学者HajnalAndréka等人于2007年提出了一个狭义相对论的一阶逻辑系统Specrel,我们发现这个系统无论在逻辑上,还是在物理上要刻画狭义相对论都是不够的。我们在此基础上提出了狭义相对论的另一个一阶逻辑系统Specrel’,并在这个系统中证明了洛仑兹变换——这一狭义相对论的重要基础公式。从而可以得到"动钟变慢"、"动尺收缩"等一系列狭义相对论的典范效应。
|
| 关 键 词： | 狭义相对论 一阶逻辑 公理系统 洛仑兹变换 |
First-Order Axiomatization in Specific Relativity |
| |
| CHEN Lei
,
SHI Xiao-fei.First-Order Axiomatization in Specific Relativity[J].Journal of Beijing Normal University(Social Science Edition),2012(4). |
| |
| Authors: | CHEN Lei SHI Xiao-fei |
| |
| Abstract: | The matter of Specific Relativity axiomatization has long been the attention of physicists and logicians. But owing to the problem of cross disciplinarity, the issue has never found a proper solution. The Hungary scholars Hajnal Andréka et al put forward a first-order logic system termed Specrel about the Specific Relativity in 2007. But the system is insufficient in depicting the Specific Relativity either in logic or physics. Against that background, the present paper proposes another logic system: Specrel', and by that system tries to prove the theory of Lorentz Transformation, the fundamental formula in Specific Relativity, which can hence obtain such exemplar effects as time dilatation and length contraction. |
| |
| Keywords: | Specific Relativity first-order logic system of axiom Lorentz Transformation |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
