一个科学兴旺发展的前提一定是它有一个比较完备的理论基础。17，8世纪的古典物理学是这样（基于牛顿等人的理论贡献），20世纪前半叶的现代物理学是这样（基于爱因斯坦等人的理论贡献），20世纪下半叶的计算机也是这样（感谢图灵，冯.诺伊曼等人的机器计算理论）。进入21世纪，计算机的基础理论并没有大的进展（breakthrough），导致了CS研究有点放慢步伐的感觉，这是非常正常的！CS的科学家们也正在探索新的计算方法，例如量子计算，生物计算等，但本人以为这些都是计算的形式，计算的本质还将是图灵的结构。真正计算的突破在于智能型计算。这是以后计算机能够上一个台阶的突破点！在好莱坞的影片中，我们已经可以看到许多智能计算的影子了，例如最近很火的irobot，这些虽然还都是fiction now,但是will be reality in the future。如果你是一个CS理论的入迷级发烧友，你应该去探索这个领域！

另外，传统计算（基于图灵计算机模型）的时代还远远没有过去，因为Bill Gates 预言的信息时代还没有完全建立。虽然大的理论没有突破，计算机应用还在突飞猛进的发展，硬件也好，软件也好，都还远远没有完善。现在电脑已经是无所不在了（desktop,labtop,mobile,PDA,etc.），以后我们生活的世界将更处处有计算。可以想象，我们周围几乎所有的man-made objects都可以computerized！距离这个目标，在industry还有很长的路要走，计算机的时代还远远没有过去！如果你是一个CS应用的入迷级发烧友，那么去工业界吧，那里绝对有exciting things to do!

最后谈一点CS理论和CS应用的不同，CS理论基本是数学和逻辑（a little artistic talent would be helpful! ），而CS应用则基本上是engineered craft（当然需要逻辑能力，但是artistic talent将是你的产品与众不同的地方）。许多学CS的学生并不很清楚这两者的区别，以至于喜欢CS应用的去修了CS理论。这里提出来这个区别是希望帮助那些还在困惑中选择的后来者！

For me, CS is my favourite, both theory and applications, always ever!