狭义相对论的一阶公理化

摘要：

狭义相对论是20世纪最伟大的物理学理论之一.一直以来,狭义相对论的公理化问题受到物理学家和逻辑学家的共同关注.但由于学科的交叉性,这个问题一直没有得出很好的结论.匈牙利学者Hajnal Andréka等人于2007年提出了一个狭义相对论的一阶逻辑系统Specrel,我们发现这个系统无论在逻辑上,还是在物理上要刻画狭义相对论都是不够的.我们在此基础上提出了狭义相对论的另一个一阶逻辑系统Specrel',并在这个系统中证明了洛仑兹变换——一这一狭义相对论的重要基础公式.从而可以得到“动钟变慢”、“动尺收缩”等一系列狭义相对论的典范效应.

关键词：狭义相对论、一阶逻辑、公理系统、洛仑兹变换

分类号：B813(逻辑学(论理学))

在线出版日期：2012-10-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：103-110