狭义相对论的一阶公理化

2023-01-30 13:22:12 文档大全网 [ 字体：小中大 ] [ 阅读： ]

【#文档大全网# 导语】以下是®文档大全网的小编为您整理的《狭义相对论的一阶公理化》，欢迎阅读！
公理化,狭义相对论
狭义相对论的一阶公理化

陈磊;史晓菲

【期刊名称】《北京师范大学学报（社会科学版）》【年(卷),期】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], 郝娇;惠小静;马硕;金明慧

因版权原因，仅展示原文概要，查看原文内容请购买