看到“法兰西大菜师傅”依然比较虚心，就继续教育左派！

缠中说禅

之所以还继续教育左派，就是因为有“法兰西大菜师傅”依然比较虚心，虽然其人对证明还是不大明白，却至少是讨论问题的态度，而且在所有左派里，至少目前表现得虽然依然有糊涂的地方，也算最明白了，不会像某些人只会抵赖，某些人连对角线方法成立的条件都没搞清楚还到处现眼。

由于是用反证法，所以一切的论证都是从“所有人类思想都可以存放进二进制的计算机”这个假设前提出发，然后推出矛盾，从而证明这个前提的荒谬。由于是存放进计算机里，因此就意味着这些二进制数是可排队的，至于它是否有限，并不影响问题的论证，当然，实际上这种数是有限的。这一点，从你的帖子看，你是明白的。其它人首先明白这一点，否则没必要看下去了。

其次，由于“所有人类思想都可以存放进二进制的计算机”，因此所有人类思想中的每一个都被编成一个对应的二进制数，这些数组成一个集合A，也就是说，所有二进制数被分成两类，一类是属于这个集合A的，一类是不属于这个集合A的。我们把属于集合A的称为A数，不属于集合A的称为B数，这一点，你大概应该能明白。

那么，我们考察一下那些不属于这个集合A的二进位数，即B数，这些数在这个编码中是不对应任何人类思想的，否则按照上面的定义，它就属于集合A了。这一点，大概你也应该能明白，但有可能糊涂。

好，现在对集合A进行对角线法，其对角线上对应的二进位数一定不属于集合A，也就是这个二进位数一定是一个B数，但这个二进位数对应着这样一种思想：“它的第N位和集合A中排列起来的第N个二进制数的第N位不同”，也就是说，这个二进位数应该属于A数。这点，相信你仔细研究后是能够明白的。

那么从上面的分析就知道，我们可找到一个二进位数，它既是A数，又是B数，也就是说它既属于集合A，又不属于集合A，这和集合的定义是矛盾的。为什么出现这种矛盾，是因为最开始的假设“所有人类思想都可以存放进二进制的计算机”是错误的，根据反证法，就知道：“并不是所有人类思想都可以存放进二进制的计算机。”这里，相信只要你不是屁股决定脑袋之徒，应该很明白了。

总之，左派有错就承认吧，反正可以用一句胜败乃兵家常事掩过去。现在有知识的人多了去了，如果在这么简单的问题上还学鸭子嘴硬，只会在大多数围观者面前丢人现眼，这样对你们招买喽罗也没什么好处吧！