圖靈的祕密：他的生平、思想及論文解讀

斷續把這本《圖靈的祕密》讀完。雖然讀起來很累，很多詳細的數學推導過程也跳過去了，但是依然對於圖靈機的前世今生有了更加全面和深刻認知，要是大學階段能讀到這類好書就棒了。讀完此書，忽然感覺我大學應該學數學，而不是物理，我好像對於純數理邏輯更有感覺。 阿蘭.圖靈搞所謂圖靈機，實際上並不是在發明計算機，而是要解決千年數學難題，即丟番圖問題有無有理數解的判斷性問題。爲此，他設計了一個邏輯嚴密的紙面上的計算機，有淺入深解決各類計算問題，最終證明丟番圖問題的可解性但不可判斷性。作爲副產品，他開創性讓機器計算由過去的不通用硬件模式，變成可編程的通用機，從而推進通用計算機理論大發展。經過馮.諾依曼等大師的進一步發展，奠定了現代計算機構架和基礎理論。 如果在學習《數字電路和單片機原理》、《算法語言》、《計算方法》之前讀到這本書，學習起來會明白得多。讀這本書，也會對計算機擅長什麼不擅長什麼有更深認知。

圖靈太聰明瞭！他是真正改變人類生活的人。同時還是非常愛國的人，他在普林斯頓大學待了兩年並獲得了第二年的普羅科特獎學金2000美元，邱奇成爲了圖靈的論文指導教授。在邱奇的指導下，圖靈寫了一篇論文，並在1938年6月21日獲得了博士學位。圖靈婉拒了約翰·馮·諾依曼提出的一份1500元年薪、擔任其助理的工作，並於一個月後回到了英國。1939年春，阿蘭·圖靈回到了劍橋大學，教授數學基礎這一課程。 想像一臺計算機器，它幾乎什麼也做不了，圖靈事實上是構想了一種用於“通用目的”的多功能計算機，這是一個革命性的觀念。在當時，計算機被普遍認爲是爲某些特定工作特殊設計的。早期類似於計算機的設備，如微分分析儀（由麻省理工學院的萬尼瓦爾•布什及其學生設計並構建），就是這一設計方式的例證。微分分析儀具有重要的功能——求解常微分方程，但它所能做的也僅限於此。也許數學厲害的人，纔是最聰明人。 圖靈在其中描述了一種假想的計算機器，探索了其功能和內在的侷限性，由此建立了現代程序設計和可計算性的基礎。這本書穿插講述了圖靈的成長經歷和教育背景，以及他跌宕起伏的一生，包括破解德國恩尼格密碼的傳奇經歷，他對人工智能的探索，他的性取向，以及最終因同性戀的罪名而在 41歲時自殺的悲慘結局。閱讀過程有很多內容看不懂。

對了解可計算性問題很有價值的書，部分細節有些枯燥。作者逐句拆解圖靈經典論文的寫法太讚了，這是一個大佬向另外一個巨佬致敬的方式。

公式部分太難懂了，還是堅持讀完了，感受到了數學的魅力和前人思想之偉大。

#自然學科-c數學-人物傳記# 9+/10，大部分未能讀懂的天才之作。罕見對圖靈論文收錄解讀的硬核書作，遠多於人物生平描述。能讀出作者用情至深，起初還不理解開頭大篇幅描寫丟番圖的作用，到最後發現這是完整的一個故事，“一些有解，一些沒有，而許多其他事情，我們永遠不知道”。而科學，就像在希爾伯特的墓碑上，刻下雋永的那句：Wir müssen wissen.Wir werden wissen.

- 判定性問題看起來是一個無邊無際的問題，是個巨大的組合爆炸問題，從何入手呢？太困難了！圖靈機則是一個普通人至少可以表面上理解的方法，比λ演算直觀並且“可操作”。從圖靈機原理到m-格局，到完全格局，到標準描述S.D，到機器描述數D.N，經過這一系列並非眼花繚亂、並不費解的變換，判定性問題不經意間被圖靈變成了數字/實數論問題。這是一個輕描淡寫的乾坤大挪移。於無聲處聽驚雷，從此，人類文明進入數字化時代。 - 萬物皆數，2500年前畢大師的“唯心主義”本體論，在量子論+數字化的今天看來，實在是深邃的洞見！如果這樣，思維和宇宙的本質可以用圖靈機描述嗎？ - “論可計算數……”發表於1936年，1945年馮·諾依曼完成EDVAC“101頁報告”，1946年ENIAC誕生……這些跟圖靈機的關係非常直接嗎？

佩措爾德《圖靈的祕密：它他的生平、思想、及論文解讀》12小時。這個佩措爾德不知道和寫《編碼》的佩措爾德是不是一個人。書是寫得真好。兩本都好。這是第二次嘗試探索圖靈機。好吧，又失敗了。不過確實佩措爾德這本書是探索圖靈論文的很好指南。第一部分基礎還能跟上，但後面就跟不上了。人笨就懟時間吧，計劃後期整個120小時看能否摸着點門道，如果不行，那就1200小時。

很難描述評這本書的感覺，是我讀過最吸引人的書沒有之一，讓人進入另一個美妙的世界，圖靈是天才，作者也是，強烈推薦

- 圖靈的祕密: 他的生平; 思想及論文解讀 - <模仿遊戲> - 數學基礎部分可以看 <好的數學: 數的歷史>, 就能清楚數的「區別」, 進而去理解 可數 -> 可判定 -> 可計算

好書，深入淺出的講述了數的奧祕。