汉语是联合国官方正式使用的6种同等有效语言之一。请不要歧视汉语！

Chinese is one of the six equally effective official languages of the United Nations.

Not to discriminate against Chinese, please!

[悖论] 物理学里的“惯性系”无法定义吧？

    如下图，不妨设伽利略参照系G为静止的惯性系。另外两个参照系A、B对惯性系G以加速度a沿着图示直线加速离开。显然，在惯性系G里，参照系A、B都不是惯性系。

    但是，在参照系A里，如何确定谁是惯性系呢？

    1971年 Williams、Faller 和 Hill 以相对误差小于 (2.7±3.1)×10⁻¹⁶ 验证了库仑定律（Coulomb's Law）。他们在实验中发现了地球自转、公转等引起的磁场、电磁辐射吗？尽管在月球上应该可以检测到。

另外：

    加速运动的非刚体固体或液体，由于惯性力的作用，也是出现“潮汐”现象。爱因斯坦开始不是这样想的。

伽利略：

  （1）一切推理都必须从观察与实验得来。 

  （2）追求科学需要特殊的勇敢。

  （3）科学的真理不应在古代圣人的蒙着灰尘的书上去找，而应该在实验中和以实验为基础的理论中去找。真正的哲学是写在那本经常在我们眼前打开着的最伟大的书里面的。这本书就是宇宙，就是自然本身，人们必须去读它。

相关链接：

[1]  2019-03-02，[悖论] TA能发现这个电磁波吗？

http://blog.sciencenet.cn/blog-107667-1165197.html

[2] 惯性参照系_百度百科

https://baike.baidu.com/item/%E6%83%AF%E6%80%A7%E5%8F%82%E7%85%A7%E7%B3%BB

[3] Inertial frame of reference, From Wikipedia, the free encyclopedia

https://en.wikipedia.org/wiki/Inertial_frame_of_reference

[4] New Experimental Test of Coulomb's Law: A Laboratory Upper Limit on the Photon Rest Mass, E. R. Williams, J. E. Faller, and H. A. Hill, Physical Review Letters. 26, 721 – Published 22 March 1971

https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.26.721

[5] Godel completeness theorem. Encyclopedia of Mathematics.

http://www.encyclopediaofmath.org/index.php?title=G%C3%B6del_completeness_theorem&oldid=23310

        The following statement on the completeness of classical predicate calculus: Any predicate formula that is true in all models is deducible (by formal rules of classical predicate calculus). The theorem proves that the set of deducible formulas of this calculus is, in a certain sense, maximal: it contains all purely-logical laws of set-theoretic mathematics.

[6] Godel incompleteness theorem. Encyclopedia of Mathematics. 

http://www.encyclopediaofmath.org/index.php?title=G%C3%B6del_incompleteness_theorem&oldid=43438

        Gödel's first incompleteness theorem states that in any consistent formal system containing a minimum of arithmetic (+,?, the symbols ?,?, and the usual rules for handling them) a formally-undecidable proposition can be found, i.e. a closed formula A such that neither A nor ¬A can be deduced within the system.

        Gödel's second incompleteness theorem states that if certain natural completeness conditions are met, one can take this formula A to be the formula which expresses the consistency of the system. 

上面的素材卡通下载自互联网，感谢原作者！

感谢您的指教！

感谢您指正以上任何错误！

感谢您提供更多的相关资料！