下午去听了物理系的一个 public lecture，演讲人是 Janna Levin。她是搞宇宙学的物理学家，但同时也是一个科学写作家，这次她算是宣传她的新书《A Madman Dreams of Turing Machines》。我本来是对这种讲座兴致不大的，但中午瞟了一眼介绍，发现似乎会很有趣。她的这本半虚构半写实的书讲述了两个传奇人物 Kurt Gödel 和 Alan Turing 一生中的挣扎。 Gödel最主要的贡献之一是创立了 Gödel numbering，证明了一个可计算的数学公理系统是不能既自洽又完备的 (incompleteness theorem)，unprovable truth 是存在的，比如他证明了一个公理的自洽性是无法在系统内被证明的，但他同时相信公理是自洽的，他认为这就是一个不可证明的真相。而Turing把Gödel的算术语言发扬光大，建立了我们现在所说的图灵机，而且证明了Entscheidungsproblem ((The Entscheidungsproblem (German for ‘decision problem’) is the challenge in symbolic logic to find a general algorithm which decides for given first-order statements whether they are universally valid or not. from wikipedia))是没有解答的，他对计算科学以及人工智能的影响是非常深远的，常被称为现代计算机科学之父，而且他对密码学影响也同样很大，在二战时设计建造了bombe，成功破解了德国的Enigma代码，如果没有他，战争恐怕还要多持续好几年。他们两个人的成果共同证明了我们的所知是有限的，但这两位天才逻辑学家对人思想的看法却是大相径庭的，Gödel相信人的灵魂是可以留转的（transmigration… Continue reading A Madman Dreams