
如果不承认选择公理,现代数学会变成什么样子?
基本上没得玩了。选择公理跟大量定理是等价的,不承认选择公理,意味着这些这些定理全都要推翻,特别是代数和集合论会成为重灾区。 Wikipedia [1]上列出了选择公理的等价定理:一、集合论Tarski选择定理:对于任意无限集 [公式] ,存在一个双射 [公式] 。基数的三歧性:对任意两个给定集合,要么它们基数相同,要么其中一个的比另一个小。给定两个非空集合,必然存在某个集合到另一个的满射。任意非空集族的Cartesian…
“光速不变原理”是定律?是公理?是定理?还是假设?
我在知乎上做了很多努力来普及基本的相对论知识和时空观,但是现在看来,再过100年仍然会有人问类似的问题。没有别的办法,只能一遍一遍的回答,也许很多知识就是要反复说,才能逐步起到普及作用。 物理学是科学,科学是建立在“逻辑+实证”的基础上的。科学理论首先不能违背基本逻辑,其次要符合实验结果。 由于实验结果不可能覆盖全部客观情况,所以任何科学理论——哪怕得到了大量的实验验证的科学理论,我们一般也只将其称为…