sungmoo 发表于 2010-1-4 01:16 
撒哈拉的伐木工 发表于 2010-1-4 00:41
可是,事先我们怎么判断“可被证伪”?非欧几何和欧氏几何的公理根基完全冲突:非欧公理认为平行线可相交,欧氏认为不可以。用非欧可以证伪欧氏,用欧氏也可以证伪非欧。但是,这两种几何公理,都符合客观实际经验。还有一个例子是选择性公理,承认,是符合客观世界的,不承认,做出来的结论一样符合。他们哪个是伪的?
仅就上面的例子而言,我想知道:“平行线”(乃至“直线”)在几何中是否有明确的定义?
(“平行线”的定义,是否需要事先讨论所欲定义概念的“存在性”?比如,定义Lebesgue测度,其实首先是在寻找是否存在满足一定条件的某种测度)
(如果定义不清楚,我个人以为,“符合客观实际经验”这种提法还比较空洞)
这就是数学最让人抓狂的,注意了,平行线这个概念哈,是公理。。。。公理不需要定义,需要感知。
lebesgue的不可测集,就是在建立映射的时候引入了“链”,就是良序了,当然就是选择性公理的等价了。如果不引入“链”,就得不出m(Q)=1的悖论。Q是实轴上的有理数。
链是符合客观实际的,不引入,也是符合客观实际的。
这个选择性公理我一直迷惑的就是,面对无穷集合,你承认有一个极大值,一套完美的积分理论,符合实际;你不承认有极大值,一套完美的积分理论,符合实际。
直线是一个公理的概念,平行线也是,所以我就说,难道公理错了?那,是哪个公理错了呢?互相都可以证伪,单独都符合实际。