可否如下证明0.999……＝1

谢芝灵

http://www.mathchina.com/bbs/for ... d=504125&extra=

elim

严格说来, 0.999... 是否等于 1 的问题不可能不涉及无尽小数的定义问题.  

jzkyllcjl 认定无尽小数是其截尾有限小数序列的简写。这与人类数学无尽小数的定义相悖。既然相悖，他关于0.999... 的任何讲论就都与人类数学无关. 这就是为什么 jzkyllcjl 及其同伙的成千上万贴对数学社会来说都是废话。毫无价值。为了引起数学社会的关注, jzkyllcjl 可以说是动足了脑筋，花足了代价，游说，出书，在各种可能的场合，尤其是网络发帖等等。但终因理论水平太差，一无成效。

随便举几个 jzkyllcjl 及直觉主义的死穴：有理数列是自然数集到有理数域的映射. jzkyllcjl 之流否定自然数集的既定存在性，就否定了数列的既定存在性，于是否定了数列本身的确定性。换句话说，jzkyllcjl 的无尽小数到底是什么，他也不知道。他的写不到底毁了数列的明确性。

jzkyllcjl 的基本列依赖于实数(其极限)概念, 但他又用基本列定义实数。他的循环论证忽悠他自己绰绰有余，却不可能被数学社会接受.

他使用的所有术语没有一个与人类数学有一致的释义。

在他“改革”了的数学框架中，没有一个数学定理可以被陈述，被证明。

我们希望 jzkyllcjl 拿到国务院濒临绝灭物种的津贴，以便延长啼搞不定 0.333... 的猿声的时日，让人类的优越感得到不停的肯定：人们离 jzkyllcjl 的畜生不如越来越远了。

春风晚霞

谢先生你在证明面前是因人因事而异的，并不是根据数理逻辑进行的。在您对数的认识中，若说0.999…<1或说0.999…>于1.（现实生活中说0.999…>1这种情况是没有的），或在对0.999…<1的论证过程中先生从不要求先证0.999…是元素，再证0.999…是数，然后再证（其实已不须再证）0.999…<1。这就是我说先生的理论无非是对“因为0.999…<1，所以0.999…<1”的循环论证提供帮助的依据。我想这也是您获得曹先生大力支持的原因。至于我在前帖中说到的0.999…=1；1.42999…=1.43000…=1.43等等，我想应该是您的出生太迟，菲赫金哥尔茨和吉林师范大学数学系《数学分析》教材编写组的老师们还沒来得把您的高见写进他（或他们）的教材，进而传授给我们。所以，我不管您在这方面的论文得到了哪个级别的肯定。我也要等到您的名气和业绩超过他们后才会对您声“謝謝”的。也请您想一想，您先生在比较0.999…和1的关系时，是不是也有“因为0.999…<1，所以0.999…<1”这个思维定式呢？不然的话为什么在证明0.999…=1的时候就非得先证明0.999…是元素，再证0.999…是数，然后再证0.999…=1呢？这也可能只有在您的数学理论中才会有0.999…一会儿是数（在论证0.999…<1时），一会儿又不是数（在论证0.999…=1时）的奇特现象。

elim

谢芝灵自称宇宙邪灵，没读过什么书．数理逻辑他是不懂的．
jzkyllcjl 没读懂过什么书，数理逻辑也没懂过．

jzkyllcjl

elim 发表于 2019-6-14 08:21
谢芝灵自称宇宙邪灵，没读过什么书．数理逻辑他是不懂的．
jzkyllcjl 没读懂过什么书，数理逻辑也没懂过．

ZFC 形式语言中的无穷集合是一种无法构造完毕的集合，是元素个数为 非正常实数 +∞的非正常集合。否认这个事实 无穷集合存在公理 是造成连续统假设大难题 的根源。 必须被铲除。

春风晚霞

jzkyllcjl 先生的“ZFC 形式语言中的无穷集合是一种无法构造完毕的集合，是元素个数为 非正常实数 +∞的非正常集合。否认这个事实无穷集合存在公理是造成连续统假设大难题 的根源。 必须被铲除。”这只是您反对elim先生的一个愿望。等你的反对意见得到数学界公认后再说吧。连续统假是有待解决，但决不是您把0.999……<1用公理的形式来解决的。您若反对0.999……＝1是为了您的《全能近似分析数学理论基础及其应用》，及“无限的概念与数学基础”、“实数理轮的问题与足够准分析简介”、“初等几何的实践性基础及其应用”等十多篇论文，那么您最好还是检查一下您的这些作品有多少只承认0.999……<1而不承认0.999……＝1这些很敏感的东西。一般地讲，用有争议的东西做论据，结论是容易招争议的。

jzkyllcjl

春风晚霞 发表于 2019-6-14 10:53
jzkyllcjl 先生的“ZFC 形式语言中的无穷集合是一种无法构造完毕的集合，是元素个数为 非正常实数 +∞的非 ...

我没有“只承认0.999……<1而不承认0.999……＝1我说的是：”无穷的意义是无有穷尽、无有终了”、无尽小数0.999……是永远写不到底的事物，它不是定数。 既不能说0.999……<1，也不能说 0.999……＝1。

谢芝灵

春风晚霞 发表于 2019-6-14 05:53
谢先生你在证明面前是因人因事而异的，并不是根据数理逻辑进行的。在您对数的认识中，若说0.999…于1.（现 ...

元素的定义:所有概念能用符号表示,这些符号叫元素.
所以 你能用上符号,就是元素了.

你设: 0.999…<1,你就必须先证明 0.999… 是数.
你设: 0.999…＞1,你就必须先证明 0.999… 是数.
你设: 0.999…=1,你就必须先证明 0.999… 是数.

你用反证法,你假设  0.999…<1,
你得到了矛盾.你仅仅证明了  0.999…≮1,
你并没证明  0.999…=1,

你用反证法,你假设  0.999…＞1,
你得到了矛盾.你仅仅证明了  0.999…≯1,
你并没证明  0.999…=1,

你只有证明  0.999… 是数,又证明  0.999…≯1,还证明0.999…≮1,
你才证明了  0.999…=1,

数理逻辑:数,才能进行数学逻辑 {＝,＜,＞}
你拿出的无限元素  0.999…  如果它不是数,你就不能 设  0.999… =x

数,才能进入数学王国.
非数,不能与任何元素进行运算,不能与任何元素进行"＝,＜,＞"逻辑.

=的数学逻辑:一,必须是数元素方可进入.二,两个数值相等.三,等价.

谢芝灵

春风晚霞 发表于 2019-6-14 05:53
谢先生你在证明面前是因人因事而异的，并不是根据数理逻辑进行的。在您对数的认识中，若说0.999…于1.（现 ...

也请您想一想，您先生在比较0.999…和1的关系时，是不是也有“因为0.999…<1，所以0.999…<1”这个思维定式呢？

============  上面复制你的原话.
你是一个数学盲!
您先生在比较0.999…和1的关系时.==== 一个为无限元素,一个为有限元素.
假如 0.999… 不是数.就不能用到 0.999…<1

人类先有1这个数,确定了有限元素为数.
当分析 0.999…和1的关系时.必须考查 0.999…是不是数.
如果不是数,则 0.999…和1 不存在数学比较.

首要条件:数的定义,无限元素的定义.
我能定义无限元素,我证明了无限元素不是数.
http://www.mathchina.com/bbs/for ... d=504125&extra=

我就定义和证明了数:所有有限元素.

elim

谢芝灵自称宇宙邪灵，没读过什么书．数理逻辑他是不懂的．
jzkyllcjl 没读懂过什么书，数理逻辑也没懂过．