请给“连续统构造”一文置顶加精

drc2000回来

此文体现了数学的高水平。
为鼓励数学中国论坛坛友的努力精神，
请给此文置顶加精。

chaoshikong

纯支持。。。。。。。。。。。

elim

谢谢楼主和chaoshikong. 我那个帖子算作[数学基础]类, 比归入[基础数学]似乎更妥. 至少在数学中国论坛的情形是如此. 所以不必作此考虑.

关于数学基础的争论不知为何很是活跃. 但讨论水平却总是上不去, 还没有什么好办法. 我是对数学基础有兴趣, 借助论坛清理自己思想的. 那个帖子可算作我这么做得益的一个例子.

jzkyllcjl

那个帖子有问题。以有理数为项的柯西数列 ， 把等价数列类定义为实数的做法 存在以下 四个问题：
第一，数列是变数不是定数，
第二，等价不是相等，
第三，这样的实数理论 存在着 三分律反例 与连续统假设的大难题。
第四， 形式语言系统 无法解决自身的完备性与无矛盾性 问题。

任在深

jzkyllcjl 发表于 2017-6-30 11:43
那个帖子有问题。以有理数为项的柯西数列 ， 把等价数列类定义为实数的做法 存在以下 四个问题：
第一，数 ...

对！
     那些言论只是一些过了时的错误言论，不符合大自然法则的谬论！
     只有那些跟腚狗，吹鼓手，根本不懂数学的下三烂才吹而捧之？！
     企图继续坑害下一代数学学子们！
     它们的狼子野心不是昭然若揭了吗？
请问？
     你们的数学理论如果是正确的？为什么时至今日连一个猜想，所谓的数学难题都给不出正确的符合大自然法则的证明？！
数学是关于大自然的结构以及结构关系的科学！不是胡编乱造的，吹牛皮的痞子学！
        害人害己，不久的将来还会害到你的子孙后代！？
深思吧！
          （太久远了！已经记不清了。）

elim

jzkyllcjl 发表于 2017-6-29 20:43
那个帖子有问题。以有理数为项的柯西数列 ， 把等价数列类定义为实数的做法 存在以下 四个问题：
第一，数 ...

1. 
   
2. 那个帖子有问题。以有理数为项的柯西数列 ， 把等价数列类定义为实数的做法 存在以下 四个问题：
   
3. 第一，数列是变数不是定数，
   
4. 第二，等价不是相等，
   
5. 第三，这样的实数理论 存在着 三分律反例 与连续统假设的大难题。
   
6. 第四， 形式语言系统 无法解决自身的完备性与无矛盾性 问题。

复制代码

第一，数列不是定数, 但数列的等价类是确定不变的.
第二，二不想等的等价数列所在的等价类相同, 即是相等的.
第三，三分律是这样的实数理论中被证明了的定理(所以任何所谓的'反例'都是伪反例).
第四，'声称'自身的完备并且无矛盾的系统,被证明必有矛盾. 一个系统无法解决某些问题, 证明了数学没有止境, 并非表示系统有矛盾.

如果jzkyllcjl 细心领会上面这段文字给出的深刻的道理, 就可以脱离低级的数学趣味.

jzkyllcjl

elim 发表于 2017-6-30 04:46
第一，数列不是定数, 但数列的等价类是确定不变的.
第二，二不想等的等价数列所在的等价类相同, 即 ...

等价类是确定的，但等价类不是实数，它们的极限才是实数。 你是你父亲的儿子，但你父亲 不是你。

elim

jzkyllcjl 发表于 2017-6-30 00:37
等价类是确定的，但等价类不是实数，它们的极限才是实数。 你是你父亲的儿子，但你父亲 不是你。

等价类是什么映射?  怎么定义其极限? 给大家演示一下?  jzkyllcjl 有懂得等价类的可能吗?

jzkyllcjl

elim 发表于 2017-6-30 18:11
等价类是什么映射?  怎么定义其极限? 给大家演示一下?  jzkyllcjl 有懂得等价类的可能吗?

第一，等价类是什么映射? 你应当是知道的。否则，你的帖子就不能贴了 。
具体来讲：0.3，0.33，0.333，0.3333，…… 就是一个 以有理数为项的柯西基本数列，把这个数列中的每一个数的最后一位改为4，得到的数列0.4，0.34，0.334，…… 与原有的数列就是等价的。
第二， 极限定义你也应当是知道的。上述两个数列的极限都是实数1/3.  d
第三， 等价的定义是康托尔实数理论中有的，我只是给你一个例子。那两个有共同的极限，但那两个数列是不同的。 所以 你的实数定义有问题。

elim

jzkyllcjl 也许不知道, 基本列的等价类是一个集合. 这个集合的'"极限" jzkyllcjl '是怎么"定义"的?