狭义相对论的一阶公理化

发布时间：2017-10-11 05:21

  本文关键词：狭义相对论的一阶公理化

  更多相关文章： 狭义相对论 一阶逻辑 公理系统 洛仑兹变换

【摘要】：狭义相对论是20世纪最伟大的物理学理论之一。一直以来,狭义相对论的公理化问题受到物理学家和逻辑学家的共同关注。但由于学科的交叉性,这个问题一直没有得出很好的结论。匈牙利学者HajnalAndréka等人于2007年提出了一个狭义相对论的一阶逻辑系统Specrel,我们发现这个系统无论在逻辑上,还是在物理上要刻画狭义相对论都是不够的。我们在此基础上提出了狭义相对论的另一个一阶逻辑系统Specrel’,并在这个系统中证明了洛仑兹变换——这一狭义相对论的重要基础公式。从而可以得到"动钟变慢"、"动尺收缩"等一系列狭义相对论的典范效应。
【作者单位】： 北京师范大学价值与文化研究中心 北京师范大学哲学与社会学学院;洛阳市东方二中;
【关键词】： 狭义相对论 一阶逻辑 公理系统 洛仑兹变换
【分类号】：B813
【正文快照】： 作为20世纪最伟大的科学理论之一,狭义相对论创立100多年来,经受住了大量科学实验的验证,成为现代物理学的重要基础之一。基于“光速不变原理”和“狭义相对性原理”,爱因斯坦首次将时间和空间提升为一个更基本的概念———“时空”,使人类对时间和空间以及物体运动的本质的

【共引文献】

中国期刊全文数据库 前10条

1 张庚尧;数学分析教学与创新能力培养[J];零陵学院学报;2002年06期

2 宋玉英;试论高职学生的数学素养与培养[J];兰州教育学院学报;2003年03期

3 蒙虎;关于莱布尼茨微积分的哲学背景[J];首都师范大学学报(自然科学版);2004年01期

4 黄力民;后现代文化思潮在数学中的影响[J];社会科学战线;2000年05期

5 黄秦安;柏拉图主义数学真理的神学化及其解构[J];陕西师范大学学报(哲学社会科学版);2000年03期

6 毛鄂m，

本文编号：1010718