11月28日下午1:30，我院大一学生在A4-122聆听了金小刚教授激情澎湃的演讲，让学生对计算又有了全新的认识。金小刚教授是浙江大学研究员，博士生导师，浙江大学计算机科学与技术学院副教授。本次讲座的主题为“计算能走多远”。与以往不同的是，金教授此次展示所用的PPT均为英文，流畅地将西方的科学与人文融入讲座，将科学理论通俗地呈现给大家。教授带领同学们回顾计算机的发展历史，溯源科学发展史上的计算思想：从笛卡尔的解析几何、到数理逻辑（Leibniz、Boole等）的诞生、从Laplace到Hilbert，无处不体现出计算思想的存在，特别是现在计算机的诞生，给人类带来了美好的计算主义的憧憬。再从哥德尔到图灵与图灵机，结合人工智能反思大自然、意识等问题背后的复杂性以及使用计算工具的局限性。

讲座试图从计算机科学中是否可以实现人工智能问题展开讨论，引出对于“计算”以及哥德尔不完备定理的思考，结合计算机科学中两个取得成功的领域计算机下棋、计算机视觉背后的真正的计算过程与人能智能行为的比较，说明计算机的计算与人类智能的差别，引导大家正视计算机解决问题的局限性，思考未来可能的计算模式。金教授还向我们重点推荐了《Gödel, Escher, Bach——An Eternal Golden Braid》这本书，翻译成中文为《哥德尔、艾舍尔、巴赫——集异璧之大成》，金教授用“a great book”来形容，足见此书之精彩。

金教授此行为同学们带来的不仅是学术上的提升，还有精神上的洗礼。同学们时而俯首思索，时而点头赞许，对于这场启明灯般的讲座，都觉获益匪浅，只恨时间有限，不能与教授再做深谈。教授也毫不吝惜自己的满腹经纶，将其多年来的教学和研究的成果与我们分享，让同学们对于计算机科学的学习重新思考。至此，本期的蓝色论坛再次取得圆满成功。

责任编辑：蒋爱