形式逻辑与 jzkyllcjl 的“写不到底的事物”

elim

一般而论，“A 是具有某种属性X的B” 定义了A.  例如“等腰三角形是至少有两条等长边的三角形”定义了等腰三角形，等等.

因为“不具有某种属性”是一种属性，所以 "A 是不具备属性 X 的 B"也界定了A.

但是当 B 是事物这种“包罗万象”的东东时，上述二陈述就可能使A超越任何论域，成为没有起码的数学严谨性的‘概念’。
例如“等腰三角形是至少有两条等长边的事物”就界定不了传统意义下的等腰三角形。

jzkyllcjl 的“无尽小数是永远写不到底的事物”正是界定不了传统意义下的无尽小数的陈述.  
我们看到，一个命题即使是真的，也未必就可以定义一个数学概念.

jzkyllcjl 的“写不到底”严格说来也不是什么数学性质，无尽小数无底可言，说它写不到底本身就是个病句. 就算我们宽容一下 j 先生的语病，尽量往好里想，那么这话无非就是说无尽小数不是有限小数，进一步往好里想，与 jzkyllcjl 的“无尽小数是永远写不到底的事物”真正等价的无非是“无尽小数不是有限小数”这句真话。话真到这步田地，要说跟废话有什么区别难度就很大了。不过我们还是往好理想，“无尽小数不是有限小数”绕成“无尽小数是永远写不到底的事物”，是jzkyllcjl 作了很大牺牲得到的。什么牺牲？自然是无谓的牺牲了：因为“无尽小数是永远写不到底的事物”这么个没文化的陈述既不能推出无尽小数不是数，又不能推出无尽小数是变数.

jzkyllcjl

无尽小数是永远写不到底的事物，这是人们实践得到的事实。这当然是表明它不是任何有尽小数。每一个有尽小数都是有确切数学定义的数。它们都是分数的一种。无尽小数0.333……；3.1415926…… 都是实数的针对误差界无穷序列{110^n}不足近似值无穷数列；这个数列中的数可以近似表示实数；这些无尽小数都是康托尔实数理论中的基本数列，它们都有极限，其极限是实数；但它们本身不是定数，而是随着小数点后数字增加而增大着的变数。具体的讲：无尽循环小数0.333……就是 康托尔基本数列0.3，0.33，0.333，……性质的变数。所有无尽小数都是如此。

elim

楼上 jzkyllcjl 这种违反形式逻辑的逻辑叫作狗屎堆逻辑，把狗屎堆逻辑定为“真理”的原则叫作畜生不如原理。

我们本来就不想怎么 jzkyllcjl, 通过论坛，我们澄清了为什么无尽小数是实数，为什么级数和是其部分和的极限，为什么 0.333... =1/3 等等一系列基本问题。至于 jzkyllcjl, 他的谬论自有报应，就是书著泡汤，被数学社会抛弃，终身啼搞不定 0.333... 的猿声.