狭义相对论的一阶公理化

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