王垠这哥们真是越来越哗众取宠了。最近写了篇文章，直接开喷图灵。对的，你没看错，不是某图灵奖得主大牛，而是指向图灵本人。
先来说说图灵的计算模型。图灵的证明是比丘齐的工作要晚一年，但丘齐的lambda演算也不是横空出世，往前有几年前哥德尔不完备性定理的数学证明，�这个证明还用到了几十年前康托尔的对角线证明[1]。王垠说什么一行lambda表达式，“我曾经以为自己是唯一知道这个秘密的人”，一个劲感慨多简洁多优美，无非是罗素悖论的翻版，难道就没深入想一想么？刘未鹏的《康托尔、哥德尔、图灵——永恒的金色对角线》写得很精彩也很理性，推荐大家看看这篇，比王垠的喷文不知高到哪里去了。
很多原创性的工作一开始并不是最简洁最优美的，但是这并不会掩盖其本质的思想。我来举个例子。
公钥加密在现代通信中的重要性不言而喻，那么最初的想法是什么样的呢？
其中之一是来自于1974年加州伯克利大学�计算机课上提交的大作业，而且当时是被老师直接否定掉的。 2年后Diffie和Hellman把这个理论清晰地提出来，再一年后，麻省理工的RSA三位教授想到用数论中的素数分解来实现，才算是多快好省地搞定。欧拉的数论公式搁那几百年了，但这丝毫不影响之后工作的原创性和重要性。而最初的想法根本也和欧拉公式不沾边，也看不出任何简洁优美之处，但是非对称的思想已经熠熠生辉，而素数分解�根本不是�公钥加密的核心思想，仅仅是一个实现而已。
�所以呢，一切耽美主义的事后诸葛亮式的评论就跟说书一样，屁用没有。信这种评论等于拿着《货币战争》去理解经济学，除了阴谋论，啥也学不到。王垠已经在这条路上越走越远了，�不信的可以翻翻他之前的言论，什么Python语言他分分钟造出来，什么某某重要理论工作他几天就想明白自己�还顺带进行了简化描述。估计下次就要重新发现微积分，推导相对论了，毕竟他用一行公式就已经重新推导了咱们计算机的理论基础，以后只能朝数学物理学科迈进了。
再回头说说图灵在二战中的实际真实工作。一句话定论：破解德军Enigma，终归还是图灵的功劳，王垠再怎么扯那都是然并卵的无脑喷。
破解Enigma，波兰人的工作固然开了个好头，但是没有图灵的理论加机器设计工作，德军改进后的装置�是不可能实际破解的。其实波兰人一开始就知道要上群论，嗯，有点印象的人大概记得，这是一百年前的法国天才数学家伽罗华20岁的工作。但是理论归理论，装逼地讲，批评的武器不能代替武器的批评；说白了就是，证明无法代替计算。波兰人光是手工整理全部置换群就花了一年时间。德国人一拍脑袋，要变动3个转子位置，波兰人就硬着头皮把Bomba机器增加了6倍；德国人又拍脑袋，上5个转子，5选3，波兰人哭了，没有财力和人力再增加10倍。王垠说60倍就可以，果然是不屑于在工业界混的人啊，随口就想给硬件提升两个数量级。难怪Google也要被他喷。
可是他也无视了德军�Enigma后面的一系列重要的版本升级：插线板的改动，转子加内外转圈，起始密钥只发一遍，这一系列的设定，远不止10倍60倍的复杂度，已经让波兰人彻底跪了。
图灵设计的Bombe跟波兰人的Bomba虽一字之差，实际远比波兰人的机器残暴，或者说普适。王垠提到“图灵最初的设计，要求必须能够事先猜出很长的文本，所以基本不能用。”说的应该是crib。这个其实是非常精妙的突破点，而且crib并不是长文本，只是一个单词。这么天才的设计，居然被王垠一口否定，呵呵……而且在crib之外，图灵做足了工作，纯手工推导出了理论数值表，用于Bombe实际运行时的停机判定。王垠根本就没有深入了解图灵的工作。有兴趣的可以看看这里（我懒得翻译了）：
Alan Turing conducted a very substantial analysis (without any electronic aids) to estimate how many bombe stops would be expected according to the number of letters in the menu and the number of loops. Some of his results are given in the following table.
未完待续……
