Godel 和 道可道

前幾天看見討論邏輯，不見有人提起這本書

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

 

包遵信的現代叢書出過它的簡寫本。

大開腦洞的插畫和關於理論不完備性的證明給大家留下深刻的印象。

那本書在各宿舍傳來傳去，再也沒能回來。

 

十幾年後，買了原版，有了一個新發現。作者在正式引進Gödel 的證明時，

化了一整節討論 Mumon and Gödel. Mumon 指的是 禪宗的 無門關，

我正是從那時起才真正開始接觸四書五經。

 

我隻能把這本書當趣味燒腦讀物看，

時不時拿起書溫習一下如何比較實數和整數的多少,

或飛矢不動的原理，或完美留聲機會自毀，

或＂州雲無“的形式邏輯及相應的數學遊戲。

 

Escher的畫和印度數學怪才會讓人覺著六祖的頓悟不是傳說。

 

問一個俗人的問題，Gödel 是不是用嚴格的數學證明了老子的  道可道。

＊更新二月後：

我感覺更準確表達應該是

Gödel 證明 說明了嚴格邏輯推理也遵守＂道可道 非常道＂的原則。