数学中国

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
楼主: jzkyllcjl

排中律应用问题

[复制链接]
发表于 2020-1-17 19:20 | 显示全部楼层
本帖最后由 春风晚霞 于 2020-1-18 08:49 编辑
jzkyllcjl 发表于 2020-1-17 15:30
第一,夏道行书中30页定理7,使用反证法,证明了实数区间[0,1] 是不可列集。证明中使用了“ 如Tii=1,令ai= ...


Jzkyllcjl先生在9#贴文中说道:“夏道行书中30页定理7,使用反证法,证明了实数区间[0,1] 是不可列集。”这是先生对夏道行先生说的为数不多的公道话。但jzkyllcjl先生说夏道行先生在“证明中使用了‘ 如Tii=1,令ai=2,如Tii不等于1,令ai=1 ’的叙述。这说明,他们的证明,需要使用对所有的i 进行是不是等于1的判断,这个工作需要进行无穷多次。但无穷次判断是进行不到底的操作;因此排中律不能用,反证法不能用,所以这个不可列集合存在的证明无效。”这就不公道也不专业了。 “如Tii=1,令ai=2,如Tii不等于1,令ai=1 ”这句话给出了构建不属于{tⅰ}的实数的规律。所以根据这个规律,不管Tii是否等于1,总可以构建出不属于{ti}的实数。所以,无需“进行无穷多次”判断,就能从理论上证明“实数区间[0,1] 是不可列集”。至于“因此排中律不能用,反证法不能用,所以这个不可列集合存在的证明无效。”这只是你反人类数学的意淫。然乎,否乎?望君自酌。
回复 支持 反对

使用道具 举报

发表于 2020-1-17 20:57 | 显示全部楼层
本帖最后由 elim 于 2020-1-17 05:58 编辑

夏道行给出了一个规则,定性地否定了单位区间的实数的可数性.jzkyllcjl 对数学全面无知这点已被坐实.
回复 支持 反对

使用道具 举报

 楼主| 发表于 2020-1-18 11:16 | 显示全部楼层
elim 发表于 2020-1-17 12:57
夏道行给出了一个规则,定性地否定了单位区间的实数的可数性.jzkyllcjl 对数学全面无知这点已被坐实.

你说的“夏道行给出了一个规则,定性地否定了单位区间的实数的可数性” 实际上是抄 康托尔的.实际上康托尔的 无穷基数理论及他的  反证法证明不能用。.
回复 支持 反对

使用道具 举报

发表于 2020-1-18 13:58 | 显示全部楼层
jzkyllcjl 吃了狗屎就乱咬一大片.没有讨论价值.
回复 支持 反对

使用道具 举报

 楼主| 发表于 2020-2-23 09:17 | 显示全部楼层
春风晚霞 发表于 2020-1-17 11:20
Jzkyllcjl先生在9#贴文中说道:“夏道行书中30页定理7,使用反证法,证明了实数区间[0,1] 是不可列集 ...

你的话 “如Tii=1,令ai=2,如Tii不等于1,令ai=1 ”这句话给出了构建不属于{tⅰ}的实数的规律。是对的,但这个规律或称法则,不能进行到底也是事实,所以不能提出:根据这个规律,不管Tii是否等于1,总可以构建出不属于{ti}的实数。事实上,夏道行没有给出这个实数的无尽小数表达式。他的构建出不属于{ti}的实数是瞎话。
回复 支持 反对

使用道具 举报

 楼主| 发表于 2020-2-23 09:18 | 显示全部楼层
春风晚霞 发表于 2020-1-17 11:20
Jzkyllcjl先生在9#贴文中说道:“夏道行书中30页定理7,使用反证法,证明了实数区间[0,1] 是不可列集 ...

你的话 “如Tii=1,令ai=2,如Tii不等于1,令ai=1 ”这句话给出了构建不属于{tⅰ}的实数的规律。是对的,但这个规律或称法则,不能进行到底也是事实,所以不能提出:根据这个规律,不管Tii是否等于1,总可以构建出不属于{ti}的实数。事实上,夏道行没有给出这个实数的无尽小数表达式。他的构建出不属于{ti}的实数是瞎话。
回复 支持 反对

使用道具 举报

发表于 2020-2-23 16:26 | 显示全部楼层
本帖最后由 春风晚霞 于 2020-2-24 09:08 编辑
jzkyllcjl 发表于 2020-2-23 09:17
你的话 “如Tii=1,令ai=2,如Tii不等于1,令ai=1 ”这句话给出了构建不属于{tⅰ}的实数的规律。是对的,但 ...


Jzkyllcjl先生不能正确理解实数区间[0,1] 是不可列集的主要障碍在于以下几个方面:①未能理解数学概念;②未能正确理解唯物辩证法;③未能正确理解数学必须有的特性。
Jzkyllcjl先生自诩要用唯物辩法建立全新的数学体系,所以先生必须正确理解什么是数学。说先生未能理解数学概念;那是顾及先生年近九旬还对数学有浓厚的兴趣。说白了,①说先生未能未能理解数学概念,是指先生根本就不知道什么是数学。关于数学的定义恩格斯是这样说的 “数学的对象是现实世界的空间形式和数量关系,所以是非常现实的材料。这些材料以极度抽象的形式出现,这只能在表面上掩盖它起源于外部世界的事实。”“数学-—种研究思想事物(虽然它们是现实的摹写)的抽象的科学。”(参见恩格斯《反杜林论》人民出版社 35)所以,数学的对象不仅有“现实世界的空间形式和数量关系”,还应有“现实摹写的思想事物”。从数学的定义看先生把数学划分成“理想”、“近似”、“全能近似”、“绝对准”等范畴是值得商榷的。②说先生未能正确理解唯物辩证法,是指先生并未理解唯物辩法的精髓。如先生对自然数的定义就不是唯物辩证的。因为自然数的产生至今已有数万年的历史,它的无穷性在我国西汉时期就有明确记载。先生应该知道,你的写数定理便是主观意识决定客观存在的范例。先生常以“无尽小数写不到底、算不到底”为由,否定“一一对应”、“排中律”、“反证法”在实数中的应用,自以为就“很辩证唯物主义”、“很潜无穷”了,其实你只是对辩证唯物主义的亵渎。也许先生会很委屈:明明我实践了,为什么还说我是对辩证唯物主义的亵渎?是的,你的“写不到底、算不到底”是一种实践。只不过你的实践尚处于感性认识阶段。因为“感觉到了的东西我们不能立刻理解它,只有理解了的东西才能更深刻地感觉它。”(参见毛泽东《实践论》)所以对于实数的认识比“写不到底、算不到底”更重要的还是判断和推理。如要论证二次函数y=x^2在(0,∞)内是严格单调函数,你能把(0,∞)内的实数写到底、算到底吗?大概你也不会用(0,∞)内的实数“写不到底、算不到底”来反对二次函数y=x^2在(0,∞)内的单调性吧?③说你未能正确理解数学必须有的特性,是指你对数学的“应用广泛性,逻辑严密性,继承兼容性”一无所知。如你为了你立论的需要,一方面坚守欧几理得的“整体大于部分”公理,另一方面在对马克思1/3=3/10+3/100+3/1000+……等价于1/3=0.333……的认识中你又完全忽视欧几里得的“等量公理”。顺便说说,每一次数学概念的扩展,数学体系的扩张都要尽可能的兼容扩展(扩张)前的数学知识,毕竟扩展(扩张)前的知识也是人们在长期实践中取得的嘛。好了,既然先生也知道夏道行“如Tii=1,令ai=2,如Tii不等于1,令ai=1 ” 这句话给出了构建不属于{tⅰ}的实数的规律是对的。那就没有必要死死纠缠“夏道行没有给出这个实数的无尽小数表达式”了。正如《关于数学哲学几个基本问题的思考》的作者所说,“数学中想比做更加重要”。做,确实有“写不到底、算不到底”的情形,但想,则可根据判断推理达到“尽其所有”的程度。
回复 支持 反对

使用道具 举报

发表于 2020-2-23 16:27 | 显示全部楼层
本帖最后由 春风晚霞 于 2020-2-24 09:07 编辑
jzkyllcjl 发表于 2020-2-23 09:18
你的话 “如Tii=1,令ai=2,如Tii不等于1,令ai=1 ”这句话给出了构建不属于{tⅰ}的实数的规律。是对的,但 ...


Jzkyllcjl先生不能正确理解实数区间[0,1] 是不可列集的主要障碍在于以下几个方面:①未能理解数学概念;②未能正确理解唯物辩证法;③未能正确理解数学必须有的特性。
Jzkyllcjl先生自诩要用唯物辩法建立全新的数学体系,所以先生必须正确理解什么是数学。说先生未能理解数学概念;那是顾及先生年近九旬还对数学有浓厚的兴趣。说白了,①说先生未能未能理解数学概念,是指先生根本就不知道什么是数学。关于数学的定义恩格斯是这样说的 “数学的对象是现实世界的空间形式和数量关系,所以是非常现实的材料。这些材料以极度抽象的形式出现,这只能在表面上掩盖它起源于外部世界的事实。”“数学-—种研究思想事物(虽然它们是现实的摹写)的抽象的科学。”(参见恩格斯《反杜林论》人民出版社 35)所以,数学的对象不仅有“现实世界的空间形式和数量关系”,还应有“现实摹写的思想事物”。从数学的定义看先生把数学划分成“理想”、“近似”、“全能近似”、“绝对准”等范畴是值得商榷的。②说先生未能正确理解唯物辩证法,是指先生并未理解唯物辩法的精髓。如先生对自然数的定义就不是唯物辩证的。因为自然数的产生至今已有数万年的历史,它的无穷性在我国西汉时期就有明确记载。先生应该知道,你的写数定理便是主观意识决定客观存在的范例。先生常以“无尽小数写不到底、算不到底”为由,否定“一一对应”、“排中律”、“反证法”在实数中的应用,自以为就“很辩证唯物主义”、“很潜无穷”了,其实你只是对辩证唯物主义的亵渎。也许先生会很委屈:明明我实践了,为什么还说我是对辩证唯物主义的亵渎?是的,你的“写不到底、算不到底”是一种实践。只不过你的实践尚处于感性认识阶段。因为“感觉到了的东西我们不能立刻理解它,只有理解了的东西才能更深刻地感觉它。”(参见毛泽东《实践论》)所以对于实数的认识比“写不到底、算不到底”更重要的还是判断和推理。如要论证二次函数y=x^2在(0,∞)内是严格单调函数,你能把(0,∞)内的实数写到底、算到底吗?大概你也不会用(0,∞)内的实数“写不到底、算不到底”来反对二次函数y=x^2在(0,∞)内的单调性吧?③说你未能正确理解数学必须有的特性,是指你对数学的“应用广泛性,逻辑严密性,继承兼容性”一无所知。如你为了你立论的需要,一方面坚守欧几理得的“整体大于部分”公理,另一方面在对马克思1/3=3/10+3/100+3/1000+……等价于1/3=0.333……的认识中你又完全忽视欧几里得的“等量公理”。顺便说说,每一次数学概念的扩展,数学体系的扩张都要尽可能的兼容扩展(扩张)前的数学知识,毕竟扩展(扩张)前的知识也是人们在长期实践中取得的嘛。好了,既然先生也知道夏道行“如Tii=1,令ai=2,如Tii不等于1,令ai=1 ” 这句话给出了构建不属于{tⅰ}的实数的规律是对的。那就没有必要死死纠缠“夏道行没有给出这个实数的无尽小数表达式”了。正如《关于数学哲学几个基本问题的思考》的作者所说,“数学中想比做更加重要”。做,确实有“写不到底、算不到底”的情形,但想,则可根据判断推理达到“尽其所有”的程度。
回复 支持 反对

使用道具 举报

发表于 2020-2-23 23:12 | 显示全部楼层
jzkyllcjl 吃狗屎成性.要求他理解数学基本概念不现实.
回复 支持 反对

使用道具 举报

 楼主| 发表于 2020-2-24 09:20 | 显示全部楼层
春风晚霞 发表于 2020-2-23 08:27
Jzkyllcjl先生不能正确理解实数区间[0,1] 是不可列集的主要障碍在于以下几个方面:①未能理解数学概念 ...

既然你知道实践论,就应当知道: 实践是数学的基础,就应当知道:《实践论》中“实践、认识,再实践、再认识,这种形式,循环往复以至无穷,而实践和认识之每一循环的内容,都比较地进到了高一级的程度”[4]的思想,需要对已有的有矛盾的数学理论 需要进行修改与补充。具体来讲:需要根据“写不到底、算不到底”的事实,消去实数集合是不可数集合存在的康托尔、夏道行的对角线证明,进一步消除康托尔的连续统假设的120年无法解决大难题。就需要消除"无尽小数是实数"的实数理论,消除布劳威尔使用两次排中律得到的三分律反例,消除单独使用形式逻辑得到的 具有不相容性反例、悖论、大难题的形式逻辑体系,该用尊重事实的唯物辩证法。尊重恩格斯的“杜林先生,永远做不到没有矛盾地思考现实的无限性。无限性是一个矛盾,而且充满着矛盾。无限纯粹是由有限组成的,这已经是矛盾,可是事情就是这样” 的论述。
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2024-3-28 21:52 , Processed in 0.065430 second(s), 13 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表