\(\large\textbf{关于无尽小数的争论和实数系的公理化}\)

elim

基础数学这个版面再这么下去，关于无尽小数的争论要占一半了。为什么？因为“绿油油的庄稼望不到边”之类的非数学语言没完没了地从 jzkyllcjl 之流的脑袋‘分泌’出来，伟人的语录随机地抄上来，口号不断地喊出来。落实到帖子中。还要一文多贴，在几十个主题中驴滚，不乏楼上滚到楼下，连续驴滚翻数楼的现象。而这些还不过是变奏曲，还有啼不住的主旋律：【搞不定 0.333...的猿声】。这么多证毕不够，还要再证毕，你掉价不掉价？后面的证毕是不是否定了前面的证明？ 你是不是就想要讨人嫌？ 就是要晚节不保，痴呆前兆？

数学不是不允许新名词，新概念，但关乎现行数学的新概念必须用已有概念，运算明确地定义；否则你是在一个另类系统中说事，请你帮帮忙，明确申明这点，并且不要使用重复的名词。

恰如欧氏几何，一个新命题，一个证明都得基于已有概念，命题，定理。你乱来就出局。对于实数理论，情况也是一样的。实数公理是人们对实数的基本共识，但更是论证，建立新概念的终极依据。所以实数公理不是谢芝灵这么与时俱进地无系统性地颁布的东西，而是一整套检验一个表达式是否是系统允许的合式公式，是否是系统已定义的对象的法则。什么叫写完？什么叫拢成一个数？ 1/1000.... 是不是现行数学中的对象？如果认为这是一个商，那么1000... 就需要是个数，与 1000... 不是实数矛盾，所以 1/1000... 不是商，1000...(1/1000...) = 1 不是系统可以证明的定理。 如果要对还没有确切意义的1/1000... 赋予数的意义，那么由实数公理(见【连续统构造】), 它必须满足 0≤1/1000....<1/10^n<1/n (n=1,2,....)因而它必须等于0. 要否定 1/1000... = 0, 就要否定实数公理及无尽小数的定义，级数和的定义。你用系统以外的逻辑反定 0.999... 也没有现行系统的合法性，白忙。所以jzkyllcjl 选择反对级数定义和反对无尽小数定义。但反对定义一般来说是愚蠢的，就好象在我国开饭店拒绝收人民币，破产的一定是饭店老板。剩下可做的只有一件事：指控无尽小数定义不自洽。也就是说，这个定义导致逻辑矛盾。于是 jzkyllcjl 就使用其”望不到边“的手法来.... 但是”绿油油的庄稼望不到边“是数学的合式公式吗？里面每个概念都可以从公理逐步建立吗？望不到边是不是就意味着庄稼地面积在变？

jzkyllcjl

数列{Sn}的极限或对应的数的集合的上确界 S 不是无穷项的和。S是个趋向性质的数。现行级数理论中的许多等式 都具有虚假性 例如：莱布尼慈级数表达式1-1/3+1/5-1/7+……=π/4 就是如此。这个表达式给人二个假想，①好像无理数π能绝对准算出来了，但实际上不能；②好像无穷次加法运算可以进行，实际上不能。根据无穷级数和的定义，无穷级数的理想和是其前n项和的序列的极限，因此上式应当改写为：1-1/3+1/5-1/7+……o→π/4  或 1-1/3+1/5-1/7+……~π/4。只要取右端的足够多项的部分和，就可以得到得出 的足够准确的近似值。例如：在误差界为1/11 的要求下，得到π/4 的足够准确的近似值为：1-1/3+1/5-1/7+1/9=789/945 。

chaoshikong

如果他们严究出了1000...的现实意义，也算是对人类做了贡献了！！！

jzkyllcjl

chaoshikong 发表于 2017-7-20 11:16
如果他们严究出了1000...的现实意义，也算是对人类做了贡献了！！！

第一，pi代表圆周率率，代表以1为直径的圆周长，这样长的线段 世界上是有的，不能说没有。 这个长度 可以测量，但测不准，也可以计算，祖冲之计算后得到它介于3.1415926 3.1415927之间，美国有人使用云技术计算23天得到2000万亿位的近似值，这个长度数学家研究过它不是有理数，因之也不是任何位数确定的有尽小数，但可以用有尽小数近似表示。无尽小数3.1415926...，是永远算不到底的事物，认为它能算出底的思想违背无理数的性质。 这就是许多人研究实践的结果。
第二，根据无穷是无有穷尽、无有终了、无有底的意义，有无穷多的0的 1000……，是永远写不到底的事物，它不是正常数，不是定数。这就是它的现实意义。

elim

jzkyllcjl 发表于 2017-7-20 09:51
第一，pi代表圆周率率，代表以1为直径的圆周长，这样长的线段 世界上是有的，不能说没有。 这个长度 可以 ...

老头说不清为什么这样长的线段世界上是有的。就算引入有大小的点也不行。

elim

jzkyllcjl 发表于 2017-7-20 02:12
数列{Sn}的极限或对应的数的集合的上确界 S 不是无穷项的和。S是个趋向性质的数。现行级数理论中的许多等式 ...

看到没有？ 是不是无穷项的和jzkyllcjl 是不会用数学语言否证的。只会这么喊。他说A不等与B时，能计算出两者的差吗？ 不能。这个人知道什么是无穷项的和吗？不知道！

既然不知道，就好好承认么。说这么大段的废话干什么？

elim

jzkyllcjl 的数学主张是不成系统的，支离破碎的，彼此矛盾的，所以他不可能不被数学社会抛弃。

jzkyllcjl

elim 发表于 2017-8-7 20:01
jzkyllcjl 的数学主张是不成系统的，支离破碎的，彼此矛盾的，所以他不可能不被数学社会抛弃。

你支持余元希等学者的《初等代数研究》中 “称 十进小数α=a0.a1a2……an……  为 实数”的定义 ，那么请你说说表达式4.2773234......  是确定的实数吗？请你说说你的粉丝提出的1.0044041189055799226501290504...是确定的实数吗？

elim

你整天拿初等数学说事，是不行的．无尽小数本质上属于高等数学．不是你这种程度能懂的．另外，你对无尽小数定义的篡改是不可饶恕的．

jzkyllcjl

elim 发表于 2017-8-7 23:24
你整天拿初等数学说事，是不行的．无尽小数本质上属于高等数学．不是你这种程度能懂的．另外，你对无尽小数 ...

初等数学需要研究。 你支持余元希等学者的《初等代数研究》中 “称 十进小数α=a0.a1a2……an……  为 实数”的定义 ，那么请你说说表达式4.2773234......  是确定的实数吗？请你说说你的粉丝提出的1.0044041189055799226501290504...是确定的实数吗？