6.從技術到科學
真正考慮什么是計算機科學是經歷了一個過程的.大一剛入校時的想法很幼稚,以為計算機專業的學生理所當然的要成為程序員.在很多網站和論壇上,程序員似乎也被捧得很厲害,懂了VC++6.0可以炫耀一下,懂了Java,強人,會用EJB,更強,熟練掌握J2EE,.NET,Oracle9i,通過MCSE,SCJP,哇塞~超級大牛.我在這種漩渦中也起哄了很長時間.大一買來了那本 <>,慢慢學會了設計Win32程序,開始向網絡方面發展,打算作網絡編程.有一天上學校的BBS上請教,第一次認識了Cauchy.他的建議是學習Java.當時比較經典的Java教材是O'Reilly出版的一套書,光入門書籍 <>就要72元.狠個心買了下來,狂學一暑假,算是會用了.之后有開始看JSP,XML,EJB,Servelet Programming,一本接一本,J2EE的核心技術都差不錯粗通了.做程序員的感覺真好!我那時這么想.
可是,問題很快就出現了.學校學習的離散數學是干啥用的?為什么學校不能開一點介紹VC++,J2EE,.NET的課程?而我看得那些書,最后越來越覺得乏味.厚厚的一本書幾乎就是命令大全.一個個冗長的函數調用,機械的設計過程不僅索然無味,而且幾天之后又忘得一干二凈.到底什么是計算機科學與技術專業學生要掌握的?計算機科學與技術專業畢業生究竟做什么呢?我一度陷入迷茫.
閱讀Papadimitriou的 <>,算是第一次接觸到理論計算機科學.形式語言,自動機理論,圖靈機模型,NP完全問題,這些對我來說雖然陌生,卻趣味無窮.那是大二上學期.之后,于Cauchy的幾次交談令我受益匪淺.他是學計算數學的,數學和計算機都很牛.他在和我談話中,多次談到,理解一種思想的重要性.我們學習的課程并不是每個都有豐富的思想,而那些有其思想內涵的東西是特別需要重視和加以思索的東西.多思考,抓住每門課程特有的思想,是學習科學的基本方法.
隨著離散數學學習的逐步深入和Cauchy的開導,我慢慢的發現了許多以前不曾注意的東西.近世代數的抽象是優雅而簡潔,但是卻在非常高的層次上對代數系統作出了讓人贊嘆的抽象;數理邏輯則以思想深邃著稱.我慢慢地看到了形式邏輯與數學的關系,以致后來慢慢描繪出了科學的體系;圖論則是非常具體的問題,但是它的算法和證明確處處閃爍著天才的構思.這是從事圖及其他算法研究的常用手段.且不論我們學習這些東西就是算什么,但是,這些知識確實有著比VC++,J2EE更令我著迷的奇思妙想.
隨著學習的深入和各個專業知識的展開,我終于明白了現代計算機科學的體系.這些數學理論,電路理論就是現代計算機科學的基石,也慢慢學會了離散思維的方法和抽象.一副令人愜意的圖畫在我的腦海中慢慢浮現:19世界末20世紀處邏輯Frege發明的形式邏輯系統掀起了對數學形式化的熱潮,在Hilbert的號召下全世界的數學家都參與到對數學系統的形式化和證明過程中.雖然這種夢想在初等數論形式系統中就失敗了,卻客觀上促使人們重新展開計算,可計算性,可判定性的研究.Allan Turing的圖靈機模型應運而生.而現代微電子技術使計算機由數學抽象成為了現實.
我終于體會到了為什么很多人說:"學計算機一定要數學好,計算機與數學密切相連".計算機根本上是數學的和哲學的."計算機科學是數學和哲學的女兒".從此,我不再迷茫.科學的魅力深深吸引了我,探索計算機科學成為了我人生的坐標,也影響了我整個大學的知識結構.這種影響還會繼續.認識也會逐步深入.
