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

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

现在将全部人类思想的集合定为 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}|, 证毕。

这位连最基本的讨论都没搞清楚，首先数学要求的二进位是有限的，还有思想不能无限长这已经是大家的共识，这点是有我们宇宙的物理性质决定的，这点连那个大师傅都很清楚，这位还一点不清楚，是不是有点太不妥了？

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