《圖靈的祕密》—— 推薦給所有想學數學的程式設計師

其實這本書我並沒有讀完，因為到了第二部分，即使有了作者的解釋和註釋，圖靈的論文也確實超出了我的能力範圍之外了，把“可計算函式”一章的前半部分仔細讀了三四遍之後還是讀不懂之後，我不得不放棄了。但是這並不影響我仍然給這本書打五星力薦。

先說這本書，我想如果沒有Charles出這本書，沒有苦口婆心地幾乎是一行一行地去講解圖靈的論文，幾乎沒有人，至少沒有一個程式設計師會去回過頭來看這篇已經幾十年前的充斥著自定義符號，甚至連數學符號都少見的論文。那麼從這個角度來說，作者已經做出了極大的貢獻。

然後說圖靈的論文，我想包括我在內，在讀這本書之前，至少有90%的程式設計師只是聽說過圖靈，也許知道圖靈測試和圖靈機，但是並不知道圖靈的論文中究竟寫了什麼內容，究竟在論證什麼？當然，判定性問題，我更願意把它歸結到數學哲學的範疇，對於大多數程式設計師而言，數學和他們的關係都不大，更不用說數學哲學了，而對於一些經常和數學打交道的程式設計師來說，我想就我自身的經驗，也完全不需要學什麼數學哲學這類的東西。但是就像網上辯論數學的作用常說的，也許數學對大家的作用在於開闊思路和邏輯思維。

在這裡，我並不想去辯論程式設計師到底需不需要學數學，如果你覺得我不需要學數學，那麼你可以把這本書束之高閣；如果你覺得學數學只是為了工作，例如演算法啊，資料探勘之類，那麼你也可以把這本書束之高閣。如果你是真的喜歡數學這門學科，想感受數學之美，想通過數學來鍛鍊自己的邏輯思維，想培養自己對數學的興趣，那麼我鄭重推薦這本書，而且是這本的紙質書，因為實在是需要反覆地前後翻閱，電子書確實在這點上並不方便。

最後，特別希望大家讀完之後可以幫我把判定性問題的部分講一講，至少是大家一起討論一下，因為我確實沒有讀懂。