CAJ | 학술논문

狭义相对论是20世纪最伟大的物理学理论之一。一直以来，狭义相对论的公理化问题受到物理学家和逻辑学家的共同关注。但由于学科的交叉性，这个问题一直没有得出很好的结论。匈牙利学者HajnalAndr6ka等人于2007年提出了一个狭义相对论的一阶逻辑系统Specrel，我们发现这个系统无论在逻辑上，还是在物理上要刻画狭义相对论都是不够的。我们在此基础上提出了狭义相对论的另一个一阶逻辑系统Specrel’，并在这个系统中证明了洛仑兹变换—这一狭义相对论的重要基础公式。从而可以得到“动钟变慢”、“动尺收缩”等一系列狭义相对论的典范效应。
협의상대론시20세기최위대적물이학이론지일。일직이래，협의상대론적공이화문제수도물이학가화라집학가적공동관주。단유우학과적교차성，저개문제일직몰유득출흔호적결론。흉아리학자HajnalAndr6ka등인우2007년제출료일개협의상대론적일계라집계통Specrel，아문발현저개계통무론재라집상，환시재물리상요각화협의상대론도시불구적。아문재차기출상제출료협의상대론적령일개일계라집계통Specrel’，병재저개계통중증명료락륜자변환—저일협의상대론적중요기출공식。종이가이득도“동종변만”、“동척수축”등일계렬협의상대론적전범효응。
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 Andreka 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.