國外高手給想做程序員人的7個建議[4]

我動手開始證明，我真的去證明了。

我在圖書館里待了很長時間。

我對照著Zuck博士的原始證明想依樣畫葫蘆。研究了幾個小時之后，我在其中發現了一個錯誤。可能我抄寫的時候抄錯了，但是這使得我想通了一件事。如果花費3個小時，寫滿了一塊又一塊的黑板，每一秒鐘都可能出錯，最后能夠證明的卻只是一個很瑣碎的結論，那么這種方式有多大的實用性呢？在活生生、充滿趣味的現實世界中，你永遠都不會有機會使用它。

但是，動態邏輯的理論家們對這一點不感興趣。他們看上它不是因為它有用，而是因為它可以為他們帶來終身教職。

我放棄了這門課，并且發誓絕不會去讀計算機科學的研究生。

這個故事告訴我們，計算機科學與軟件開發不是一回事。如果你真的非常幸運，你的學校可能會開設很像樣的軟件開發課程。但是另一種可能是，你的學校根本不教你在現實中如何編程，因為精英學校都覺得，教授工作技能最好留給職業技術學校、犯人重返社會的培訓項目去做。你到處都能學怎么寫代碼。別忘了，我們是耶魯大學，我們的使命是培養未來的世界領袖。你交了16萬美元的'學費，卻在學循環語句的寫法，這怎么可以？你以為這是什么地方，難道是機場沿途的酒店里臨時拼湊起來不靠譜的Java語言培訓班？哼哼。

麻煩在于我們沒有一種真正教授軟件開發的專門學校。你如果想成為一個程序員，你可能只能選擇計算機科學專業。這是一個不錯的專業，但是它同軟件開發不是一回事。在那些400等級的課程代號中，去尋找名稱中帶有“Practicum”這個詞的課程吧（編者注：指供人實習的課程）.不要被這個拉丁語單詞嚇倒，這些都是有用的課程，之所以起這種名字，只是為了讓那些文縐縐、裝腔作勢、滿嘴胡說八道的公司經理們覺得高深莫測。

【國外高手給想做程序員人的7個建議[4]】相關文章：

職場做事三境界：想做、想做好、想做更好09-01

給沖刺保研人的幾點建議01-15

4月適合國外旅游的地方03-19

情場高手還是職場高手的心理測試09-06

讓人受益的國外名人名言11-23

高手是怎么說話的-高手的說話方法08-08

年輕人，別再眼高手低…勵志文章11-06

高手的說話方式10-04

高手的說話技巧10-05

稀里糊涂做了創始人的程序員09-23