实数集可数定理

elim

吃狗屎的行为，是人堕落成畜生的表现。需要制止和揭发。

jzkyllcjl

elim 发表于 2021-4-7 14:30
吃狗屎的行为，是人堕落成畜生的表现。需要制止和揭发。

[0,1}区间上的理想实数集合是一个无穷集合，无穷集合都是具有不可数、不可列的性质非正常集合。进一步分析，根据无尽小数算不到底、写不到底的事实，[0,1}区间上的无尽小数仅仅是与理想实数之间有“一一对应的”想象性理想关系，结合现实问题的实际应用时，需要对这些无尽小数取足够多有限位十进小数替换方法的做法。如果都取5位小数，这些近似值就是一个个数为 10的5次幂的有穷可数集合。如果都取n小数，这些近似值就是一个个数为10的n 次幂的有穷可数集合。总之，在[0,1}是理想实数集合的意义下，它不是可数、也不是可列集合，但在足够准近似研究方法下，它可以是可数集合，也可以是可列集合。

APB先生

jzkyllcjl 发表于 2021-4-8 16:09
[0,1}区间上的理想实数集合是一个无穷集合，无穷集合都是具有不可数、不可列的性质非正常集合。进一步分 ...

一看见您的帖子，我就头大。

jzkyllcjl

APB先生 发表于 2021-4-9 08:07
一看见您的帖子，我就头大。

APB 先生： 我起初压实相信现行数学理论的，而且与你一样也提出过有无穷大自然数 （实）无穷小数的想法。但是到各地请教15年无效后，听到鲁滨逊的《非标准分析》有这种数，高兴了半截。经过对《非标准分析》的学习，我发现“《非标准分析》中的无穷大自然数违背了自然数可以用十进计数法写出的性质。《非标准分析》的正实无穷小数与“正实数可以任意小” 的性质矛盾，看到它的推导使用了有争论的选择公理。又看到恩格斯的“杜林先生，永远做不到没有矛盾地思考现实的无限性。无限性是一个矛盾，而且充满着矛盾。无限纯粹是由有限组成的，这已经是矛盾，可是事情就是这样”在《自然辩证法》228页恩格斯讲道：“数学家的方法常常奇怪的得到正确的结果，但他们……。他们忘掉了：全部所谓纯粹数学都是研究抽象的，它的一切数量严格说来都是想象的数量，一切抽象在推到极端时就变成谬妄或自己的反面。数学的无限是从现实中借来的，……，而只能从现实中来说明，……。而这样一来，问题就说明了”的论述。结合毛泽东实践论与矛盾论的叙述，进过60年反复思考后，笔者才提出了“①数学理论研究的基本原则是描述与解决现实数量大小及其关系的科学；②数学理论的阐述，不能单靠形式逻辑，还需要使用：理论与实践、理想与现实、精确与近似、无限与有限、零与非零足够小、形与数、直与曲之间的对立统一、分工合作的唯物辩证法进行阐述”的数学模型。但我一个人的考虑，还需要你和大家批评指正。

elim

jzkyllcjl 继续让APB先生头大．

APB先生

真是啊，头大。

谢芝灵

jzkyllcjl 发表于 2021-4-8 08:09
[0,1}区间上的理想实数集合是一个无穷集合，无穷集合都是具有不可数、不可列的性质非正常集合。进一步分 ...

[0,1}区间上的理想实数集合是一个无穷集合。===== 无穷（无限）的定义？
在数轴上的点0到点1之间能标多少点？有限个点？无限个点？

我从点0到了点1。===== 证明这之间只能标有限个点。
因为明确说到了点1，假如中间无限，你就到不了点1。

有穷（有限）的定义：a...p。
解释上定 义：你选的第一个元素a，再到了你愿意停止的一个叫最后元素p。
无穷（无限）的定义：a...
解释上定 义：你选的第一个元素a，再到了你不愿意、不能停止，没有最后元素。

你可以从1开始无穷无限：1/2，1/4，1/8，1/16，...
由无限的定义，没一个叫最后的元素，所以就没有一个0为最后元素。
所以上无限就不是：1/2，1/4，1/8，1/16，...
你不能从1无限无穷到0。
你从1到0，不管增加多少点元素，都是有限个点。
有限不能用一个具体的点数去规定，有限有穷有定义。

jzkyllcjl

谢芝灵：数学理论的模型，不能单靠形式逻辑；还需要使用理论与实践、、理想与现实、精确与近似、无限与有限、零与非零足够小、形与数、直与曲之间的分工合作的对立统一的方法建立唯物辩证法下的数学理论模型。需要解决问题。
[0,1}区间上的实数集合是不是可数的问题，就需要使用有限与无限 之间的相互依赖、相互斗争的对立统一法则去解决。因此需要知道：这个区间上的理想实数集合无法构造完毕，需要使用近似方法描述区间上不同位置，例如在准确到五位小数的意义下，只有0.00000，0.00001，0.00002，0.99999的10^5 幂个不同近似数字，其中0.99999近似表示1. 如果这个近似表示精度不满足要求，可以提高小数的位数，直到满足要求的精度为止。但绝对准是做不到的。康托尔使用无尽小数证明[0,1}不可数是错误的，错误的原因，在于他不能做出无穷次的判断。虽然如此，也需要指出：在绝对准意义下，这个区间上的所有无尽小数是想想性质的不可构成的无穷集合，这个集合的元素个数无穷多，不能用自然数表示它的元素个数，在这个意义下，它是不可数集合。

elim

哈哈哈哈哈哈哈哈哈，呵呵呵呵呵，哈哈哈哈哈哈

谢芝灵

jzkyllcjl 发表于 2021-4-10 02:00
谢芝灵：数学理论的模型，不能单靠形式逻辑；还需要使用理论与实践、、理想与现实、精确与近似、无限与有限 ...

所有实践、实验都是理论。
我们的宇宙真相是A，人类唯心的表述出来的是H。
人类用数字化可描述所有。

你心中的红色或某个果，是你的前辈告诉你。
前辈又是前前辈转告的。
==== 这都是理论。
逆上，第一个人也是凭唯心定义：红色或某个果。
我带过孩 子就知道，所有概念必须教给孩 子。
孩 子就是学理论。

唯物的宇宙设为A
每个人心中有自己的唯心，所以才有你我他大家的争议。
所以必须确定一套逻辑标准：
科学、数学中的每个概念定义必须按科学标准：
①每个概念必须定义；
②每个定义必须合逻辑（请证明你的定义合逻辑，或用逻辑去定义）；
③每个定义有专属符号表示（推理、论证只认可符号）；
④不与前人、古人的正确定义冲突（合符前三项的为正确定义）；
⑤所有定义的联系组成一篇手稿，必须用逻辑来组成；
⑥所有论证、反驳只能引用作出合逻辑定义的概念，不能引入新概念（新概念：没做出合逻辑定义的概念）。
按照科学六条标准，所有合逻辑的理论都不会冲突，不会出现悖论，所有科学、数学逻辑是自洽的。

实验不是挡箭牌。
逻辑是检验真理的唯一标准。
我们人类见到的、表述的都是形式。