如何看待王垠的《圖靈的光環》？

01-21

如何看待王垠這篇圖靈的光環圖靈的光環
好吧我只是隨便問問有王垠就有話題只是試試

1. 他在『丘奇和圖靈』這篇文章里的最後說：丘奇和圖靈這兩種看似矛盾的思想，在我的腦海里得到了和諧的統一。這些精髓的思想幫助我解決了許多的問題。感謝你們，計算機科學的兩位鼻祖。

2. 他在『對函數式語言的誤解』這篇文章中說：邏輯學家們的教條主義和崇古作風，也許就是圖靈當年在 Church 手下做學生那麼孤立，那麼痛苦的原因。也就是這個圖靈，在某種程度上超越了 Church，把一部分人從邏輯學的死板思維模式下解放了出來，變成了「計算機科學家」。

3. 當然他在扯淡。

作為能夠進入清華，康奈爾以及印第安納大學並有博士知識水平的王垠，你從他文章里看到的計算機專業方面的知識都是值得去嚴肅思考一下的，但是要注意的是，在現實生活中不要輕易使用「作為世界上最優秀的計算機科學家之一......」，以及「我早就掌握這方面全部的知識......」這種王垠樣式的句型

"不要因為膜拜某些人，而失去向另一些人學習的機會。" 最後這句話很好.

另外, 說低級圈套的, 這篇文章的證據引用鏈接非常多啊.

說在前面：說實話，我是很喜歡王垠的。他的文章對我幫助很大。

對於這樣的問題，大家上來就是贊同或者不贊同。其實文章的本質就是別人的觀點，你讀別人的文章就是了解別人的觀點。那些首先上來就進行對與錯評判的人，你們是否之前就認真思考這個問題呢？只是看了別人的文章，突然就感覺自己也可以在這個問題上發表看法了？人家的看法好歹寫成了文章，而你只是讀過而已。

當然回歸到文章本質就是別人的看法這點來說，我們還是更多的參考別人的思維方式，思考角度，了解別人的觀點－－不然你幹嘛還讀人家的文章呢，一有問題你就迫不及待的來回答呢。

來提／答這樣的本來就是仁者見仁的問題，還不如想想這篇文章的幾個論據是否合理，自己對圖靈機的認識是否到位，這個有意義多了。難道反駁了一個比較爭議的「權威」有快感？

總結：讀文章就是參考或者學習別人的知識觀點思想，注意別人的推理依據和思維過程。找到吸收之處努力學習，當然要有自己的獨立思考。

我覺得王垠主要是被追捧圖靈又捧不到點上的文科生噁心到了。我自己也讓imitation game噁心的夠嗆。

其實丑不醜陋根本無所謂吧只是兩種表達方式而已那種方式更簡便取決於應用環境啊你lambda calculi再牛逼在算複雜度分析P NP等價問題的時候明顯不方便啊。這只是表達形式不同而已，不同的表達形式能揭露一個事物不同方面，比如圖靈機和lambda calculi在category theory中都屬於cartesian closed category（CCC），這就是它們在數學中的本質。但是在計算機理論中，沒有人去用CCC去理解一個程序吧？儘管它們本質上是一樣的。所以根本沒什麼哪個更簡單的說法，看應用領域。

王垠的文章告訴我不要相信任何東西（包括他的文章在內），除非你有判斷力。王垠的這種批判精神在我看來猶如火種很珍貴但有燎原之勢。真心希望多看到一點類似的觀點和批判，因為沒有對以前的否定就沒有進步。

我感覺是一篇很乏力的派系之爭下產生的為吸引遞歸論無基礎觀眾而設下的低級圈套——可惜連我這個文科生都看出來了。

專業領域的知識造詣，對於理論的深入研究早就了王垠對於前賢的一種懷疑，不置可否。這種精神值得我們去學習，雖不明，但覺厲。除非我們也做過這樣的研究，否則無法去評判王垠對於這種帶有懷疑的精神到底是正確還是錯誤的

感覺某個問題的關鍵一擊！致命一擊！是誰的功勞現在的我們應該都不知道，因為那個時刻已經過去了！相對論是不是三體中某個善良的外星人告訴愛因斯坦大人的呢！所以圖靈是個符號吧，作為鞭策好了！它的生平不需要太關心吧！別人炒作各種人和事我們還是別管了，現在就是個浮躁的社會。

翻過去就有了，然後發現，掛了VPN也，翻不過去。雖然可以看谷歌。然後發現這個遊戲挺有意思的，有點史丹利的預言的神經質。哲學意義層面上的探討類似於steam上的plug and play。我不會數學，不會編程，不是這個專業的。順便一提，學了一點學經濟時學不到的單詞。我覺得這個遊戲算是金融工程的一種。描述阿蘭圖靈的人生經歷(沒記錯的話，英國的那個基佬)的電影看過，那個片子不錯。我是直男，說基佬不是冒犯他的意思，你也可以罵我直男癌。鄙人不介意。40行代碼讓我想起馬丁路德在教堂門口貼的大字報，豈不美哉。

這篇文章我不贊同，一個人一旦有了偏見，所呈現的文字和所選材料必然會帶有這樣的色彩。但是這是他自己的糾結，不過偏見也可以產生學習的動力，他寫這篇文章其實還是在追求對計算模型的深度理解，注意：他還是停留在深度理解的階段，在這個階段，隨著對這些理論的不斷理解，不斷深入，偏見也會左右搖擺，說不定哪天他又覺得圖靈機與lambda calculus其實各有千秋了呢。說來說去都是對原有的計算模型的糾結。我倒覺得不如把精力整點新東西，比如超越現有的計算模型理論，等等。畢竟不論你喜歡圖靈機還是lambda calculus，其實都是同功能的不同形式而已，糾結於偏好，死扣細節的華麗，浪費青春意義不大。