Godel 和 道可道
前几天看见讨论逻辑,不见有人提起这本书
Gödel, Escher, Bach: an Eternal Golden Braid.
包遵信的现代丛书出过它的简写本。
大开脑洞的插画和关于理论不完备性的证明给大家留下深刻的印象。
那本书在各宿舍传来传去,再也没能回来。
十几年后,买了原版,有了一个新发现。作者在正式引进Gödel 的证明时,
化了一整节讨论 Mumon and Gödel. Mumon 指的是 禅宗的 无门关,
我正是从那时起才真正开始接触四书五经。
我只能把这本书当趣味烧脑读物看,
时不时拿起书温习一下如何比较实数和整数的多少,
或飞矢不动的原理,或完美留声机会自毁,
或"州云无“的形式逻辑及相应的数学游戏。
Escher的画和印度数学怪才会让人觉着六祖的顿悟不是传说。
问一个俗人的问题,Gödel 是不是用严格的数学证明了老子的 道可道。