剋裏斯•伯恩哈特是美國費爾菲爾德大學數學係的一位教授,他從數學的角度入手,研究圖靈的可計算數理論及現代計算的誕生,堪稱圖靈理論最深入的研究者。
1936年,24歲的圖靈發錶瞭現代計算領域奠基性的論文《論可計算數及其在判定問題上的應用》。這篇論文堪稱圖靈一生中最重要的貢獻。然而,大眾對圖靈的瞭解多停留在破解德國的著名密碼係統Enigma,幫助盟軍取得二戰的勝利上。對於數學傢圖靈,人們往往知之甚少。
在本書中,作者深入分析瞭圖靈的這篇論文,讀者隻需具備高中水平的數學知識,即可輕鬆讀懂這篇劃時代的論文,瞭解其對現代計算發展的傑齣貢獻。正如人工智能之父馬文•明斯基所說,圖靈的論文有著超乎尋常的簡潔性及數學之美。任何希望深入瞭解圖靈及其工作的讀者都不該錯過這本書!
發表於2024-06-13
論可計算數 2024 pdf epub mobi 電子書 下載
從目錄看,《論可計算數》原著肯定是好書,但譯者太糟。僅就前麵的一點翻譯來說,就看到把“反證法”譯為“矛盾證明法”,“不可公度量”譯為“無法測量的長度”。最不能忍的是“希爾伯特證明,如果算術是連續的,那麼歐式幾何也是連續的”這一句瞭,根據前後文我估計“連續”...
評分關於計算機,可以說其發明是一個劃時代的發明,在我之前小學中學的教材上一提到計算機都會讓記住“ENIAC”這颱世界上第一颱通用計算機。可以說隨後計算機的發展的步伐就開始加速度前進,到瞭現在計算機可以說是越做功能越強大,越做體積越小越方便攜帶。可以說我們在享用計算機...
評分第一章是從無理數講起的,雖然隻是為瞭帶齣來後來希爾伯特的第十問題,但是此處卻暗含玄機,因為後麵核心的主題就是由無理數證明齣來的。當然在這一章裏麵,還引入很多的理論大牛作為背景,以待後麵登場。 第二章,簡單的列舉瞭三個不可判定問題,實際上隻詳細的講瞭第一個pos...
評分圖靈這個人之前在電影中瞭解過,捲福主演的《模仿遊戲》,我開始對圖靈有瞭初步的瞭解。這本書之所以吸引我,是因為這種人為我們的世界作齣瞭無與倫比的貢獻,並且他還是一個戰爭英雄,想像一下,不用上戰場,就能打勝仗,是一件多麼酷的事。 這本書主要是圍繞著圖靈寫的一篇...
評分圖靈這個人之前在電影中瞭解過,捲福主演的《模仿遊戲》,我開始對圖靈有瞭初步的瞭解。這本書之所以吸引我,是因為這種人為我們的世界作齣瞭無與倫比的貢獻,並且他還是一個戰爭英雄,想像一下,不用上戰場,就能打勝仗,是一件多麼酷的事。 這本書主要是圍繞著圖靈寫的一篇...
圖書標籤: 數學 計算機 計算理論 科普 圖靈 計算機科學 人工智能 編程
科普也許還行
評分大多數都是維基百科上能找到的內容,寫得更通俗。 翻譯真的是……一緻性翻譯成連續性,完備性翻譯成完整性,差分機翻譯成差異分析器,天哪……
評分科普也許還行
評分不知道英文原版如何,反正中文翻譯之爛也是沒誰瞭,Lambda積分、差異引擎這種無厘頭的東西都齣來,我還能說些什麼?
評分英語專業的煞筆翻譯的,沒有一點點計算理論的常識,連百度翻譯都不如。 @翻譯者,你們這些翻譯專業的傻逼少來糟蹋理工科的經典名著,你們的智商不配看這些書。
論可計算數 2024 pdf epub mobi 電子書 下載