我来替缠女士指出数学等人的错误！

今天论坛很热闹，都为了缠女士的数学“所有人类思想都可以存放进二进制的计算机”的反驳，在编码无限的情况下，缠女士的证明已经很完善了，后来数学又提了一个假设，就是编码有限，其实这种情况的证明更简单，我也来玩一下！

由于假设编码位数有限，那么可编码的二进位数就有限了，如果编码位数的最大值规定是N，可编码的二进位数个数就是2的N次幂。由于编码的约定，每种思想，或者按更专业的术语：命题，都对应一个编码，然后所有这些命题的逻辑并后取逻辑否，这也是一个命题，而这个命题不在前面的2的N次幂命题的，也就是这个命题没被编码，这就矛盾了。

其实这个问题最重要出现在“所有人类思想都可以存放进二进制的计算机”这个全称判断上，而广义的对角线方法其实就是命题的逻辑并后取逻辑否，和位数其实没关系，所以企图用有限位数来导致对角线的不存在，其实是没有理解对角线方法的实质所在。

在数学命题上，一般涉及所有的全称判断都往往会掉进逻辑陷阱，这点从“理发师悖论”、“罗素悖论”中都可以看到。如果说“人类思想可以存放进二进制的计算机”，这个去掉全称判断的命题，那么就成立了，所以任何事情都不能太绝对，绝对总要出问题的。