跳到主要内容

[旁观者入局],你的错误和[法兰西大菜师傅]一样!

[旁观者入局]写了“缠禅女士,我不喜欢你在我面前班门弄斧 ”,首先缠女士好象写帖子是给所有人看的,如果[旁观者入局]觉得任何人写帖子等于在他的门前干了点什么,那我没意见,缠女士有什么意见我管不着。但从他的帖子看,他即使有门,也不是班门!引用如下:

现在将全部人类思想的集合定为 T , T 的元素称为 c 。数学的结论,就是人的思想可以用计算机编码,也就是,存在一个单射 f : T --> N 。
=========
这和那位大师傅宣称“那么人类思想可以组成集合A,然后按照缠女的构造,存在人类的思想不属于A,”是一样的想当然,因为所有人类的思想,甚至连集合都不能构成,它类似罗素悖论里所有集合的集合之类的概念,这一点,缠女士是很清楚的,所以她的集合根本不涉及所有人类思想这类东西,只涉及能被计算机记录的人类思想,这能构成集合,因为这是由计算机的模式决定的。按照缠女士的构造集合A并不是人类的思想,而是所有被计算机记录了的人类的思想,也就是现在构造的主体是人,被构造的是被计算机记录了的人类的思想,这位班门连最基本的集合概念都没搞清楚就论证,是不是有点不妥?

继续引用
其实可以更加宽松一些,我们用 1,2 来表达,不用1,0。 那么一个编码,比如11221, 我们可以写成 0.11221 ,也就是介于 [0,1] 之间的数。即使思想无限长,0.111222111222......,仍然是 [0,1] 之间的数。归纳一下,数学要证明,存在一个单射 f: T --> [0,1]。证明方法如下,人类至今为止全部的思想是有限个,所以 |T| < |N| < |R| = |[0,1}|, 证毕。
======
这位连最基本的讨论都没搞清楚,首先数学要求的二进位是有限的,还有思想不能无限长这已经是大家的共识,这点是有我们宇宙的物理性质决定的,这点连那个大师傅都很清楚,这位还一点不清楚,是不是有点太不妥了?

所以,你那些单射,满射,根本都是无的放失,你连大家已经取得的最基本共识都没搞清楚,你的整个证明还赶不上那大师傅的。从现在的情况看,那大师傅是最明白的人了,当然,他现在最大的问题还没搞清楚人脑和电脑的区别,这是他需要继续努力的。至于这位,先把问题搞清楚,缠女士的证明并不是单纯的数学证明,依赖到电脑的记录模式以及宇宙存在时间上的有限性,还有,缠女士的证明和任何数字无关,更不要说函数了。请注意,并不是在任何情况下都可以定义函数的,这也是对那些随意定义的人一个忠告!