|
本帖最后由 春风晚霞 于 2020-3-15 20:26 编辑
第一、由实数三分律定义:对任给实数a,b属于实数R,则①a=b,②a<b ,③a>b这三个关系式中有且只有一个关系式成立。对于布劳威尔所构造的实数Q和0当然也是可以的。但问题的关键是徐利治先生已证明布劳威尔所构造的实数Q和0之间①Q=0;②Q<0;③Q>0这三个关系式有且只有一个成立,这已明确表示在实无穷理念下布劳威尔所构造的实数Q适合实数的三分律。并且明确指出只有潜无穷观念下Q和0之间的关系才无法确定。也就是说只有先生所坚持的潜无穷观念下才有三分律反例。
第二、因为数的三歧性(即实数的三分律)只要求①Q=0;②Q<0;③Q>0这三种情形有且只有一种情形成立就够了。这是因为这三种情况如果有两种以上(即两种或三种同时成立)那是悖论。三种情况都不成立,那才是反例。所以,“将徐利治叙述中无法(确定)实数Q究竟大于0、小于0或等于0的布劳维尔反例理解为一个三分律反例”,那是属于概念不清,欲加其罪的行为。
第三、我认为用一一对应理论证明“正整数集合 S1= {1, 2, 3,… n,…} 与正整数的真子集合 S2= {1, 4, 9,… n2,…} 的两个集合的元素个数证明为相等” 这是符合事实的。我应邀给某中学的中学生讲过伽利略猜想的证明,从学生反馈的信息看效果较好。对于单调函数如y=e^x的定义域(-∞,∞)与值域(0,∞)中的元素个数相等。自然数集N与正奇数集{x∣x=2n+1,n∈N}的元素个数相等这样的随例,课堂检验效果较好。在我的工作中,类似问题的处理也较为满意。其实你要反对伽利略猜想的正确性,只需要在S1中找那么一个数x,若证得x的平方不属于S2={1, 4, 9,… n2,…}={y∣y=x^2,x∈N}就可以了。同样如果你能证明y=e^x的定义域(-∞,∞)中的哪个x的值能使y=e^x的值不在值域(0,∞)中也就可以了。这样的反例你能找到吗?数学论文不是大字报,其正确性只依赖于严密的逻辑论证,而不是靠顽强地坚持和革命口号喊得多响亮。更不是靠“一一对应不能用”,“反证法不能用”、“排中律不能用”这些与论者身份不符的宣布。换句话讲你何德何能宣布在处理无穷问题时不能用“一一对应”、 “反证法”和“排中律”呢?
|
|