谢芝灵的马没有前蹄。

elim

为了排除无尽小数与实数之外，谢芝灵篡改了他所知道的人类数学的所有概念。他以为其目的得逞了，其实他得到的是一种应该称为狗屎堆数学的漏洞百出的系统。

本着是骡是马拿出来溜溜的直白想法，我让他证明体积为2的立方体的棱在他的系统里的存在性。他使用了滑动法。简单说来就是让一条小线段一端固定，另一端渐渐增长，直到其立方等于2为止。现在的问题是为什么会有那么一个时刻，所论立方恰好等于2呢？怎么计算和判断这增长中的立方相对于2是亏是盈呢？

假定在某个时刻谢芝灵决定判断一下对应的立方离2多远，那么相应的线段只能是可以通过有限构造得到的，否则2的立方根的存在性证明将归结为其他非有限构造能行的线段的存在问题。但有限构造能得到的线段不是2的立方根，所以线段长的立方只好小于2，于是谢芝灵想要得到的线段长度只能是一切可用有限操作得到的立方小于2的集合的上确界。所论存在性证明依赖于上有界的集合必有上确界这个性质。这就是为什么人类数学定义实数系是满足最小上界性的阿基米德有序域的道理。定义并不保证实数域存在性，于是人们从自然数模，有理数域构造实数系，实数域的存在性归结为自然数模的存在性。进一步说，自然数模的存在性基于无穷公理。无穷公理是一切含自然数的数系的存在性基础。它不可能符合‘实践’。因为实践都是有限的。而数学没有自然数是不可想象的，所以数学必须超越实践，而拥抱逻辑。从逻辑的角度看，无穷是有穷的否定，有穷存在，其否定就存在。当然，根据有限的定义，无穷不是实数系的成员。

进一步分析谢芝灵：现在我们有一堆立方小于2的数，对任意正整数 n, 存在这堆数中的某个成员 a(n) 使得 2-1/10^n < (a(n))^3 < 2.
由此得到一个序列 1, 1.2, 1.25,1.259,...， 无尽小数 1.2599210498948731647672106072782283505702514647015079800819751121553...
就是所论这一系列序列数的上确界的十进制值，它是所求线段的长度，所以是确定的有限的，虽然它的表达式长度意义上不是有限。

denglongshan

http://www.mathchina.com/bbs/for ... p;extra=&page=3

elim

滑动法假定三件事：
1）滑动的终点是存在的；
2）滑动的终点位置不是有限构造能行的；
3）滑动过程所决定的单调逼近序列确定了滑动的终点位置。

如果第一条不成立，则滑动法无有意义，如果第二条不真，就不需要滑动法；
如果第三条不成立，则滑动法找不到所求位置。

承认这三条就是承认连续统，对人类数学而言，就是承认 0.333... = 1/3;  
&#8731;2 =1.2599210498948731647672106072782283506...
π=3.1415926535897932384626433832795028842...

wlc1

谢芝灵对人类数学的重大贡献

谢芝灵用滑动法证明了：1/3=0.333......

这是一个伟大的证明。

wlc1

谢芝灵对人类数学的重大贡献

谢芝灵用滑动法证明了：1/3=0.333......

这是一个伟大的证明。

谢芝灵否定了曹俊云副教授的观点，

谢芝灵功不可没！！！

jzkyllcjl

谢芝灵的滑动法，可以滑动到现实线段的任意位置，如1/3米或π米处， 但滑动不出小数点后无尽个数字来。所以.等式1/3=0.333......与π=3.1415926......不成立。 无尽小数不是定数。

红树

红树

AE=3，CE=2，BD=5.3，求AB=?，BE=?

chaoshikong

又到了该是谢芝灵消失一段时间的时候了。。。

谢芝灵

过年了，本不想上网。
滑动法，只经对 一元二次以上有限代数方程。

滑动法必须是能滑动到的。==== 所以须是有限的。无限的你永远滑动不到。
所以 &#8731;2 只有一个。且是有限的。
故 &#8731;2 ≠1.2599210498948731647672106072782283506...
同理：π≠3.1415926535897932384626433832795028842...