[法兰西大菜师傅],你构造的所有有限自然数的例子是不成立的。

[法兰西大菜师傅]还是一个很有心的人,他构造了一个所有有限自然数的例子,然后用他所理解的缠女士的对角线法来证明不是所有自然数都是有限的,从而来证明缠女士犯了错,但他的证明是不对的,先把他的引用如下:

“所有自然数都是有限的。这个结论你是否接受? [法兰西大菜师傅] 于 2006-08-10 11:49:10上贴


但是禅女士能证明他错误。 反证法:假设论题成立,所有有限的自然数能组成一个集合A, 构造一个数:a1+a2+a3+a4…… 这个数一定不等于A中任何一个数,也是自然数,矛盾。所以不是所有自然数都是有限的。 看出来问题在哪里吗? 看明白,你就明白为什么我的书有无穷多本了。 ”

但他这个证明是不对的,逐一说明:

反证法:假设论题成立,所有有限的自然数能组成一个集合A,

这个集合A的元素个数是无限的,证明很简单,假如集合A元素个数是有限的,那么可以找到最大的元素N,而N+1也是有限的自然数,这就和所有有限的自然数能组成一个集合A矛盾,所以集合A的元素个数无限。

构造一个数:a1+a2+a3+a4……

由于上面的集合是无限的,所以这个数一定在A里,

这个数一定不等于A中任何一个数,也是自然数,矛盾。

所以你不能推出这个结论。

而缠女士那证明和这个根本不同,她首先用量子力学和宇宙的有限来证明集合A有限,然后她构造的命题也满足有限的要求,但不在集合A里,所以要理解缠女士的证明,还要花点工夫。

[法兰西大菜师傅],你的书无穷不了

我们按按照规则,先把[法兰西大菜师傅]关键部分完全引用如下:

“把人类所有可能的,不可能的话都罗列出来。 如果用英文,首先是1个字母的 a b c d e f g h i j k i l m n o p q r s t u v w x y z 第一集就这26本了,第二集有26*26本。 aa ab …… zz 依次类推。我的书一共有26+26^2+26^3……这么多。可以证明这个长度是可列无穷的。”

请注意,这位大师傅又犯了想当然的错误:“可以证明这个长度是可列无穷的”,学过数学的都知道,数列26+26^2+26^3……要无穷,必须是这个序列是无穷的,也就是这大师傅假设的书是无穷的。那么,人类可以出无穷的书吗?显然不可以。证明如下:

因为宇宙是有限的,而人类出一本书的速度不可能无限短,这里的理由是根据量子力学的原则,假设宇宙的寿命是A,人类出书的最短间隔是B,那么人类出的书少于A/B(因为人类至少在过去的几十亿年没出过书),A/B只是一个有限的数,所以人类不可以出无穷的书

对A/B取整,设为N。按照这位大菜师傅的公式:26+26^2+26^3……+26^N的长度也是一个有限数,也就是说,他宣称的可以证明这个长度是可列无穷的是错误的,所以他的论证无效!