[法兰西大菜师傅] ，人类是不需要证明自己的思想是人类思想的

[法兰西大菜师傅] 今天一上来就发帖子污蔑我说过对角线法是万能的，但他的帖子好象一点都没了解什么是对角线法。他把对角线法当成如同反证法一样的逻辑方法了，这是错误的。对角线法不过是一个构造的方法，单纯的对角线法什么都证明不了，他必须结合逻辑方法才有用，这是很基本的数学常识。这一点，正是我昨天对那什么四门主的回帖里明确指出的。具体对于缠女士的例子，对角线法无论在构造方面，以及与反证法的结合方面都是没有问题的。

[法兰西大菜师傅]一直没搞懂缠女士证明里的定义的意思，还提出缠女士需要证明缠女士的定义是人类的思想的荒谬要求。请问，只要缠女士是人，缠女士的思想当然就是人类思想，无论这思想是定义还是什么。从这就可以看出这大师傅根本没分清人类思想和能被计算机记录的思想的区别。能被计算机记录的思想是和计算机的布尔代数基础相联系的，这就决定了能被计算机记录的思想必须是一个个字符来。

在缠女士那里，对角线法的构造只是证明不可缺少的一步，但不是全部，里面还利用到电脑记录的这个基本模式，这模式决定了电脑记录在现实的宇宙中只能是有限的，这也是缠女士证明里不可缺少的一步，没有这一步，缠女士的证明是不成立的。这一点，有点数学和物理基础的，都能看得明白！

还要顺便补充一点，人的思想不等于命题，命题是有对错的，思想不一定有对错，这也是人类思想最重要的特征之一，当然这和缠女士的证明无关，也不展开说明了。另外，请那大师傅继续搞清楚缠女士的证明，还要搞清楚，人类是不需要证明自己的思想是人类思想的！只要能想到的，都是人类的思想，是否能记录是另一回事情，这才是人脑和电脑的根本区别！