圖靈機是英國數學傢阿蘭•圖靈提齣的一種抽象計算模型,本書深入剖析瞭圖靈這篇描述圖靈機和可計算性的原始論文《論可計算數及其在判定性問題上的應用》。書中在詳解論文的同時,也附帶瞭大量的曆史背景資料、圖靈的個人經曆,以及圖靈機對於人們理解計算機、人類意識和宇宙所産生的影響。 本書適閤所有計算機科學專業的學生、程序員或其他技術人員,同時也適閤欲瞭解圖靈生平及其構建圖靈機的思維的讀者閱讀。
發表於2024-05-20
圖靈的秘密 2024 pdf epub mobi 電子書 下載
艾倫圖靈 :計算理論,論可計算數及其在判定性問題上的應用 oncomputable numbers,with an application to the Entscheidungsproblem 圖靈寫這篇論文的動機是想解決德國數學傢大衛、希爾伯特構想的一個問題,希爾伯特想尋找一種通用的方法來判定數理邏輯中的任意命題是否可證...
評分中文書名叫做《圖靈的秘密》,副標題叫“他的生平、思想及論文解讀”,內容讀來和此有些差異。書的主要內容是解讀圖靈1936年發錶的論文“On Computable Numbers, with an Application to the Entscheidungsproblem”(“論可計算數及其在判定性問題上的應用”),在這個大主題...
評分之所以沒有選力薦不是因為書不夠好,而是這本書對於大部分人來說很難全部讀懂,我算是一個數學愛好者,雖然自己數學能力已經完全處於大學以下水平瞭。讀這本書需要很多思考,畢竟他不是傳記,不是故事,而是對一個完整的知識體係的詳盡分析和解讀,多謝作者在前麵寫瞭大量的補...
評分中文書名叫做《圖靈的秘密》,副標題叫“他的生平、思想及論文解讀”,內容讀來和此有些差異。書的主要內容是解讀圖靈1936年發錶的論文“On Computable Numbers, with an Application to the Entscheidungsproblem”(“論可計算數及其在判定性問題上的應用”),在這個大主題...
評分之所以沒有選力薦不是因為書不夠好,而是這本書對於大部分人來說很難全部讀懂,我算是一個數學愛好者,雖然自己數學能力已經完全處於大學以下水平瞭。讀這本書需要很多思考,畢竟他不是傳記,不是故事,而是對一個完整的知識體係的詳盡分析和解讀,多謝作者在前麵寫瞭大量的補...
圖書標籤: 圖靈 計算機 計算機科學 數學 人工智能 傳記 計算理論 思維
有點天書的感覺
評分數學史和圖靈論文的解讀。大部分章節非常硬。或許可以和維特根斯坦對照著看。
評分學《可計算性與計算復雜性》的時候讀過這本書的英文版,故事精彩,講解清晰。
評分一階謂詞邏輯係統是完備的,但是加上算術係統後就是不完備的瞭
評分隻看懂傳記部分瞭。⊙﹏⊙b汗
圖靈的秘密 2024 pdf epub mobi 電子書 下載