王垠這哥們真是越來越嘩眾取寵了况凉。最近寫了篇文章志膀，直接開噴圖靈慨灭。對的陆馁，你沒看錯，不是某圖靈獎得主大牛岳颇，而是指向圖靈本人照捡。
先來說說圖靈的計算模型。圖靈的證明是比丘齊的工作要晚一年赦役，但丘齊的lambda演算也不是橫空出世麻敌，往前有幾年前哥德爾不完備性定理的數(shù)學證明，?這個證明還用到了幾十年前康托爾的對角線證明[1]掂摔。王垠說什么一行l(wèi)ambda表達式术羔，“我曾經(jīng)以為自己是唯一知道這個秘密的人”，一個勁感慨多簡潔多優(yōu)美乙漓，無非是羅素悖論的翻版级历，難道就沒深入想一想么？劉未鵬的《康托爾叭披、哥德爾寥殖、圖靈——永恒的金色對角線》寫得很精彩也很理性，推薦大家看看這篇涩蜘，比王垠的噴文不知高到哪里去了嚼贡。
很多原創(chuàng)性的工作一開始并不是最簡潔最優(yōu)美的，但是這并不會掩蓋其本質(zhì)的思想同诫。我來舉個例子粤策。
公鑰加密在現(xiàn)代通信中的重要性不言而喻，那么最初的想法是什么樣的呢误窖？
其中之一是來自于1974年加州伯克利大學?計算機課上提交的大作業(yè)叮盘，而且當時是被老師直接否定掉的。 2年后Diffie和Hellman把這個理論清晰地提出來霹俺，再一年后柔吼，麻省理工的RSA三位教授想到用數(shù)論中的素數(shù)分解來實現(xiàn)，才算是多快好省地搞定丙唧。歐拉的數(shù)論公式擱那幾百年了愈魏，但這絲毫不影響之后工作的原創(chuàng)性和重要性。而最初的想法根本也和歐拉公式不沾邊想际，也看不出任何簡潔優(yōu)美之處培漏，但是非對稱的思想已經(jīng)熠熠生輝，而素數(shù)分解?根本不是?公鑰加密的核心思想沼琉，僅僅是一個實現(xiàn)而已北苟。
?所以呢桩匪，一切耽美主義的事后諸葛亮式的評論就跟說書一樣打瘪，屁用沒有。信這種評論等于拿著《貨幣戰(zhàn)爭》去理解經(jīng)濟學，除了陰謀論闺骚，啥也學不到彩扔。王垠已經(jīng)在這條路上越走越遠了，?不信的可以翻翻他之前的言論僻爽，什么Python語言他分分鐘造出來虫碉，什么某某重要理論工作他幾天就想明白自己?還順帶進行了簡化描述。估計下次就要重新發(fā)現(xiàn)微積分胸梆，推導相對論了敦捧，畢竟他用一行公式就已經(jīng)重新推導了咱們計算機的理論基礎(chǔ)，以后只能朝數(shù)學物理學科邁進了碰镜。
再回頭說說圖靈在二戰(zhàn)中的實際真實工作兢卵。一句話定論：破解德軍Enigma，終歸還是圖靈的功勞绪颖，王垠再怎么扯那都是然并卵的無腦噴秽荤。
破解Enigma，波蘭人的工作固然開了個好頭柠横，但是沒有圖靈的理論加機器設(shè)計工作窃款，德軍改進后的裝置?是不可能實際破解的。其實波蘭人一開始就知道要上群論牍氛，嗯晨继，有點印象的人大概記得，這是一百年前的法國天才數(shù)學家伽羅華20歲的工作糜俗。但是理論歸理論踱稍，裝逼地講，批評的武器不能代替武器的批評悠抹；說白了就是珠月，證明無法代替計算。波蘭人光是手工整理全部置換群就花了一年時間楔敌。德國人一拍腦袋啤挎，要變動3個轉(zhuǎn)子位置，波蘭人就硬著頭皮把Bomba機器增加了6倍卵凑；德國人又拍腦袋庆聘，上5個轉(zhuǎn)子，5選3勺卢，波蘭人哭了伙判，沒有財力和人力再增加10倍。王垠說60倍就可以黑忱，果然是不屑于在工業(yè)界混的人啊宴抚，隨口就想給硬件提升兩個數(shù)量級勒魔。難怪Google也要被他噴。
可是他也無視了德軍?Enigma后面的一系列重要的版本升級：插線板的改動菇曲，轉(zhuǎn)子加內(nèi)外轉(zhuǎn)圈冠绢，起始密鑰只發(fā)一遍，這一系列的設(shè)定常潮，遠不止10倍60倍的復雜度弟胀，已經(jīng)讓波蘭人徹底跪了。
圖靈設(shè)計的Bombe跟波蘭人的Bomba雖一字之差喊式，實際遠比波蘭人的機器殘暴孵户，或者說普適。王垠提到“圖靈最初的設(shè)計岔留，要求必須能夠事先猜出很長的文本延届，所以基本不能用∶吵希”說的應(yīng)該是crib方庭。這個其實是非常精妙的突破點，而且crib并不是長文本酱固，只是一個單詞械念。這么天才的設(shè)計，居然被王垠一口否定运悲，呵呵……而且在crib之外龄减，圖靈做足了工作，純手工推導出了理論數(shù)值表班眯，用于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.
未完待續(xù)……
