讲科学还是讲哲学

      中国在计算机技术的使用方面现在肯定是领先全球了，但是我们在计算机科学方面，可以说没有做出什么特别可见的贡献。以我有限的眼界看来，中国人对人类认识计算机、对计算理论，唯一能拿的出手的东西，是王浩在数理逻辑方面的工作。

      王浩传承的是图灵这条线的血脉，他对图灵机、对可计算性，有震撼江湖的贡献。他提出了自己的实现图灵机的方法，他可能还是第一个用计算机证明数学定理的人。

      听说这样的人，我们就会想，如果他能回中国工作一段时间，会怎么样呢？这个故事可能跟你想的不一样。

      1972 年，中国开启了一次有限的开放，王浩随着中美交流代表团前往中国访问，周恩来亲自接见。国内学者很想借这个机会让王浩讲讲计算机科学，讲讲数学和逻辑，但是王浩没有讲那些。

      王浩虽然身在国外，但他是个左派。他还参加过保卫钓鱼岛的运动。王浩把这次回国当成了一次转型搞政治的机会。王浩研究了马克思主义，他到中国科学院讲的是辩证法。

    台下的中国科学家，“听得云里雾里” 。

    1976 年以后政治运动结束了，中国国内的知识分子再也没向王浩请教过计算机科学。