Godel 和 道可道

前几天看见讨论逻辑，不见有人提起这本书

Gödel, Escher, Bach: an Eternal Golden Braid. 

 

包遵信的现代丛书出过它的简写本。

大开脑洞的插画和关于理论不完备性的证明给大家留下深刻的印象。

那本书在各宿舍传来传去，再也没能回来。

 

十几年后，买了原版，有了一个新发现。作者在正式引进Gödel 的证明时，

化了一整节讨论 Mumon and Gödel. Mumon 指的是 禅宗的 无门关，

我正是从那时起才真正开始接触四书五经。

 

我只能把这本书当趣味烧脑读物看，

时不时拿起书温习一下如何比较实数和整数的多少,

或飞矢不动的原理，或完美留声机会自毁，

或＂州云无“的形式逻辑及相应的数学游戏。

 

Escher的画和印度数学怪才会让人觉着六祖的顿悟不是传说。

 

问一个俗人的问题，Gödel 是不是用严格的数学证明了老子的  道可道。

＊更新二月后：

我感觉更准确表达应该是

Gödel 证明 说明了严格逻辑推理也遵守＂道可道 非常道＂的原则。