狭义相对论的一阶公理化 陈磊;史晓菲 【期刊名称】《北京师范大学学报（社会科学版）》 【年(卷),期】2012(000)004 【摘 要】狭义相对论是20世纪最伟大的物理学理论之一.一直以来,狭义相对论的公理化问题受到物理学家和逻辑学家的共同关注.但由于学科的交叉性,这个问题一直没有得出很好的结论.匈牙利学者Hajnal Andréka等人于2007年提出了一个狭义相对论的一阶逻辑系统Specrel,我们发现这个系统无论在逻辑上,还是在物理上要刻画狭义相对论都是不够的.我们在此基础上提出了狭义相对论的另一个一阶逻辑系统Specrel',并在这个系统中证明了洛仑兹变换——一这一狭义相对论的重要基础公式.从而可以得到“动钟变慢”、“动尺收缩”等一系列狭义相对论的典范效应. 【总页数】8页(P103-110) 【作 者】陈磊;史晓菲 【作者单位】北京师范大学价值与文化研究中心,北京师范大学哲学与社会学学院,北京 100875;北京师范大学价值与文化研究中心,北京师范大学哲学与社会学学院,北京 100875;洛阳市东方二中 洛阳 411002 【正文语种】中 文 【中图分类】B813 【相关文献】 1.狭义相对论与钟慢效应关系再认识--纪念狭义相对论创立110周年 [J], 文兴吾 2.论公理化思想视域下的教育——兼论张楚廷教育公理化思想 [J], 段力琳;王鐘 3."公理化"或"拟公理化"的数学教育方法论意义 [J], 封平华;田庆云 4."公理化"或"拟公理化"及其认识论意义 [J], 封平华;李东亚 5.一阶逻辑中公理化真度研究 [J], 郝娇;惠小静;马硕;金明慧 因版权原因，仅展示原文概要，查看原文内容请购买 本文来源：https://www.wddqw.com/doc/50d8a8722d3f5727a5e9856a561252d381eb207c.html