王垠有實力拿圖靈獎嗎？

01-28

看了一些王垠的文章，頓時感覺此人能力超群啊！所以想試問此人能否拿下圖靈獎？
看了大家的回復，老實講，非常的吃驚！本以為收到的回答會是些比如王垠同學在哪方面還不行，在哪方面的確很厲害，以及和圖靈獎到底有沒有差距，差距多少。我以為大家會圍繞王垠的能力以及圖靈的頒獎標準來討論一些事情，但事與願違，得到了很多意外答覆。
有人冷嘲熱諷，插科打諢。

有人自以為是的上綱上線，講起了做人做事的道理，一通的說教，實在是好奇怎麼那麼多人都喜歡在網上以一種居高臨下的說教的姿態來說話，夸夸其談，太水，沒什麼乾貨。
另外，在此補充問題，「黑人」，「求摺疊」，這都是什麼意思？知乎的某種行話？

獎勵，是獎給貢獻的，不是獎給水平的。

首先，不興這麼黑人的，一定要把人黑跑了才開心么。咱家就是跟著王同學來註冊的。

其次，王同學屬於不平則鳴，比較敢說話的人，可能在自己的專業領域是優秀的學生，但也還只是學生，以後的造化要看以後。

在《圖靈的光環》里把圖靈噴得一無是處，如果真的得了「圖靈獎」，估計會寫個《談圖靈、XXX 和 YYY》。好在邏輯雖是 180 度大轉彎，但細節總能讓人撿點乾貨。

——這是重構病，得電。

話說我其實是粉他多年了的，雖說在碼農界似乎用「粉」這個詞顯得掉范了。

最近稍微看了一下他的博文和知呼回答。先不說理論研究，他研究的東西說穿了就是如何將圖靈機(堆棧) 和 lambda運算元空間（所謂函數空間，其中一切都是函數）的等價關係實現。理論上兩者早就被證實等價，相關的例如lisp編譯器也完成了工作，但是效率有根本問題，物理原件只能工作在圖靈機模式下，等價轉化需要非常多的np歸納，於是會帶來很多難解的npc問題。而王垠的工作，就是嘗試各種求解或者逼近解，試圖使純函數式語言在圖靈機上有高性能的表現。

出色？恩，非常出色！

意義？毛澤東有句話叫讓敵人湮滅在人民戰爭的汪洋大海中，本質就是不要忽視了社會力量，到計算機這行，就是不要忽略大數據，不要忽略演化的作用。

就像華山論劍中的劍氣之爭，編程語言的研究和演算法的研究，都不能脫離具體問題，因為還沒有人能說清楚有沒有絕對真理能夠解釋一切問題。

之後的計算機世界是網路，數據，機器學習，自動化監督學習，遺傳演算法，退火演算法的世界。語言？我只能說，人各有志，就算他真的發明了「萬能語言」或者「能輕鬆製造dsl」的語言，在得出結果的速度上，人工解決問題，又怎能和機器學習相提並論。

所以，答案是不會。

ps (免責聲明，隨意猜測)他的40行cps 是抄的 google js v8

看了一下問題和回答中的各種評論，又想到在知乎上之前一些計算機科學學術界的問題，想說句話：

產業界人士最好不要隨便對學術界人士的水平高低輕易下斷言，隔行如隔山（沒錯，是隔行）。

這個問題其實很好回答，你看看頂級會議期刊的論文，看看圖靈獎的論文，和王垠的論文、文章比一比就清楚了

所有酸酸的邏輯，都是聚集於一點：牛人一定要低調低調。。。因為不能再傷害弱者的孱弱的自尊心了。。。

。

按照Turing Award這幾年要麼是給成終身成就獎，要麼是給成廣泛應用的東西（比如RSA和今年的非對稱public－key cryptography）的風格。。。

沒戲，他在IU的老闆大概都沒戲。

把他寫的博客文章發表出來如果總引用率超過10000就有希望拿圖靈獎