《完全用GNU/Linux工作》的作者王垠近從清華退學(xué)，放棄在清華攻讀博士學(xué)位，并在博客發(fā)表文章。

　　個(gè)人簡(jiǎn)介：王垠，四川大學(xué)97級(jí)本科畢業(yè)，保送到清華大學(xué)計(jì)算機(jī)系直博。期間曾在清華大學(xué)計(jì)算機(jī)系軟件所就讀，主要進(jìn)行集成電路布線算法的研究。在此期間，他因《完全用GNU/Linux工作》一文和對(duì)TeX的推廣等“非研究成果的業(yè)余東西”而出名。 在只剩一年就要博士畢業(yè)的時(shí)候，他申請(qǐng)退學(xué)，并將1萬(wàn)7千余字的“退學(xué)申請(qǐng)書”（題為清華夢(mèng)的粉碎）公布在網(wǎng)上，引起輿論界一時(shí)對(duì)教育體制、理想主義等的熱議。

　　王垠的博客全文：

　　經(jīng)過深思熟慮之后，我決定再次“拋棄”我的博士學(xué)位。這是我第三次決定離開博士學(xué)位，也應(yīng)該是一次了。這應(yīng)該不是什么驚人的消息，因?yàn)槲译m然讀博士10年了，可是我的目標(biāo)從來就不是博士學(xué)位。我在尋找更重要的東西，而且那個(gè)東西已經(jīng)被我找到了。所以我的“博士生涯”其實(shí)完成了它的使命，基本上可以圓滿結(jié)束了。

　　如果你從我之前的博文判定我現(xiàn)在生活在我所向往的環(huán)境中，那么你就誤會(huì)了。我學(xué)到了我想要的東西，但是卻發(fā)現(xiàn)學(xué)術(shù)界不再是我向往的地方。相反，它阻礙了我的前進(jìn)。很顯然，博士學(xué)位這個(gè)東西其實(shí)已經(jīng)被學(xué)校和學(xué)術(shù)界作為利用廉價(jià)勞動(dòng)力的“無(wú)形鎖鏈”。你想要“博士”的頭銜，那么就廉價(jià)給我們干活吧，能出論文的就出論文，能寫代碼的就寫代碼。我根本不需要“博士”這個(gè)頭銜來顯示自己的價(jià)值，所以我拋棄學(xué)位，離開學(xué)校，離開學(xué)術(shù)界，是一點(diǎn)都不心痛的。

　　思想的監(jiān)獄

　　如果你以為學(xué)術(shù)界意味著思想的解放，對(duì)真知的無(wú)私分享，那么你就錯(cuò)了。涉獵不深的人往往有一種美好的幻覺，以為老師都是在無(wú)私的傳授知識(shí)，而同學(xué)們都在無(wú)拘無(wú)束的討論。可是等你深入到一定程度，就會(huì)發(fā)現(xiàn)其實(shí)很少有人對(duì)于知識(shí)是無(wú)私的，連世界的科學(xué)家們也不例外。他們“分享”給你的東西，往往是一堆琢磨不透的符號(hào)和公式，他們提出一堆可怕的術(shù)語(yǔ)。他們告訴你的只是思維的“結(jié)果”，而不是思維的“方法”（也就是所謂“直覺”）。等你通過自己的獨(dú)立思考得到同樣的東西，卻發(fā)現(xiàn)這些大師們其實(shí)一直把直覺隱藏在很深的地方，故意的讓你知其然而不知其所以然。他們甚至?xí)g毀直覺本身的價(jià)值，試圖讓你相信他們沒有通過使用直覺就想出了那些公式，試圖讓你相信只有那些嚇人的公式，定理和證明才是可靠的，而直覺是不可靠的。可是真正的直覺卻是非常強(qiáng)大的，只要得到了它，你就可以完全的理解那些公式，而且會(huì)知道它們是怎么來的，甚至發(fā)現(xiàn)里面存在的問題，進(jìn)而想出新的公式。

　　然后你就會(huì)恍然的發(fā)現(xiàn)，你曾經(jīng)認(rèn)為的“思想的天堂”，其實(shí)是“思想的監(jiān)獄”。你會(huì)發(fā)現(xiàn)你心目中的很多大師們其實(shí)不是真正的科學(xué)家，而是政治高手。你會(huì)發(fā)現(xiàn)身邊有很多人其實(shí)是故意在你面前提起一些術(shù)語(yǔ)，以此來顯示自己的“高深”。當(dāng)你直言不諱的道出這些東西背后的秘密，他們就不說話了，然后就對(duì)你懷恨在心，希望你早點(diǎn)消失。當(dāng)你給那些提出這些術(shù)語(yǔ)的大牛們發(fā)email，試圖核實(shí)這些術(shù)語(yǔ)背后的直覺，他們會(huì)很快的停止回復(fù)你的郵件。當(dāng)你試圖從教授們口中得到這種直覺，他們會(huì)不耐煩的對(duì)你說：“你問這種問題有什么意義嗎？這東西就是這樣的！” 這說明了什么呢？這說明他們害怕了。他們害怕自己的地位受到威脅，他們害怕這種直覺一旦被大多數(shù)人掌握，他們就不再是高高在上的“學(xué)術(shù)權(quán)威”了。人們就會(huì)說：“那個(gè)東西其實(shí)不過是……”

　　這就是我這些年來所親身經(jīng)歷的。我的同事們其實(shí)都不知道，他們所景仰的大師們提出的看似高深的理論，好些已經(jīng)在我心目中被默默的“殺死”了。對(duì)我來說，它們不過是用一堆嚇人的數(shù)學(xué)公式，翻來覆去的表達(dá)一些用幾句話就可以說清楚的東西，而且它們好多其實(shí)已經(jīng)被更加簡(jiǎn)單的東西所超越。所以大師們常做的一件事就是招收“門徒”，只要有人愿意做他們的接班人，把自己的工作“基于”他們的理論，他們提出的復(fù)雜而空洞的概念就可以一直存活下去，而他們就可以保持自己的地位。所以你就發(fā)現(xiàn)一些可笑的現(xiàn)象，本來一個(gè)新概念跟某個(gè)老概念沒有關(guān)系，卻被生拉硬拽在一起。本來一個(gè)概念可以被獨(dú)立的理解，卻被牽扯到一堆別的概念中，被搞得紛繁復(fù)雜。

　　這就是為什么我曾經(jīng)提到，我經(jīng)常用兩個(gè)星期的時(shí)間就“滅掉”了某些領(lǐng)域長(zhǎng)達(dá)20年的研究。這并不說明我是天才，這只是說明很多人在玩弄學(xué)術(shù)的把戲，而我看透了他們的把戲。看透了這些把戲并不能帶來實(shí)際的效益，卻可以讓我自己節(jié)省下時(shí)間來解決真正重要的問題。但是我看不到學(xué)術(shù)界在這方面有任何改進(jìn)的希望。所以，為了思想的自由，我不能生活在學(xué)術(shù)界。

　　論文的游戲

　　我曾經(jīng)以為我的專業(yè)（程序語(yǔ)言）是計(jì)算機(jī)科學(xué)里面論文水分少的地方，但是其實(shí)并不是這樣的，天下烏鴉一般黑。程序語(yǔ)言專業(yè)的論文與其它專業(yè)的區(qū)別是，這個(gè)領(lǐng)域的人玩的把戲更加巧妙。這些論文動(dòng)不動(dòng)就觸及 Church，圖靈這樣的人物提出的概念，所以就算里面沒有任何新的內(nèi)容，你早就被嚇倒了，就別提看出里面的把戲。可是由于我看穿了一些核心概念的本質(zhì)，所以經(jīng)常瀏覽一些論文都發(fā)現(xiàn)其實(shí)沒有任何新東西。這些論文有些甚至來自某些本領(lǐng)域眾所皆知的“”。由于他們地位顯赫，這里我就不點(diǎn)名冒犯了。

　　很常見的一個(gè)套路就是，把一些很簡(jiǎn)單的“程序”用一堆“數(shù)學(xué)符號(hào)”改頭換面寫出來，把它們叫做“邏輯”或者“類型系統(tǒng)”。人們都崇拜數(shù)理邏輯，因?yàn)樗麄兛床欢且欢训姆?hào)和推理規(guī)則。可是經(jīng)過自己的努力，我卻看透了很多邏輯學(xué)家的把戲。我也可以玩這種把戲，設(shè)計(jì)出新的邏輯。可是我也知道其實(shí)我們并不需要這些邏輯，所以我從來不為此發(fā)表論文。可是這樣的關(guān)于“程序邏輯”的論文，仍然頻繁的出現(xiàn)在次的學(xué)術(shù)會(huì)議。從開頭就能猜到結(jié)尾，一點(diǎn)懸念都沒有，讓我覺得非常無(wú)聊。

　　上個(gè)學(xué)期，我跟導(dǎo)師做了一個(gè)學(xué)期的研究，內(nèi)容是關(guān)于“類型系統(tǒng)”。說是“跟導(dǎo)師”，但是其實(shí)他只起到絆腳石的作用。他不但沒有真正的參與討論，而且明顯的對(duì)于我深入的發(fā)現(xiàn)有抵觸情緒，并且不斷的打擊我。我用于“說服”他所使用的精力，比我用來研究的精力還要大好幾倍。到頭來我卻發(fā)現(xiàn)，原來他根本沒有聽我在說什么！我總是發(fā)現(xiàn)一些復(fù)雜的類型系統(tǒng)的功能，要么就是完全不可能實(shí)用，要么就是可以用已有的更簡(jiǎn)單的方法實(shí)現(xiàn)。所以這些發(fā)現(xiàn)其實(shí)是“殺死”了好幾個(gè)長(zhǎng)達(dá)幾十年的領(lǐng)域，把它們歸并為同一個(gè)非常簡(jiǎn)單的東西。可是，這些發(fā)現(xiàn)消滅了一些不必要存在的東西，卻沒有帶來任何“新東西”。所以他總是對(duì)我說：“你的這些想法有什么用嗎？” 然后我才發(fā)現(xiàn)，原來他所要的，并不是深入的簡(jiǎn)化的理解，而是別的東西。這個(gè)“別的東西”，當(dāng)然就是論文和經(jīng)費(fèi)。很顯然，導(dǎo)師們只是把學(xué)生作為可能給他帶來論文和經(jīng)費(fèi)的人。他們更喜歡那種看不透事物本質(zhì)的，對(duì)什么“新概念”都持手舞足蹈態(tài)度的學(xué)生。因?yàn)檫@些學(xué)生可以很快的制造出更多更復(fù)雜的新概念，寫出看似高深的論文，然后從 NSF 等研究機(jī)構(gòu)要到錢。

　　所以說，深入本質(zhì)的認(rèn)識(shí)，其實(shí)在學(xué)術(shù)界是不受尊重的。因?yàn)樯钊氲恼J(rèn)識(shí)往往是很簡(jiǎn)單的。如此簡(jiǎn)單的東西，似乎每個(gè)人都能做，又怎么拉得到經(jīng)費(fèi)呢？

　　政治的泛濫

　　我可以不謙虛的說，我是這里的學(xué)生。我身邊的同專業(yè)同學(xué)，沒有一個(gè)可以超越我所能做到的事情。而他們能做的事情，卻沒有一件是我不能做的。在 Dan Friedman 的兩門高難度的課程都得到 A+, 在 R. Kent Dybvig 的 Scheme 編譯器課程得到 A+，并且在某種程度上超越了他們。在兩個(gè)星期之內(nèi)，完全憑自己的思考寫出正確的 CPS 變換（10多年的研究成果），以及 ANF 變換（我導(dǎo)師的重要成果）。多次在兩個(gè)星期之內(nèi)，“滅掉”某些領(lǐng)域20多年的研究。對(duì)很多東西有自己獨(dú)到深入的見解。在工程上有 Google 的那個(gè)項(xiàng)目，以及我自己的一些項(xiàng)目，……

　　可是這所有的一切，都沒有讓我受到同行們的尊敬。相反，由于我喜歡說真話，他們恨我又怕我。他們怕跟我討論自己的研究，因?yàn)槲铱偸悄芎芸斓目闯鏊鼈兊谋举|(zhì)，所以跟他們說話總是感覺隔著一層什么東西。那些精于玩弄政治的人，顯然更加得到人們的賞識(shí)。我本來不想把這些“業(yè)績(jī)”擺出來的，實(shí)際上我一直很謙虛，都沒有在人面前提起過這些事情。可是顯然，在 Friedman 和 Dybvig 的課程上掙扎不堪的同學(xué)，在某些會(huì)議發(fā)過一點(diǎn)雞毛蒜皮文章的同學(xué)，現(xiàn)在很是趾高氣昂，他們當(dāng)然希望別人都不知道我的。他們喜歡厚著臉皮的說出一些早就被我看透的術(shù)語(yǔ)，說出來的時(shí)候聲音都在打顫。

　　可是他們?yōu)榇耸サ膶?shí)在是太多了。我本來可以幫助他們的，可是由于他們的自私和自大，失去了得到我的幫助的機(jī)會(huì)。他們的論文（甚至博士論文）里面的內(nèi)容，其實(shí)好些是我?guī)啄昵熬偷玫搅说慕Y(jié)果，只不過我懶得為這些雞毛蒜皮的東西寫論文，我本來可以把這些東西免費(fèi)送給他們作為論文發(fā)表。記得有一次，幾個(gè) Friedman 課上的同學(xué)想做一個(gè)暑期項(xiàng)目，試圖改進(jìn) miniKanren （Dan Friedman 設(shè)計(jì)的邏輯語(yǔ)言） 的效率。那個(gè)時(shí)候我早就已經(jīng)重新實(shí)現(xiàn)了 miniKanren，并且獨(dú)立的加入了一些擴(kuò)展的功能，比如 constraint logic programming。我一聽到他們這個(gè)計(jì)劃就告訴他們，miniKanren 所使用的 substitution 的數(shù)據(jù)結(jié)構(gòu)是 association list，查找時(shí)間是線性的，顯然效率很低。使用另外一種“函數(shù)式數(shù)據(jù)結(jié)構(gòu)”，比如函數(shù)式的平衡樹就會(huì)好很多。可是當(dāng)他們聽到這些的時(shí)候，居然保持了一種可怕的沉默，就像我并不存在于他們面前！一年多之后，他們發(fā)表了一篇論文，里面的基本內(nèi)容就是我告訴他們的那些話。當(dāng)然，署名和“致謝”里面都沒有我。我根本不在乎這么小的想法，我本來就覺得根本不值得為此寫論文，寫個(gè)blog都還差點(diǎn)。可是他們一點(diǎn)謝意也沒有表達(dá)，倒在我面前炫耀，真是可笑到了。如果他們?cè)敢舛嘞蛭艺?qǐng)教，恐怕發(fā)表論文的時(shí)間不是一年，而是一個(gè)月。

　　另外還有好幾次類似的情況，我都不想說了。后來我才從一個(gè)同學(xué)口中得到一些真正的信息。他說，某些人喜歡在聽到別人好的想法的時(shí)候，進(jìn)行故意的打擊，或者漠不關(guān)心的樣子。等別人對(duì)他們自己的想法失去興趣之后，他們卻把那想法拿出來署上自己的名字發(fā)表。這種事情就曾經(jīng)發(fā)生在他的身上。他的導(dǎo)師一直打擊他，以至于他寫出來的論文兩年都沒有發(fā)表。等他決定離開之后，卻發(fā)現(xiàn)自己的想法被導(dǎo)師和另外一個(gè)人發(fā)表了。沒有署上他的名字。

　　這就是我越來越不喜歡跟人討論的原因，因?yàn)楹芏嗳说玫侥切┫敕ǎ蜁?huì)想玩弄一些花招把它們據(jù)為己有，以此出名，卻連個(gè)謝字都不說一聲。我看到這種現(xiàn)象不只存在于我的身邊，而且存在于整個(gè)學(xué)術(shù)界，這是學(xué)術(shù)產(chǎn)業(yè)化不可避免的結(jié)果。學(xué)術(shù)界不做產(chǎn)品賣，就得拿“想法”出來賣。可是想法這個(gè)東西是如此之奇怪，你一旦告訴別人，別人就有了這個(gè)想法，你又如何證明這個(gè)想法是你的呢？所以學(xué)術(shù)產(chǎn)業(yè)化的結(jié)果就是一個(gè)沒有思想交流的世界。

　　有這樣的政治和勾心斗角，我留在這里還有什么意義呢？我在這里，以至于整個(gè)學(xué)術(shù)界，其實(shí)已經(jīng)沒有什么值得合作的人了。

　　何去何從

　　當(dāng)然接下來我需要思考的是，我應(yīng)該做什么。顯然，我所學(xué)到的知識(shí)可以輕而易舉的給我?guī)砀咝降墓ぷ鳌？墒俏乙仓溃鋵?shí)程序語(yǔ)言歸根結(jié)底就是那么幾個(gè)小把戲。所以我更愿意探索更加廣闊的世界，學(xué)會(huì)新的東西，找到真正值得合作的人，創(chuàng)造真正的價(jià)值。另外，我也會(huì)逐漸把我知道的這些“把戲”以直觀而容易理解的方式公諸于眾，讓權(quán)威們的神秘面紗都隨之消失。