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的图灵机模型应运而生.而现代微电子技术使计算机由数学抽象成为了现实.
我终于体会到了为什么很多人说:"学计算机一定要数学好,计算机与数学密切相连".计算机根本上是数学的和哲学的."计算机科学是数学和哲学的女儿".从此,我不再迷茫.科学的魅力深深吸引了我,探索计算机科学成为了我人生的坐标,也影响了我整个大学的知识结构.这种影响还会继续.认识也会逐步深入.
