|
本帖最后由 春风晚霞 于 2020-4-13 10:52 编辑
对于jzkyllcjl发表于 2020-4-11 07:33 19#贴子,现分层次回复于后
第一、“春风晚霞17楼帖子的内容一种付多次,我已回复过多次, 其中②到③ 式都不是马克思、恩格斯的,而是你加的。”是的,春风晚霞17楼帖子的内容确实是一贴多发。Jzkyllcjl虽然“回复过多次”,但每次均为非数学性质的回复,实难令人信服。这种似是而非的回答虽多犹无。“其中②到③ 式都不是马克思、恩格斯的,而是你加的。”这也不假,由马克思的极限等式①根据欧氏数学公理得出③式(即0.333……=1∕3);这是春风晚霞对马克思极限等式的理解。Jzkyllcjl先生既然承认等式①(其实①式若不是马克思给出,Jzkyllcjl先生连①式都要反对的),又指不出由①到③证明过程中的逻辑错误,那么这样的论证就满足步步有根据的基本要求,因此③式(即0.333……=1∕3)是正确的。从而,春风晚霞对马克思给出的①式的解读是忠于原著的。
第二、“根据马克思的最后‘1/3 成为它的级数的极限’的话, 应当从除法得到分数1/3的针对误差界序列{1/10^n}的以十进小数为项的不足近似值无穷数列( 即康托尔基本数列形式的一种数列)0.3,0.33,0.333,……。这种数列具有永远写不到底的性质,根据上述误差界{1/10^n}趋向于0的性质,这个无穷数列的趋向性极限才是1/3。”Jzkyllcjl先生的这段论述虽然精彩,但仍值得商榷。①在马克思《数学手稿》对极限的定义是“每一个等式都表示一个极限”(请参阅徐利治关于马克思对极限定义的介绍);所以马克思的①式已完整的表达了“1/3 成为它的级数的极限”了。②伟大的思想家马克思逝于1883年3月14日,Jzkyllcjl先生的极限理论最早创造于1956年(根据Jzkyllcjl先生的自述,你是1956年进入大学学习的)。Jzkyllcjl先生,你要人们按马克思逝世73年后你创生的极限理论理解马克思的数学思想,这是忠于马克思的原著吗?更何况你的极限理论还没得到学界的认可呀!③按照Jzkyllcjl先生对春风晚霞的的批评,马克思也没有说他的极限思想必须按“无穷数列的趋向性极限才是1/3”去理解嘛。④这种以“十进小数为项的不足近似值无穷数列”具有“永远写不到底的性质”,这也只是Jzkyllcjl先生你个人的“特殊经验”。你要知道“纯数学具有脱离任何个人的特殊经验而独立的意义”(参见恩格斯《反杜林论》),Jzkyllcjl先生你以此立论是在研究数学吗?
第三、“对三分律的反例, 虽然徐利治说过使用两次三分律可以得到那个实数Q 只属于 三者之一,但实际上无法知道究竟属于哪一种,所以徐利治最后说‘看来还是一个难以 解决的问题,希望读者研究解决’”; Jzkyllcjl先生你也算是教过数学的,想来对什么是三分律还是有所了解的。“得到那个实数Q 只属于 三者之一”就已经证明了Q满足三分律,它与①Q=0;②Q<0;③Q>0究竟哪 个成立有什么关系?不能具体确定①Q=0;②Q<0;③Q>0究竟哪个成立,你就坚称实数集存在三分律反例,你不觉得这一理由既不充分也不必要吗?如任给a,b属于前一万个自然数构成的集合A,你同样不能具体确定①a=b;②a<b;③a>b这三个式子究竟哪个成立,你能认为前一万个自然数构成的集合A存在三分律反例吗?
第四、Jzkyllcjl先生,你“ 根据‘无穷不是完成了的实无穷’观点,布劳威尔不能使用三分律得到这个实数Q,这样就消除了这个反例。 其它分球奇论等问题我都是在否定康托尔‘无穷是完成了的 实无穷’下解决的。”对jzkyllcjl先生的这段论述,春风晚霞分以下几个方面给回复:①Jzkyllcjl先生“根据‘无穷不是完成了的实无穷’观点,布劳威尔不能使用三分律得到这个实数Q,这样就消除了这个反例。”看来Jzkyllcjl先生没有认真阅读徐利治先生 “关于Brouwer反例的评注”的内容。在那里徐利治先生明确指出“由于Brouwer坚持认为π的小数展式只是一个永远不完成的潜无穷序列,故上述(1)-(3)情况都是不能确定的。因此Q=0;Q<0;Q>0中的任一种情况都是无法肯定或否定的。”也就是说Brouwer反例只是对潜无穷才存在。而对实无穷根本就不存在Brouwer反例。所以Jzkyllcjl先生“根据‘无穷不是完成了的实无穷’观点”,不仅没有消除Brouwer三分律反例。反而给根本就不存在三分律反例的(实无穷)实数集,带来了三分律反例。②“其它分球奇论等问题我都是在否定康托尔‘无穷是完成了的实无穷’下解决的。”Jzkyllcjl先生,你也不要太自以为是了。先不说你是怎样“在否定康托尔‘无穷是完成了的实无穷’下解决”了这些问题,请先生扪心自问你读懂了分球定理、伽利略猜想这些康托尔实数理论完全解决了的问题吗?你解决这些问题的叙述符合数学的“高度的抽象性、严谨的逻辑性和广泛的适用性”吗?②你的《全能近似分析》体系确实不存在伽利略猜想、分球奇论这些你认为不可理解的问题。但却又产生“数不是数”(无限小数不是定数,也不是实数)、实数系统不再连续、实数运算的群、环、域理论遭到破坏……等新的问题。其实Jzkyllcjl先生,你什么都没有解决,你只是回避了你无法理解的与无穷相关的问题。这好比幼儿园的小朋友只认识20以内的自然数,他们的数学理论绝对不存在数学中尚有争议或尚待解决的问题。③至于“你们的言论是相信康托尔,只是不求进步的墨守成规的论述。”我们“相信康托尔”、“ 墨守成规”这也许不假。但说我们“不求进步”这就不对了。谁都知道,康托尔的集合论,比搬着指头计数(即你的写得到底、算得到底)和只知在有穷范围内0.999……9<1而下知道在无穷时0.999……=1进步得多哟。jzkyllcjl先生,你自称是辩证唯物论的信仰者,怎么连“数学一谈到无限大和无限小,它就导致质的差异,这个差异甚至表现为不可克服的质的对立”(参见恩格斯《自然辩证法》P190页)都不知道,你还能以信仰唯物主义而自诩吗?
第五、无限小数的来源和计算问题;①小数的来源:古人在处理度量的需要使用十进制记数法,于是小数(即不带分母的十进分数)就应运而生。小数的出现标志着十进制记数法从整数扩展到了分数,使分数与整数在形式上获得了统一。我国对小数的认识在世界上也是最早的。公元3世纪,我国数学家刘徽在注释《九章算术》中处理平方根和分数问题时就提出了十进小数。也就是在这个时候像√2=1.414213……;1∕3=0.3333……这样的无限小数也就产生了。Jzkyllcjl认为这样的表示“右端是一个理想实数,而左端是永远写不到底的无尽小数,它不是定数”,因此这样的等式犯了张冠李戴的错误。春风晚霞认为:1∕3=0.3333……;√2=1.414213……中的等号不仅没有犯张冠李戴的错误,而且还是表示无尽小数之必须。正是有了这个等号的约束,右边的无限小数才有唯一存在的意义。正如恩格斯所说:“把某个确定的数,例如把一个二项式,化为无穷级数,即化为某种不确定的东西,从常识来说这是荒谬的。但是,如果没有无穷级数和二项式定理,那我们能走多远呢?”(参见恩格斯《自然辩证法》P195页)请注意恩格斯用反诘的方法对常识认为荒谬的否定。由于jzkyllcjl先生反对“把某个确定的数化为某种不确定的东西”;所以《全能近似分析》的立论过程中,反复使用{0.3,0.33,0.333……}这一康托尔基本序列来定义无尽小数。其实,无论jzkyllcjl承认与否,按潜无穷的思维方式,是写不出表示ln2、sin3这样的无尽小数的康托尔基本序列的。②jzkyllcjl先生常以“无尽循环小数永远写不到底、算不到底”,因此“它不是定数,不是实数”来反对现行实数理论相关的计算和论证。然而,我们在处理与无穷相关的实数计算和论证时,需且只需对符合条件的任意元素进行处理,再根据元素的任意性推广到无限也就行了。如庄子的“一尺之棰,日取其半,万世不竭”(参见《庄子》:《天下》篇),并不需要我们每天拿刀去砍这“一尺之棰”,并且等到一万世之后才知砍不完这一结果。Jzkyllcjl先生在反对证明实数区间[0,1] 是不可列集时。认为证明中使用了 “ 如tii=1,令ai =2;如tii≠1,令ai =1 ”的叙述。“这说明,他们的证明,需要使用对所有 i 进行tii 是不是等于1 的判断,这个工作需要进行无穷多次。但无穷次判断是进行不到底的操作;这个不可列集合证明中的判断不是能行可判断问题,排中律不能用,反证法不能用,所以这个不可列集合存在的证明无效”(参见jzkyllcjl《无穷集合的性质与概率论基础》)。其实,每个数学人都能读懂“ 如tii=1,令ai =2;如tii≠1,令ai =1 ”,并不需要“对所有 i 进行tii 是不是等于1 的判断”,都能做出与原来的ai不同的新的ai,从而否定实数区间[0,1]可列,达到证明实数区间[0,1] 不可列的目的。除非jzkyllcjl先生能找出那么一个既等于1又不等于1的tii,否则你就不能说“这个不可列集合证明中的判断不是能行可判断问题,排中律不能用,反证法不能用,所以这个不可列集合存在的证明无效。”jzkyllcjl先生,你找得到那个既等于1又不等于1的tii吗?
|
|