北京师范大学学报（社会科学版）
北京師範大學學報（社會科學版）
북경사범대학학보（사회과학판）
JOURNAL OF BEIJING NORMAL UNIVERSITY(SOCIAL SCIENCE EDITION)
2012年
4期
103-110
,共8页
狭义相对论%一阶逻辑%公理系统%洛仑兹变换
狹義相對論%一階邏輯%公理繫統%洛崙玆變換
협의상대론%일계라집%공리계통%락륜자변환
狭义相对论是20世纪最伟大的物理学理论之一.一直以来,狭义相对论的公理化问题受到物理学家和逻辑学家的共同关注.但由于学科的交叉性,这个问题一直没有得出很好的结论.匈牙利学者Hajnal Andréka等人于2007年提出了一个狭义相对论的一阶逻辑系统Specrel,我们发现这个系统无论在逻辑上,还是在物理上要刻画狭义相对论都是不够的.我们在此基础上提出了狭义相对论的另一个一阶逻辑系统Specrel',并在这个系统中证明了洛仑兹变换——一这一狭义相对论的重要基础公式.从而可以得到“动钟变慢”、“动尺收缩”等一系列狭义相对论的典范效应.
狹義相對論是20世紀最偉大的物理學理論之一.一直以來,狹義相對論的公理化問題受到物理學傢和邏輯學傢的共同關註.但由于學科的交扠性,這箇問題一直沒有得齣很好的結論.匈牙利學者Hajnal Andréka等人于2007年提齣瞭一箇狹義相對論的一階邏輯繫統Specrel,我們髮現這箇繫統無論在邏輯上,還是在物理上要刻畫狹義相對論都是不夠的.我們在此基礎上提齣瞭狹義相對論的另一箇一階邏輯繫統Specrel',併在這箇繫統中證明瞭洛崙玆變換——一這一狹義相對論的重要基礎公式.從而可以得到“動鐘變慢”、“動呎收縮”等一繫列狹義相對論的典範效應.
협의상대론시20세기최위대적물이학이론지일.일직이래,협의상대론적공이화문제수도물이학가화라집학가적공동관주.단유우학과적교차성,저개문제일직몰유득출흔호적결론.흉아리학자Hajnal Andréka등인우2007년제출료일개협의상대론적일계라집계통Specrel,아문발현저개계통무론재라집상,환시재물리상요각화협의상대론도시불구적.아문재차기출상제출료협의상대론적령일개일계라집계통Specrel',병재저개계통중증명료락륜자변환——일저일협의상대론적중요기출공식.종이가이득도“동종변만”、“동척수축”등일계렬협의상대론적전범효응.
