左派ID，不要把无知当有趣！

2006/8/6 14:44:43

这两天心情好，不妨为经常不懂装懂、把无知当有趣的左派ID上点基础课，当然，下不为例，因为本ID没太多闲工夫。先不说那长期如此的数学ID，最近一叫云天0460的冒出来说什么“阿罗不可能定理”来反对投票，这所谓定理其逻辑错误都如与其同源的十八世纪法国思想家孔多赛提出的所谓“投票悖论”一般，是由于暗含着把类似数学中“偏序”结构的传递性当成前提而造成的，由于“阿罗不可能定理”的证明比较复杂，而这里的人水平有限，本ID就用孔多赛的“投票悖论”作为一个例子来说明这种把“偏序”结构的传递性当成暗含前提所导致的逻辑笑话。

当然，像通常的左派一样，云天0460等ID的语言理解能力也是有问题的，竟然以为本ID把孔多赛提出的“投票悖论”理解成“阿罗不可能定理”的公理前提，这就像把费马定理N等于4的情况当成N为素数的前提一样可笑。一般的所谓经济学家的类数学证明其实都有类似的毛病，例如在所谓阿罗的那几条公理外，在证明中就如同那些西方经济学家在研究需求曲线时随意求导、先验地加上一些数学运算，却从来不知道这些数学工具都是有前提的，一旦应用这些数学工具，等于把这些数学工具暗含的前提包含其中了，所以无论阿罗的那几条公理是否合理，由于他的证明中（具体证明找一本级别高一点的相关书籍就能看到）用到了传递性，就如同与之逻辑同构的孔多赛“投票悖论”一样，所以这个证明不过是一个可笑的逻辑瞎话。西方经济学家的这种逻辑笑话满纸都是，左派竟然争着和他们穿一条裤子，真是太把无知当有趣了！

至于那个以闹逻辑笑话为常的数学ID，最近以为发现新大陆地宣称：“从数学理论上讲，一分为二，也就是采用二进制数，可以表达全部的人类思想，运动规律，因为这些思想都可以存放进二进制的计算机。”不知道这位所谓的数学理论是哪门子的数学理论，难道妄称一个数学ID就可以瞎掰数学？那好，我们不妨很数学地对这位数学ID的所谓发现或宣称考察一番：

不妨假设其宣称成立，全部的人类思想，运动规律都可以用二进制数表示，那么我们把这些表示所有人类思想，运动规律的二进制数排列起来，现在考察这样一个二进制数，它的第N位和上面排列起来的第N个二进制数的第N位不同（例如后者是1，前者就是0；反之亦然）。显然，这个二进制数不在这表示所有人类思想，运动规律的二进制数里，而这个二进制数却代表着这样一种思想：“它的第N位和上面排列起来的第N个二进制数的第N位不同”，也就是说，这种思想并没有被包含在全部的人类思想，运动规律中，这就矛盾了。根据最简单的反证法，“假设其宣称成立，全部的人类思想，运动规律都可以用二进制数表示”这个假设是不成立的，全部的人类思想，运动规律并不都可以用二进制数表示。

以上这个证明思路其实并不是本ID的发明，这是一种经典的数学证明方法，有一个通俗的名字，叫“对角线法”，最先出现在19世纪康托尔关于集合论的一系列证明中，且不说20世纪超越所有世纪之和的数学大发展，只要对这种19世纪的数学知识有一定的理解，就不可能宣称如此荒谬的命题。人之所以是人，其伟大之处在于，人是可以超越一切构造的，一个破互联网就能网住的人只能是贱人。一个破互联网、破二进制数就能表示光的思想，只能是贱人的思想！

至于最近引起争论的所谓一分为二的问题，本ID不想展开谈，因为这命题根本就和老马的思想严重抵触。在老马那里，“分”是一个历史的范畴，并不没有任何先验、永恒的“分”以及“可分”，现代量子力学的发展已经证明了这种“分”的历史性。具体怎样，本ID不想说了，为的是留一个机会让左派回去多读点书，学着点吧！